On the Semantics of Hybrid ASP Systems Based on Clingo von Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Wanko, Philipp

Volltext

Accelerating 3D printing of pharmaceutical products using machine learning von Ong, Jun Jie, Castro, Brais Muñiz, Gaisford, Simon, Cabalar, Pedro, Basit, Abdul W., Pérez, Gilberto, Goyanes, Alvaro

Volltext

Temporal Answer Set Programming on Finite Traces von CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Volltext

Predicting pharmaceutical inkjet printing outcomes using machine learning von Carou-Senra, Paola, Ong, Jun Jie, Castro, Brais Muñiz, Seoane-Viaño, Iria, Rodríguez-Pombo, Lucía, Cabalar, Pedro, Alvarez-Lorenzo, Carmen, Basit, Abdul W., Pérez, Gilberto, Goyanes, Alvaro

Volltext

Causal Graph Justifications of Logic Programs von CABALAR, PEDRO, FANDINNO, JORGE, FINK, MICHAEL

Volltext

Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles von dos Santos, Thiago Freitas, Santos, Paulo E., Ferreira, Leonardo Anjoletto, Bianchi, Reinaldo A. C., Cabalar, Pedro

Volltext

Propositional theories are strongly equivalent to logic programs von CABALAR, PEDRO, FERRARIS, PAOLO

Volltext

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Muñiz, Brais, Pérez, Gilberto, Suárez, Francisco

Volltext

M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines von Elbadawi, Moe, Muñiz Castro, Brais, Gavins, Francesca K.H., Ong, Jun Jie, Gaisford, Simon, Pérez, Gilberto, Basit, Abdul W., Cabalar, Pedro, Goyanes, Alvaro

Volltext

Functional answer set programming von CABALAR, PEDRO

Volltext

Model Explanation via Support Graphs von CABALAR, PEDRO, MUÑIZ, BRAIS

Volltext

Machine learning predicts 3D printing performance of over 900 drug delivery systems von Muñiz Castro, Brais, Elbadawi, Moe, Ong, Jun Jie, Pollard, Thomas, Song, Zhe, Gaisford, Simon, Pérez, Gilberto, Basit, Abdul W., Cabalar, Pedro, Goyanes, Alvaro

Volltext

Temporal ASP: From Logical Foundations to Practical Use with telingo von Cabalar, Pedro

Volltext

Temporal Logic Programs with Temporal Description Logic Axioms von Cabalar, Pedro, Schaub, Torsten

Volltext

Modular Answer Set Programming as a Formal Specification Language von CABALAR, PEDRO, FANDINNO, JORGE, LIERLER, YULIYA

Volltext

Autoepistemic answer set programming von Cabalar, Pedro, Fandinno, Jorge, Fariñas del Cerro, Luis

Volltext

Gelfond–Zhang aggregates as propositional formulas von Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Schellhorn, Sebastian

Volltext

Syntactic ASP forgetting with forks von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

Enablers and inhibitors in causal justifications of logic programs von CABALAR, PEDRO, FANDINNO, JORGE

Volltext

Towards Metric Temporal Answer Set Programming von CABALAR, PEDRO, DIÉGUEZ, MARTÍN, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Volltext