The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Pearce 0001" ( http://dblp.L3S.de/Authors/David_Pearce_0001 )

  Author page on DBLP  Author page in RDF  Community of David Pearce 0001 in ASPL-2

Publication years (Num. hits)
1984-1996 (16) 1998-2004 (16) 2005-2007 (20) 2008-2012 (19) 2013-2016 (15) 2017-2019 (11)
Publication types (Num. hits)
article(29) incollection(1) inproceedings(59) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 10 keywords

Results
Found 98 publication records. Showing 97 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Forgetting auxiliary atoms in forks. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Revisiting Explicit Negation in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Answer Set Programming from a Logical Point of View. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary equilibrium logic and strongly equivalent logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce 0001 A short biography of Luis Fariñas del Cerro. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Emiliano Lorini, David Pearce 0001 Preface. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Stable reasoning. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Forgetting Auxiliary Atoms in Forks. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde On the Properties of Atom Definability and Well-Supportedness in Logic Programming. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Helena Sofia Pinto (eds.) STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016 Search on Bibsonomy STAIRS The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Bozzelli, David Pearce 0001 On the Expressiveness of Temporal Equilibrium Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, David Pearce 0001, Levan Uridia On Logics of Group Belief in Structured Coalitions. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A Denotational Semantics for Equilibrium Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Laura Bozzelli, David Pearce 0001 On the complexity of Temporal Equilibrium Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A denotational semantics for equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, David Pearce 0001 On the Complexity of Temporal Equilibrium Logic. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary Equilibrium Logic and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Levan Uridia Trust, Belief and Honesty. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolable Formulas in Equilibrium Logic and Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1David Pearce 0001 A Model of Artifact Creation Reconsidered. Search on Bibsonomy ECSI The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde A Free Logic for Stable Models with Partial Intensional Functions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Levan Uridia Algebraic semantics for modal and superintuitionistic non-monotonic logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chiara Del Vescovo, Torsten Hahmann, David Pearce 0001, Dirk Walther 0002 (eds.) Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013. Search on Bibsonomy WoMO The full citation details ... 2013 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Synonymous theories and knowledge representations in answer set programming. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Levan Uridia The Topology of Common Belief. Search on Bibsonomy AT The full citation details ... 2012 DBLP  BibTeX  RDF
1Esra Erdem 0001, Joohyung Lee, Yuliya Lierler, David Pearce 0001 (eds.) Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde Bi-state Logic. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, David Pearce 0001 Strong Equivalence of RASP Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolable Formulas in Equilibrium Logic and Answer Set Programming. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1David Pearce 0001 Foundations and Extensions of Answer Set Programming: The Logical Approach. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Levan Uridia An Approach to Minimal Belief via Objective Belief. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jos de Bruijn, David Pearce 0001, Axel Polleres, Agustín Valverde A semantical framework for hybrid knowledge bases. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Michael Fink 0001, David Pearce 0001 A Logical Semantics for Description Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Levan Uridia Minimal Knowledge and Belief via Minimal Topology. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Hans Tompits, Stefan Woltran Characterising equilibrium logic and nested logic programs: Reductions and complexity Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1David Pearce 0001, Hans Tompits, Stefan Woltran Characterising equilibrium logic and nested logic programs: Reductions and complexity, . Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Levan Uridia A Logic Related to Minimal Knowledge. Search on Bibsonomy WAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde A Revised Concept of Safety for General Answer Set Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Well-Founded and Partial Stable Semantics Logical Aspects. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
1David Pearce 0001 Sixty Years of Stable Models. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Quantified Equilibrium Logic and Foundations for Answer Set Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Partial equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55
1Axel Polleres, David Pearce 0001, Stijn Heymans, Edna Ruckhaus (eds.) Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007 Search on Bibsonomy ALPSWS The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Minimal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minimisation of boolean and multivalued functions, logic programming, answer set programming
1David Pearce 0001, Hans Tompits, Stefan Woltran Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Interpretability and Equivalence in Quantified Equilibrium Logic. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde A Characterization of Strong Equivalence for Logic Programs with Variables. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Axel Polleres, Agustín Valverde, Stefan Woltran (eds.) Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007 Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jos de Bruijn, David Pearce 0001, Axel Polleres, Agustín Valverde Quantified Equilibrium Logic and Hybrid Rules. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde On the Logic and Computation of Partial Equilibrium Models. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Logical Foundations of Well-Founded Semantics. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde A First Order Nonmonotonic Extension of Constructive Logic. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation
1David Pearce 0001 On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems. Search on Bibsonomy Wireless Personal Communications The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergei P. Odintsov, David Pearce 0001 Routley Semantics for Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Some Methodological Issues for Intelligent Information Systems. Search on Bibsonomy CAiSE Workshops (2) The full citation details ... 2005 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1David Pearce 0001 Simplifying Logic Programs Under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Uniform Equivalence for Equilibrium Logic and Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Synonymus Theories in Answer Set Programming and Equilibrium Logic. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Strongly equivalent logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, stable models, answer sets
1David Pearce 0001, Hans Tompits, Stefan Woltran Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Abduction in equilibrium logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1David Pearce 0001 Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1David Pearce 0001, Inman P. de Guzmán, Agustín Valverde Computing Equilibrium Models Using Signed Formulas. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Inman P. de Guzmán, Agustín Valverde A Tableau Calculus for Equilibrium Entailment. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Stable Inference as Intuitionistic Validity. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1David Pearce 0001 A New Logical Characterisation of Stable Models and Answer Sets. Search on Bibsonomy NMELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Answer Sets and Constructive Logic. Part 1: Monotonic Databases. Search on Bibsonomy Logic, Action, and Information The full citation details ... 1996 DBLP  BibTeX  RDF
1David Pearce 0001 Nonmonotonicity and Answer Set Inference. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. Search on Bibsonomy WLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Craig MacNish, David Pearce 0001, Luís Moniz Pereira (eds.) Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1David Pearce 0001 Answer Sets and Nonmonotonic S4. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Default Logic and Constructive Logic. Search on Bibsonomy ECAI The full citation details ... 1992 DBLP  BibTeX  RDF
1David Pearce 0001, Gerd Wagner (eds.) Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Heinrich Herre, David Pearce 0001 Disjunctive Logic Programming, Constructivity and Strong Negation. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Heinrich Wansing (eds.) Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings Search on Bibsonomy Nonclassical Logics and Information Processing The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Search on Bibsonomy Nonclassical Logics and Information Processing The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Wolfgang Rautenberg Propositional logic based on the dynamics of disbelief. Search on Bibsonomy The Logic of Theory Change The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Gerd Wagner Logic Programming with Strong Negation. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Heinrich Wansing On the methodology of possible worlds semantics. I. Correspondence theory. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Veikko Rantala A logical study of the correspondence relation. Search on Bibsonomy J. Philosophical Logic The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #97 of 97 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license