David Pearce
Title
Cited by
Cited by
Year
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
5482001
A new logical characterisation of stable models and answer sets
D Pearce
Non-Monotonic Extensions of Logic Programming, 57-70, 1997
2741997
Equilibrium logic
D Pearce
Annals of Mathematics and Artificial Intelligence 47 (1-2), 3-41, 2006
1452006
Stable inference as intuitionistic validity
D Pearce
The Journal of Logic Programming 38 (1), 79-91, 1999
1141999
Reasoning with negative information I: Strong negation in logic programs
D Pearce, G Wagner
Language, Knowledge and Intentionality 49, 430-453, 1990
971990
Roads to commensurability
D Pearce
Springer Science & Business Media, 2012
932012
Encodings for equilibrium logic and logic programs with nested expressions
D Pearce, H Tompits, S Woltran
Progress in Artificial Intelligence, 306-320, 2001
882001
Reduction in science: Structure, examples, philosophical problems
W Balzer, D Pearce, HJ Schmidt
Springer Science & Business Media, 2012
842012
Reduction in science
W Balzer, DA Pearce, HJ Schmidt
Reidel, Dordrecht, 1984
84*1984
Logic programming with strong negation
D Pearce, G Wagner
Extensions of Logic Programming, 311-326, 1991
811991
A characterization of strong equivalence for logic programs with variables
V Lifschitz, D Pearce, A Valverde
Logic Programming and Nonmonotonic Reasoning, 188-200, 2007
662007
From here to there: Stable negation in logic programming
D Pearce
What is Negation?, 161-181, 1999
591999
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report
D Pearce, V Sarsakov, T Schaub, H Tompits, S Woltran
Logic Programming, 405-420, 2002
502002
Quantified equilibrium logic and hybrid rules
J De Bruijn, D Pearce, A Polleres, A Valverde
Web Reasoning and Rule Systems, 58-72, 2007
492007
Towards a first order equilibrium logic for nonmonotonic reasoning
D Pearce, A Valverde
Logics in Artificial Intelligence, 147-160, 2004
482004
Reasoning with negative information, II: Hard negation, strong negation and logic programs
D Pearce
Nonclassical logics and information processing, 63-79, 1992
441992
A tableau calculus for equilibrium entailment
D Pearce, IP de Guzmán, A Valverde
Automated Reasoning with Analytic Tableaux and Related Methods, 352-367, 2000
432000
Quantified equilibrium logic and foundations for answer set programs
D Pearce, A Valverde
Logic Programming, 546-560, 2008
422008
A first order nonmonotonic extension of constructive logic
D Pearce, A Valverde
Studia Logica 80 (2-3), 321-346, 2005
422005
Is there any theoretical justification for a nonstatement view of theories?
D Pearce
Synthese 46 (1), 1-39, 1981
411981
The system can't perform the operation now. Try again later.
Articles 1–20