Alert button
Picture for Pedro Cabalar

Pedro Cabalar

Alert button

University of Corunna, Spain

Metric Dynamic Equilibrium Logic

Jan 19, 2024
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas, Torsten Schaub, Anna Schuhmann

Viaarxiv icon

Past-present temporal programs over finite traces

Jul 24, 2023
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub

Viaarxiv icon

Metric Temporal Equilibrium Logic over Timed Traces

Apr 28, 2023
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

Viaarxiv icon

Explainable Machine Larning for liver transplantation

Sep 28, 2021
Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez

Figure 1 for Explainable Machine Larning for liver transplantation
Viaarxiv icon

Automata for dynamic answer set solving: Preliminary report

Sep 04, 2021
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub

Figure 1 for Automata for dynamic answer set solving: Preliminary report
Figure 2 for Automata for dynamic answer set solving: Preliminary report
Figure 3 for Automata for dynamic answer set solving: Preliminary report
Figure 4 for Automata for dynamic answer set solving: Preliminary report
Viaarxiv icon

Towards a Semantics for Hybrid ASP systems

Aug 06, 2021
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Viaarxiv icon

Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")

Jun 12, 2021
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano

Figure 1 for Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Figure 2 for Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Viaarxiv icon

A System for Explainable Answer Set Programming

Sep 22, 2020
Pedro Cabalar, Jorge Fandinno, Brais Muñiz

Figure 1 for A System for Explainable Answer Set Programming
Figure 2 for A System for Explainable Answer Set Programming
Figure 3 for A System for Explainable Answer Set Programming
Figure 4 for A System for Explainable Answer Set Programming
Viaarxiv icon

Temporal Answer Set Programming

Sep 14, 2020
Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal

Figure 1 for Temporal Answer Set Programming
Figure 2 for Temporal Answer Set Programming
Figure 3 for Temporal Answer Set Programming
Figure 4 for Temporal Answer Set Programming
Viaarxiv icon

Towards Metric Temporal Answer Set Programming

Aug 08, 2020
Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann

Figure 1 for Towards Metric Temporal Answer Set Programming
Figure 2 for Towards Metric Temporal Answer Set Programming
Viaarxiv icon