David Pearce

发表

On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems

David Pearce, 2005, Wirel. Pers. Commun..

On the methodology of possible worlds semantics. I. Correspondence theory

David Pearce, Heinrich Wansing, 1988, Notre Dame J. Formal Log..

Foundations and Extensions of Answer Set Programming: The Logical Approach

David Pearce, 2011, LPNMR.

Bi-state Logic

Luis Fariñas del Cerro, David Pearce, Agustín Valverde, 2012, Correct Reasoning.

Propositional logic based on the dynamics of disbelief

David Pearce, Wolfgang Rautenberg, 1989, The Logic of Theory Change.

Stable Inference as Intuitionistic Validity

David Pearce, D. Pearce, 1999, J. Log. Program..

Some Methodological Issues for Intelligent Information Systems

David Pearce, D. Pearce, 2005, CAiSE Workshops.

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs

David Pearce, Pedro Cabalar, Sergei P. Odintsov, 2006, IBERAMIA-SBIA.

A Tableau Calculus for Equilibrium Entailment

David Pearce, Inmaculada Perez de Guzmán, Agustín Valverde, 2000, TABLEAUX.

Passive training for automatic speech recognition

David Pearce, Brian Clark, 2014 .

Minimal Logic Programs

David Pearce, Pedro Cabalar, Agustín Valverde, 2007, ICLP.

The Green MythEconomic Growth and the Quality of the Environment

David Pearce, 2001 .

A New Logical Characterisation of Stable Models and Answer Sets

David Pearce, D. Pearce, 1996, NMELP.

A Model of Artifact Creation Reconsidered

David Pearce, David Pearce, 2014, ECSI.

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

William W. Wadge, David Pearce, Panos Rondogiannis, 2007, LPNMR.

Computing Equilibrium Models Using Signed Formulas

David Pearce, Inmaculada Perez de Guzmán, Agustín Valverde, 2000, Computational Logic.

Distributed Speech Recognition Standards

David Pearce, D. Pearce, 2008 .

Minimal Knowledge and Belief via Minimal Topology

David Pearce, Levan Uridia, 2010, JELIA.

Default Logic and Constructive Logic

David Pearce, 1992, ECAI.

Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs

David Pearce, 1994, WLP.

Answer Set Programming from a Logical Point of View

David Pearce, Pedro Cabalar, Agustín Valverde, 2018, KI - Künstliche Intelligenz.

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

Luis Fariñas del Cerro, David Pearce, Agustín Valverde, 2013, IJCAI.

Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning

David Pearce, 2000, WLP.

Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs

David Pearce, D. Pearce, 1998, APPIA-GULP-PRODE.

Uniform Equivalence for Equilibrium Logic and Logic Programs

David Pearce, Agustín Valverde, D. Pearce, 2004, LPNMR.

A First Order Nonmonotonic Extension of Constructive Logic

David Pearce, Agustín Valverde, D. Pearce, 2005, Stud Logica.

Well-Founded and Partial Stable Semantics Logical Aspects

David Pearce, Pedro Cabalar, Sergei P. Odintsov, 2009, CSR.

Infinitary Equilibrium Logic and Strong Equivalence

David Pearce, Vladimir Lifschitz, Agustín Valverde, 2015, LPNMR.

A semantical framework for hybrid knowledge bases

Jos de Bruijn, David Pearce, Axel Polleres, 2010, Knowledge and Information Systems.

A Logic Related to Minimal Knowledge

David Pearce, Levan Uridia, 2009, WAT.

Algebraic semantics for modal and superintuitionistic non-monotonic logics

David Pearce, Levan Uridia, D. Pearce, 2013, J. Appl. Non Class. Logics.

Logical Foundations of Well-Founded Semantics

David Pearce, Pedro Cabalar, Sergei P. Odintsov, 2006, KR.

Nonmonotonicity and Answer Set Inference

David Pearce, D. Pearce, 1995, LPNMR.

An Approach to Minimal Belief via Objective Belief

David Pearce, Levan Uridia, 2011, IJCAI.

Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms

David Pearce, D. Pearce, 1993, LPNMR.

A Characterization of Strong Equivalence for Logic Programs with Variables

David Pearce, Vladimir Lifschitz, Agustín Valverde, 2007, LPNMR.

From Here to There: Stable Negation in Logic Programming

David Pearce, D. Pearce, 1999 .

Workshop on Modular Ontologies (WoMO) 2013

David Pearce, Chiara Del Vescovo, 2013 .

Strong Equivalence of RASP Programs

David Pearce, Stefania Costantini, Andrea Formisano, 2012, Correct Reasoning.

Simplifying Logic Programs Under Answer Set Semantics

David Pearce, D. Pearce, 2004, ICLP.

Developing the ETSI Aurora advanced distributed speech recognition front-end and what next?

David Pearce, 2001, IEEE Workshop on Automatic Speech Recognition and Understanding, 2001. ASRU '01..

Interpretability and Equivalence in Quantified Equilibrium Logic

David Pearce, Agustín Valverde, 2007, CENT.

Interpolable Formulas in Equilibrium Logic and Answer Set Programming pdf

Dov M. Gabbay, David Pearce, Agustín Valverde, 2011, J. Artif. Intell. Res..

Logic Programming with Strong Negation

Gerd Wagner, David Pearce, 1989, ELP.

Abduction in equilibrium logic

David Pearce, Agustín Valverde, 2001, Answer Set Programming.

A short biography of Luis Fariñas del Cerro

David Pearce, Andreas Herzig, Pedro Cabalar, 2017, J. Appl. Non Class. Logics.

Storage phosphor images in the neonatal intensive care unit: a multiobserver preference study

