BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Italy
1 × Japan
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
A.Valverde P.Cabalar S.P.Odintsov L.Bozzelli I.P.d.Guzmán F.Aguado G.Pérez C.Vidal V.Sarsakov T.Schaub H.Tompits S.Woltran
Talks about:
logic (9) equilibrium (5) program (5) semant (4) partial (2) foundat (2) answer (2) stabl (2) model (2) found (2)

♂ Person: David Pearce

DBLP DBLP: Pearce:David

Facilitated 1 volumes:

SLE 2015SCo

Contributed to:

ICLP 20152015
LICS 20152015
ICLP 20082008
ICLP 20072007
ICLP 20062006
KR 20062006
ICLP 20042004
ICLP 20022002
CL 20002000

Wrote 10 papers:

ICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics
A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.
LICS-2015-BozzelliP #complexity #equilibrium #logic #on the
On the Complexity of Temporal Equilibrium Logic (LB, DP), pp. 645–656.
ICLP-2008-Pearce #modelling
Sixty Years of Stable Models (DP), p. 52.
ICLP-2008-PearceV #equilibrium #logic #quantifier #set #source code
Quantified Equilibrium Logic and Foundations for Answer Set Programs (DP, AV), pp. 546–560.
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-2004-Pearce #logic programming #semantics #set #source code
Simplifying Logic Programs Under Answer Set Semantics (DP), pp. 210–224.
ICLP-2002-PearceSSTW #logic programming #polynomial #source code
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.
CL-2000-PearceGV #equilibrium #modelling #using
Computing Equilibrium Models Using Signed Formulas (DP, IPdG, AV), pp. 688–702.

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.