David Pearce's Publications

Books
Articles since 2004
Articles and Reports before 2004

Books

David Pearce
Translation, Reduction and Equivalence: Some Topics in
Intertheory Relations
Verlag Peter Lang, Bern/Frankfurt,1985

David Pearce
Roads to Commensurability,
Kluwer, Dordrecht, 1987 (Springer link).

Wolfgang Balzer, David Pearce & Hans-Jürgen.Schmidt (Editors)
Reduction in Science: Structure, Examples, Philosophical Problems,
Kluwer, Dordrecht, 1984 (Springer)

David Pearce & Jan Wolenski (Editors)
Logischer Rationalismus. Philosophische Schriften der Lemberg-Warschauer Schule
Atheneum Verlag, Frankfurt,1988

David Pearce & Heinrich Wansing (Editors)
Nonclassical Logics and Information Processing: Proceedings of
an International Workshop, Berlin, November,1990,
Lecture Notes in Artificial Intelligence, 619, Springer-Verlag,1992

David Pearce & Gerd Wagner (Editors)
Logics in AI. Proceedings of the Europeen Workshop, JELIA 92 ,
Lecture Notes in Artifcial Intelligence, 633, Springer-Verlag,1992

Craig .MacNish, David Pearce & Luis Moniz Pereira (Editors).
Logics in Artificial Intelligence.Proceedings, JELIA 94
Lecture Notes in Artificial Intelligence, 838, Springer-Verlag,1994

Articles since 2004

Michael Fink and David Pearce
Some Equivalence Concepts for Hybrid Theories
Proceedings CAEPIA 2009, to appear.

Pedro Cabalar, David Pearce  and Agustín Valverde
Safety Preserving Transformations for General Answer Set Programs
Proceedings LOPSTR 2009.

Pedro Cabalar, David Pearce  and Agustín Valverde
A Revised Concept of Safety for General Answer Set Programs
in E. Esdem, F. Lin and T. Schaub (Eds), Proceedings LPNMR 2009, Springer LNAI 5753, pp. 58-70, 2009.

David Pearce, Hans Tompits and Stefan Woltran
Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity
Theory and Practice of Logic Programming, Volume 9, Issue 05, Sep 2009, pp 565-616

Pedro Cabalar, Sergei Odintsov and David Pearce.
A Logic for Partial Stable Models and Well-Founded Semantics,
Technical Report GIA, URJC, February 2008. Submitted for publication

David Pearce
Sixty Years of Stable Models.
Summary in M. Garcia de la Banda and E. Pontelli (Eds.), ICLP 2008, Springer LNCS 5366, p. 52, 2008.
Full paper here

David Pearce and Agustín Valverde
Quantified Equlibrium Logic and a Class of General Logic Programs.
in M. Garcia de la Banda and E. Pontelli (Eds.), ICLP 2008, Springer LNCS 5366, pp. 546-560, 2008.

Jos de Bruijn, David Pearce, Axel Polleres, and Agustín Valverde.
A semantical framework for hybrid knowledge bases, October 2007.
Accepted for publication in Knowledge and Information Systems.

Vladimir Lifschitz, David Pearce & Agustín Valverde
A Characterization of Strong Equivalence for Logic Programs with Variables, in C. Baral, G. Brewka & J. Schlipf (eds) Proceedings of LPNMR'07, Springer, LNAI 4483, 2007, 188-200.

Pedro Cabalar, Sergei Odintsov, David Pearce and Agustín Valverde.
Partial Equilibrium Logic, Annals of Mathematics and Artificial Intelligence 50 (2007), 305-351.

Jos de Bruijn, David Pearce, Axel Polleres, and Agustín Valverde.
Quantified Equilibrium Logic and Hybrid Rules. in M. Marchiori et al. (eds), Proceedings of the First International Conference on Web Reasoning and Rule Systems,  Springer, LNCS 4524, 2007, 58-72.

David Pearce and Agustín Valverde
Interpretability and Equivalence in Quantified Equilibrium Logic,LPNMR Workshop: Correspondence and Equivalence for Nonmonotonic Theories, CENT 2007. May 2007.

