Travelled to:1 × Austria
1 × Hungary
1 × Italy
1 × Portugal
1 × USA
2 × Denmark
Collaborated with:D.Pearce M.Diéguez ∅ C.Vidal A.Valverde S.P.Odintsov S.Demri F.Aguado G.Pérez J.Fandinno M.Fink
Talks about:logic (6) equilibrium (4) tempor (4) semant (4) program (3) partial (3) found (3) well (3) infinitari (1) function (1)
Person: Pedro Cabalar
DBLP: Cabalar:Pedro
Contributed to:
20152014
20142012
201120082007200620062002Wrote 11 papers:
- ICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics
- A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.
- ICLP-J-2015-CabalarDV #encoding #equilibrium #logic
- An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.
- ICLP-J-2014-CabalarFF #graph #logic programming #source code
- Causal Graph Justifications of Logic Programs (PC, JF, MF), pp. 603–618.
- KR-2014-CabalarD #equivalence
- Strong Equivalence of Non-Monotonic Temporal Theories (PC, MD).
- ICLP-2012-AguadoCDPV
- Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.
- LOPSTR-2011-CabalarD #equilibrium #modelling
- Automata-Based Computation of Temporal Equilibrium Models (PC, SD), pp. 57–72.
- ICLP-2008-Cabalar #programming #set #similarity
- Partial Functions and Equality in Answer Set Programming (PC), pp. 392–406.
- ICLP-2007-CabalarPV #logic programming #source code
- Minimal Logic Programs (PC, DP, AV), pp. 104–118.
- ICLP-2006-CabalarOPV #equilibrium #logic #semantics #using
- Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic (PC, SPO, DP, AV), pp. 346–360.
- KR-2006-CabalarOP #logic #semantics
- Logical Foundations of Well-Founded Semantics (PC, SPO, DP), pp. 25–35.
- ICLP-2002-Cabalar #semantics
- A Rewriting Method for Well-Founded Semantics with Explicit Negation (PC), pp. 378–392.