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: Pearce:David
Facilitated 1 volumes:
SCoContributed to:
2015
2015200820072006
200620042002
2000Wrote 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.