Pedro Cabalar, David Pearce, Panos Rondogiannis and William W. Wadge
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. in C. Baral, G. Brewka & J. Schlipf (eds) Proceedings of LPNMR'07, Springer, LNAI 4483, 2007, 44-57.

David Pearce Hans Tompits and Stefan Woltran
Relativised Equivalence in ASP and Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.
LPNMR Workshop: Correspondence and Equivalence for Nonmonotonic Theories, CENT 2007. May 2007.

Pedro Cabalar, David Pearce  and Agustín Valverde
Minimal Logic Programs, in V. Dahl & I. Niemelä (eds), Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, Springer LNCS 4670, 2007, 104-118.

Jos de Bruijn, David Pearce, Axel Polleres and Agustín Valverde.
A logic for hybrid rules, in RuleML 2006 Workshop: Ontology and Rule Integration, November 2006.

Pedro Cabalar, Sergei Odintsov, David Pearce and Agustín Valverde.
Analysing and Extending Well-Founded and Partial Stable Semantics using Partial Equilibrium Logic, Proceedings of ICLP 2006, Springer LNCS 4079, 2006, 346-360.

Pedro Cabalar, Sergei Odintsov, David Pearce and Agustín Valverde.
On the Logic and Computation of Partial Equilibrium Models, Proceedings of Jelia 2006, Springer LNAI, 2006.

Pedro Cabalar, Sergei Odintsov and David Pearce
Logical foundations of well-founded semantics, Proceedings KR 2006.

Pedro Cabalar, Sergei Odintsov and David Pearce
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs, in Proceedings Iberamia 2006, Springer LNAI, 2006.

David Pearce
Equilibrium logic, Annals of Mathematics and Artificial Intelligence 47 (2006), 3-41.

David Pearce and Agustín Valverde
A first-order nonmonotonic extension of constructive logic, Studia Logica, 80 (2005), 321-346.

Pedro Cabalar, David Pearce and Agustín Valverde
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. in C. Bento et al. (eds) Proceedings of the 12th Portuguese Conference on Artificial Intelligence, EPIA 05, Springer LNAI 3808, 2005, 4-17.

Sergei Odintsov and David Pearce
Routley Semantics for Answer Sets. in C. Baral et al. (eds), Proceedings LPNMR 05, Springer LNAI 3662, pp. 343-355, 2005.

David Pearce
Some Methodological Issues for Intelligent Information Systems. Proceedings of the 1st International Workshop on Philosophical Foundations of Informations Systems Engineering, PHISE 05, 489-498., Ediçôes FEUP, Porto, 2005.

Sergei Odintsov and David Pearce
The logic of paraconsistent answer sets, in: The 9th Asian Logic Conference: Abstracts, Novosibirsk, 2005, pp.107-109.

Pedro Cabalar, Sergei Odintsov and David Pearce
A logic for reasoning about well-founded semantics: preliminary report. in R. Marín et al. (eds), XI Conferencia de Inteligencia Artificial, Actas, Volumen I, pp.183-192, Santiago de Compostela, 2005.

David Pearce.
Simplifying logic programs under answer set semantics, in B. Demoen & V. Lifschtiz (eds), Proceedings of ICLP04, Springer, LNCS 3132, 2004, 210-224.

David Pearce and Agustín Valverde.
Uniform equivalence for equilibrium logic and logic programs. in V. Lifschitz & I. Niemelä (eds), Proceedings of LPNMR'04, LNAI 2923, pp. 194--206, Springer, 2004.

David Pearce and Agustín Valverde.
Synonymous theories in answer set programming and equilibrium logic. in R. López de Mántaras & L Saitta (eds), Proceedings ECAI 2004, IOS Press, 2004, 388-392.

David Pearce and Agustín Valverde.
Towards a first order equilibrium logic for nonmonotonic reasoning, in J.J.Alferes & J. Leite (eds), Logics in Artificial Intelligence, Proc. JELIA 2004, Springer, LNAI 3229, 2004, 147-160.

Back to David's Homepage