Concepedia
Statistics
Publications
34
Citations
1.4K
H-Index
17
Active since
1970
Affiliations
Universidad de Málaga(Current)
Freie Universität Berlin
Universidad Politécnica de Madrid
Research Council of Finland
Universidad Rey Juan Carlos
David Pearce is an author at Universidad de Málaga specializing in automated reasoning, engineering, and semantics.
Top concepts
Automated ReasoningEngineeringSemanticsFormal MethodsLanguageLinguisticsLogic ProgrammingComputer ScienceFormal SemanticsAnswer Set Programming
Publications per year
1970–2018
Strongly equivalent logic programs
Vladimir Lifschitz, David Pearce, Agustín Valverde · ACM Transactions on Computational Logic · 2001 · 525 citations
Applied Logic, Computational Logic, Equivalent Logic Programs +13
Equilibrium logic
David Pearce · Annals of Mathematics and Artificial Intelligence · 2006 · 167 citations
Stable inference as intuitionistic validity
David Pearce · The Journal of Logic Programming · 1999 · 87 citations
Intuitionistic Logic, Cognitive Science, Automated Reasoning +5
A mathematical characterization of interpretation between theories
Johan van Benthem, David Pearce · Studia Logica · 1984 · 39 citations
Automated Reasoning, Constructive Logic, Model Theory +5
A First Order Nonmonotonic Extension of Constructive Logic
David Pearce, Agustín Valverde · Studia Logica · 2005 · 38 citations
Non-classical Logic, Engineering, Automated Reasoning +3
1–5 of 34