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

Volltext

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

Volltext

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

Volltext

Linear-Time Temporal Answer Set Programming von AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN

Volltext

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

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

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

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

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

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

Volltext

Forgetting auxiliary atoms in forks von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

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

Volltext

A polynomial reduction of forks into logic programs von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

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

Volltext

Representing and solving spatial problems von Santos, Paulo E., Cabalar, Pedro, Falomir, Zoe, Tenbrink, Thora

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

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

Volltext

eclingo : A Solver for Epistemic Logic Programs von Cabalar, Pedro, Fandinno, Jorge, Garea, Javier, Romero, Javier, Schaub, Torsten

Volltext

A qualitative spatial representation of string loops as holes von Cabalar, Pedro, Santos, Paulo E.

Volltext

Functional answer set programming von CABALAR, PEDRO

Volltext