David Pearce - RankMe

105 papers A* 5A 2B 28Misc 4Journal 34Unranked 25

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Syntactic ASP forgetting with forks. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2023	B	`conf`	Logic, Accountability and Design: Extended Abstract. JELIA Pedro Cabalar, David Pearce
2022	J	`jnl`	A polynomial reduction of forks into logic programs. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2022	J	`jnl`	Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
2022	B	`conf`	Syntactic ASP Forgetting with Forks. LPNMR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2020	A*	`conf`	Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Forgetting auxiliary atoms in forks. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Revisiting Explicit Negation in Answer Set Programming. CoRR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Social Intelligence. AI Soc. Andreas Herzig, Emiliano Lorini, David Pearce
2018	J	`jnl`	Answer Set Programming from a Logical Point of View. Künstliche Intell. Pedro Cabalar, David Pearce, Agustín Valverde
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2017	J	`jnl`	A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
2017	—	`conf`	Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2017	J	`jnl`	Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2017	Misc	`conf`	On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2017	J	`jnl`	Preface. J. Appl. Non Class. Logics Andreas Herzig, Emiliano Lorini, David Pearce
2017	J	`jnl`	Stable reasoning. J. Appl. Non Class. Logics Pedro Cabalar, David Pearce, Agustín Valverde
2016	B	`conf`	On Logics of Group Belief in Structured Coalitions. JELIA Philippe Balbiani, David Pearce, Levan Uridia
2016	B	`conf`	On the Expressiveness of Temporal Equilibrium Logic. JELIA Laura Bozzelli, David Pearce
2016	—	`ed.`	STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016 STAIRS David Pearce, Helena Sofia Pinto
2015	J	`jnl`	A Denotational Semantics for Equilibrium Logic. CoRR Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
2015	J	`jnl`	A denotational semantics for equilibrium logic. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
2015	B	`conf`	Infinitary Equilibrium Logic and Strong Equivalence. LPNMR Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2015	A*	`conf`	On the Complexity of Temporal Equilibrium Logic. LICS Laura Bozzelli, David Pearce
2015	J	`jnl`	On the complexity of Temporal Equilibrium Logic. CoRR Laura Bozzelli, David Pearce
2015	—	`conf`	Trust, Belief and Honesty. GCAI David Pearce, Levan Uridia
2014	B	`conf`	A Free Logic for Stable Models with Partial Intensional Functions. JELIA Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2014	—	`conf`	A Model of Artifact Creation Reconsidered. ECSI David Pearce
2014	J	`jnl`	Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR Dov M. Gabbay, David Pearce, Agustín Valverde
2013	J	`jnl`	Algebraic semantics for modal and superintuitionistic non-monotonic logics. J. Appl. Non Class. Logics David Pearce, Levan Uridia
2013	A*	`conf`	FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2013	—	`ed.`	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. WoMO Chiara Del Vescovo, Torsten Hahmann, David Pearce, Dirk Walther
2012	—	`conf`	Bi-state Logic. Correct Reasoning Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2012	—	`ed.`	Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz Correct Reasoning Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
2012	—	`conf`	Strong Equivalence of RASP Programs. Correct Reasoning Stefania Costantini, Andrea Formisano, David Pearce
2012	J	`jnl`	Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. David Pearce, Agustín Valverde
2012	—	`conf`	The Topology of Common Belief. AT David Pearce, Levan Uridia
2011	A*	`conf`	An Approach to Minimal Belief via Objective Belief. IJCAI David Pearce, Levan Uridia
2011	B	`conf`	Foundations and Extensions of Answer Set Programming: The Logical Approach. LPNMR David Pearce
2011	J	`jnl`	Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. Dov M. Gabbay, David Pearce, Agustín Valverde
2010	B	`conf`	A Logical Semantics for Description Logic Programs. JELIA Michael Fink, David Pearce
2010	J	`jnl`	A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
2010	J	`jnl`	Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case CoRR Dov M. Gabbay, David Pearce, Agustín Valverde
2010	B	`conf`	Minimal Knowledge and Belief via Minimal Topology. JELIA David Pearce, Levan Uridia
2009	—	`conf`	A Logic Related to Minimal Knowledge. WAT David Pearce, Levan Uridia
2009	B	`conf`	A Revised Concept of Safety for General Answer Set Programs. LPNMR Pedro Cabalar, David Pearce, Agustín Valverde
2009	J	`jnl`	Characterising equilibrium logic and nested logic programs: Reductions and complexity CoRR David Pearce, Hans Tompits, Stefan Woltran
2009	J	`jnl`	Characterising equilibrium logic and nested logic programs: Reductions and complexity Theory Pract. Log. Program. David Pearce, Hans Tompits, Stefan Woltran
2009	Misc	`conf`	Well-Founded and Partial Stable Semantics Logical Aspects. CSR Pedro Cabalar, Sergei P. Odintsov, David Pearce
2008	B	`conf`	Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP David Pearce, Agustín Valverde
2008	B	`conf`	Sixty Years of Stable Models. ICLP David Pearce
2007	B	`conf`	A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR Vladimir Lifschitz, David Pearce, Agustín Valverde
2007	B	`conf`	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
2007	—	`conf`	Interpretability and Equivalence in Quantified Equilibrium Logic. CENT David Pearce, Agustín Valverde
2007	B	`conf`	Minimal Logic Programs. ICLP Pedro Cabalar, David Pearce, Agustín Valverde
2007	J	`jnl`	Partial equilibrium logic. Ann. Math. Artif. Intell. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2007	—	`ed.`	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 ALPSWS Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus
2007	—	`ed.`	Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007 CENT David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran
2007	—	`conf`	Quantified Equilibrium Logic and Hybrid Rules. RR Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
2007	—	`conf`	Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. CENT David Pearce, Hans Tompits, Stefan Woltran
2006	B	`conf`	Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006	J	`jnl`	Equilibrium logic. Ann. Math. Artif. Intell. David Pearce
2006	A*	`conf`	Logical Foundations of Well-Founded Semantics. KR Pedro Cabalar, Sergei P. Odintsov, David Pearce
2006	B	`conf`	On the Logic and Computation of Partial Equilibrium Models. JELIA Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006	—	`conf`	Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA Pedro Cabalar, Sergei P. Odintsov, David Pearce
2005	J	`jnl`	A First Order Nonmonotonic Extension of Constructive Logic. Stud Logica David Pearce, Agustín Valverde
2005	J	`jnl`	On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems. Wirel. Pers. Commun. David Pearce
2005	—	`conf`	Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming Pedro Cabalar, David Pearce, Agustín Valverde
2005	Misc	`conf`	Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA Pedro Cabalar, David Pearce, Agustín Valverde
2005	B	`conf`	Routley Semantics for Answer Sets. LPNMR Sergei P. Odintsov, David Pearce
2005	—	`conf`	Some Methodological Issues for Intelligent Information Systems. CAiSE Workshops (2) David Pearce
2004	B	`conf`	Simplifying Logic Programs Under Answer Set Semantics. ICLP David Pearce
2004	A	`conf`	Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI David Pearce, Agustín Valverde
2004	B	`conf`	Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA David Pearce, Agustín Valverde
2004	B	`conf`	Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR David Pearce, Agustín Valverde
2003	—	`conf`	Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE David Pearce, Agustín Valverde
2002	J	`jnl`	A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report CoRR David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002	B	`conf`	A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. ICLP David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002	—	`conf`	A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. NMR David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2001	—	`conf`	Abduction in equilibrium logic. Answer Set Programming David Pearce, Agustín Valverde
2001	Misc	`conf`	Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. EPIA David Pearce, Hans Tompits, Stefan Woltran
2001	J	`jnl`	Strongly equivalent logic programs. ACM Trans. Comput. Log. Vladimir Lifschitz, David Pearce, Agustín Valverde
2000	B	`conf`	A Tableau Calculus for Equilibrium Entailment. TABLEAUX David Pearce, Inman P. de Guzmán, Agustín Valverde
2000	—	`conf`	Computing Equilibrium Models Using Signed Formulas. Computational Logic David Pearce, Inman P. de Guzmán, Agustín Valverde
2000	—	`conf`	Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP David Pearce
1999	J	`jnl`	Stable Inference as Intuitionistic Validity. J. Log. Program. David Pearce
1998	—	`conf`	Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. APPIA-GULP-PRODE David Pearce
1996	—	`conf`	A New Logical Characterisation of Stable Models and Answer Sets. NMELP David Pearce
1996	—	`ch.`	Answer Sets and Constructive Logic. Part 1: Monotonic Databases. Logic, Action, and Information David Pearce
1995	B	`conf`	Nonmonotonicity and Answer Set Inference. LPNMR David Pearce
1994	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings JELIA Craig MacNish, David Pearce, Luís Moniz Pereira
1994	—	`conf`	Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP David Pearce
1993	B	`conf`	Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR David Pearce
1993	—	`conf`	Answer Sets and Nonmonotonic S4. ELP David Pearce
1992	A	`conf`	Default Logic and Constructive Logic. ECAI David Pearce
1992	B	`conf`	Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA Heinrich Herre, David Pearce
1992	B	`ed.`	Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings JELIA David Pearce, Gerd Wagner
1992	—	`ed.`	Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings Nonclassical Logics and Information Processing David Pearce, Heinrich Wansing
1990	—	`conf`	Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Nonclassical Logics and Information Processing David Pearce
1989	—	`conf`	Logic Programming with Strong Negation. ELP David Pearce, Gerd Wagner
1989	—	`conf`	Propositional logic based on the dynamics of disbelief. The Logic of Theory Change David Pearce, Wolfgang Rautenberg
1988	J	`jnl`	On the methodology of possible worlds semantics. I. Correspondence theory. Notre Dame J. Formal Log. David Pearce, Heinrich Wansing
1984	J	`jnl`	A logical study of the correspondence relation. J. Philos. Log. David Pearce, Veikko Rantala