| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Pearce, Agustín Valverde |
Synonymous theories and knowledge representations in answer set programming.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, David Pearce, Agustín Valverde |
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Levan Uridia |
An Approach to Minimal Belief via Objective Belief. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Foundations and Extensions of Answer Set Programming: The Logical Approach. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde |
A semantical framework for hybrid knowledge bases. |
Knowl. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, David Pearce, Agustín Valverde |
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink, David Pearce |
A Logical Semantics for Description Logic Programs. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Levan Uridia |
Minimal Knowledge and Belief via Minimal Topology. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Hans Tompits, Stefan Woltran |
Characterising equilibrium logic and nested logic programs: Reductions and complexity |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Hans Tompits, Stefan Woltran |
Characterising equilibrium logic and nested logic programs: Reductions and complexity, . |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
Well-Founded and Partial Stable Semantics Logical Aspects. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics |
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
A Revised Concept of Safety for General Answer Set Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Sixty Years of Stable Models. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Quantified Equilibrium Logic and Foundations for Answer Set Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Jouni Korhonen, SooHong Park, David Pearce |
TCP Quick-Adjust by Utilizing Explicit Link Characteristic Information. |
AINA Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
Partial equilibrium logic. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55 |
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
Minimal Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
minimisation of boolean and multivalued functions, logic programming, answer set programming |
| 1 | Axel Polleres, David Pearce, 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 |
ALPSWS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde |
Quantified Equilibrium Logic and Hybrid Rules. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran (eds.) |
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007 |
CENT |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Hans Tompits, Stefan Woltran |
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. |
CENT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, David Pearce, Agustín Valverde |
A Characterization of Strong Equivalence for Logic Programs with Variables. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Interpretability and Equivalence in Quantified Equilibrium Logic. |
CENT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Equilibrium logic. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55 |
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
On the Logic and Computation of Partial Equilibrium Models. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
Logical Foundations of Well-Founded Semantics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
A First Order Nonmonotonic Extension of Constructive Logic. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation |
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Some Methodological Issues for Intelligent Information Systems. |
CAiSE Workshops |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ji Zhang, David Pearce |
Proactive care-of address test for route optimization in FMIPv6. |
WMASH |
2005 |
DBLP DOI BibTeX RDF |
care-of address, return routability test, handover, mobile IPv6, route optimization |
| 1 | Sergei P. Odintsov, David Pearce |
Routley Semantics for Answer Sets. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Jonathan Engelsma, James C. Ferrans, John Johnson |
An architecture for seamless access to distributed multimodal services. |
INTERSPEECH |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Synonymus Theories in Answer Set Programming and Equilibrium Logic. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Simplifying Logic Programs Under Answer Set Semantics. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Uniform Equivalence for Equilibrium Logic and Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Macho, Laurent Mauuary, Bernhard Noé, Yan Ming Cheng, Douglas Ealey, Denis Jouvet, Holly Kelleher, David Pearce, Fabien Saadoun |
Evaluation of a noise-robust DSR front-end on Aurora databases. |
INTERSPEECH |
2002 |
DBLP BibTeX RDF |
|
| 1 | Holly Kelleher, David Pearce, Douglas Ealey, Laurent Mauuary |
Speech recognition performance comparison between DSR and AMR transcoded speech. |
INTERSPEECH |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, David Pearce, Agustín Valverde |
Strongly equivalent logic programs. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
logic programming, stable models, answer sets |
| 1 | David Pearce, Hans Tompits, Stefan Woltran |
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Abduction in equilibrium logic. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Douglas Ealey, Holly Kelleher, David Pearce |
Harmonic tunnelling: tracking non-stationary noises during speech. |
INTERSPEECH |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yan Ming Cheng, Dusan Macho, Yuanjun Wei, Douglas Ealey, Holly Kelleher, David Pearce, William Kushner, Tenkasi Ramabadran |
A robust front-end algorithm for distributed speech recognition. |
INTERSPEECH |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Inman P. de Guzmán, Agustín Valverde |
A Tableau Calculus for Equilibrium Entailment. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Hans-Gnter Hirsch |
The aurora experimental framework for the performance evaluation of speech recognition systems under noisy conditions. |
INTERSPEECH |
2000 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Inman P. de Guzmán, Agustín Valverde |
Computing Equilibrium Models Using Signed Formulas. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Stable Inference as Intuitionistic Validity. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Martinez, David D. Moore, Evan Keller, David Pearce, John P. Vanden Heuvel, Vincent Robinson, Bruce Gottlieb, Paul N. MacDonald, S. Stoney Simons Jr., Eddie Sanchez, Mark Danielsen |
The Nuclear Receptor Resource: a growing family. |
Nucleic Acids Research |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Martinez, David D. Moore, Evan Keller, David Pearce, Vincent Robinson, Paul N. MacDonald, S. Stoney Simons Jr., Eddie Sanchez, Mark Danielsen |
The Nuclear Receptor Resource Project. |
Nucleic Acids Research |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Answer Sets and Constructive Logic. Part 1: Monotonic Databases. |
Logic, Action, and Information |
1996 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
A New Logical Characterisation of Stable Models and Answer Sets. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Nonmonotonicity and Answer Set Inference. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig MacNish, David Pearce, Luís Moniz Pereira (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings |
JELIA |
1994 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. |
WLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Answer Sets and Nonmonotonic S4. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Default Logic and Constructive Logic. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Gerd Wagner (eds.) |
Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings |
JELIA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Herre, David Pearce |
Disjunctive Logic Programming, Constructivity and Strong Negation. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Heinrich Wansing (eds.) |
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings |
Nonclassical Logics and Information Processing |
1992 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
A Model Based Approach to Validation. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | David Pearce |
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. |
Nonclassical Logics and Information Processing |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, E. Grant |
A qualitative modelling environment for design & diagnosis of automation. |
IEA/AIE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Gerd Wagner |
Logic Programming with Strong Negation. |
ELP |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Wolfgang Rautenberg |
Propositional logic based on the dynamics of disbelief. |
The Logic of Theory Change |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")