BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cabalar:Pedro

Contributed to:

ICLP 20152015
ICLP 20142014
KR 20142014
ICLP 20122012
LOPSTR 20112011
ICLP 20082008
ICLP 20072007
ICLP 20062006
KR 20062006
ICLP 20022002

Wrote 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).
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.