David Pearce, Matthew T. Freedman, Seong K. Mun, 1994, Medical Imaging.

The Gödel and the Splitting Translations

David Pearce, 2010, NMR 2010.

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Luis Fariñas del Cerro, David Pearce, Jorge Fandinno, 2017, EPIA.

Nonclassical Logics and Information Processing

David Pearce, Heinrich Wansing, 1992, Lecture Notes in Computer Science.

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case pdf

Dov M. Gabbay, David Pearce, Agustín Valverde, 2010, ArXiv.

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates pdf

Luis Fariñas del Cerro, David Pearce, Jorge Fandinno, 2018, Theory Pract. Log. Program..

Disjunctive Logic Programming, Constructivity and Strong Negation

David Pearce, Heinrich Herre, H. Herre, 1992, JELIA.

Trust, Belief and Honesty

David Pearce, Levan Uridia, 2015, GCAI.

On the Expressiveness of Temporal Equilibrium Logic

David Pearce, Laura Bozzelli, D. Pearce, 2016, JELIA.

Strongly equivalent logic programs

David Pearce, Vladimir Lifschitz, Agustín Valverde, 2001, ACM Trans. Comput. Log..

A logical study of the correspondence relation

David Pearce, Veikko Rantala, V. Rantala, 1984, J. Philos. Log..

Synonymus Theories in Answer Set Programming and Equilibrium Logic

David Pearce, Agustín Valverde, D. Pearce, 2004, ECAI.

Revisiting Explicit Negation in Answer Set Programming

David Pearce, Jorge Fandinno, Pedro Cabalar, 2019, Theory Pract. Log. Program..

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning

David Pearce, Agustín Valverde, D. Pearce, 2004, JELIA.

The Topology of Common Belief

David Pearce, Levan Uridia, D. Pearce, 2012, AT.

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic

David Pearce, Agustín Valverde, 2003, APPIA-GULP-PRODE.

Sixty Years of Stable Models

David Pearce, D. Pearce, 2008, ICLP.

Answer Sets and Constructive Logic. Part 1: Monotonic Databases

David Pearce, 1996, Logic, Action, and Information.

On the Logic and Computation of Partial Equilibrium Models

David Pearce, Pedro Cabalar, Sergei P. Odintsov, 2006, JELIA.

Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report

Stefan Woltran, Hans Tompits, David Pearce, 2007, CENT.

Quantified Equilibrium Logic and Foundations for Answer Set Programs

David Pearce, Agustín Valverde, D. Pearce, 2008, ICLP.

Answer Sets and Nonmonotonic S4

David Pearce, David Pearce, 1993, ELP.

Synonymous theories and knowledge representations in answer set programming

David Pearce, Agustín Valverde, D. Pearce, 2012, Journal of computer and system sciences (Print).

Correct Reasoning: essays on logic-based AI in honor of Vladimir Lifschitz

David Pearce, Esra Erdem, Joohyung Lee, 2012 .

Partial equilibrium logic

David Pearce, Pedro Cabalar, Sergei P. Odintsov, 2007, Annals of Mathematics and Artificial Intelligence.

A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report

Stefan Woltran, Hans Tompits, Torsten Schaub, 2002, NMR.

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

David Pearce, Pedro Cabalar, Sergei P. Odintsov, 2006, ICLP.

A Free Logic for Stable Models with Partial Intensional Functions

Luis Fariñas del Cerro, David Pearce, Pedro Cabalar, 2014, JELIA.

Missouri Military Preparedness and Enhancement Commission Commission Meeting January 19, 2006 Senate Hearing Room #1, State Capitol Building, Jefferson City Meeting Minutes

David Pearce, Ron Richards, Ron Taylor, 2006 .

The Logic of Reducibility

David Pearce, 1987 .

A Revised Concept of Safety for General Answer Set Programs

David Pearce, Pedro Cabalar, Agustín Valverde, 2009, LPNMR.

Equilibrium logic

David Pearce, D. Pearce, 2006, Annals of Mathematics and Artificial Intelligence.

Quantified Equilibrium Logic and Hybrid Rules

Jos de Bruijn, David Pearce, Axel Polleres, 2007, RR.

A denotational semantics for equilibrium logic* pdf

David Pearce, Pedro Cabalar, Gilberto Pérez, 2015, Theory and Practice of Logic Programming.

Logics in AI

Gerd Wagner, David Pearce, Gerd Wagner, 1992, Lecture Notes in Computer Science.

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions

Stefan Woltran, Hans Tompits, David Pearce, 2001, EPIA.

Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Stefan Woltran, Hans Tompits, David Pearce, 2009, Theory and Practice of Logic Programming.

Routley Semantics for Answer Sets

David Pearce, Sergei P. Odintsov, D. Pearce, 2005, LPNMR.

A Logical Semantics for Description Logic Programs

David Pearce, Michael Fink, 2010, JELIA.

Forgetting Auxiliary Atoms in Forks

David Pearce, Jorge Fandinno, Pedro Cabalar, 2019, ASPOCP@LPNMR.

On the Complexity of Temporal Equilibrium Logic

David Pearce, Laura Bozzelli, D. Pearce, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

Proceedings of the International Workshop on Nonclassical Logics and Information Processing

David Pearce, Heinrich Wansing, 1992 .

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

David Pearce, Pedro Cabalar, Agustín Valverde, 2005, Answer Set Programming.

Stable reasoning

David Pearce, Pedro Cabalar, Agustín Valverde, 2017, J. Appl. Non Class. Logics.

Phosphorylation of Nedd4‐2 by Sgk1 regulates epithelial Na+ channel cell surface expression

David Pearce, Olivier Staub, Marc A. Thomas, 2001, The EMBO journal.