Seguir
David Pearce
Título
Citado por
Citado por
Ano
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
6422001
A new logical characterisation of stable models and answer sets
D Pearce
Non-Monotonic Extensions of Logic Programming, 57-70, 1997
3361997
Equilibrium logic
D Pearce
Annals of Mathematics and Artificial Intelligence 47 (1-2), 3-41, 2006
1932006
Stable inference as intuitionistic validity
D Pearce
The Journal of Logic Programming 38 (1), 79-91, 1999
1231999
Encodings for equilibrium logic and logic programs with nested expressions
D Pearce, H Tompits, S Woltran
Progress in Artificial Intelligence, 306-320, 2001
1072001
Roads to commensurability
D Pearce
Springer Science & Business Media, 2012
1062012
Reasoning with negative information I: Strong negation in logic programs
D Pearce, G Wagner
Language, Knowledge and Intentionality 49, 430-453, 1990
1011990
Reduction in science: Structure, examples, philosophical problems
W Balzer, D Pearce, HJ Schmidt
Springer Science & Business Media, 2012
932012
Reduction in science
W Balzer, DA Pearce, HJ Schmidt
Reidel, Dordrecht, 1984
93*1984
Logic programming with strong negation
D Pearce, G Wagner
Extensions of Logic Programming, 311-326, 1991
851991
A characterization of strong equivalence for logic programs with variables
V Lifschitz, D Pearce, A Valverde
Logic Programming and Nonmonotonic Reasoning, 188-200, 2007
772007
From here to there: Stable negation in logic programming
D Pearce
What is Negation?, 161-181, 1999
691999
Quantified equilibrium logic and foundations for answer set programs
D Pearce, A Valverde
Logic Programming, 546-560, 2008
582008
Towards a first order equilibrium logic for nonmonotonic reasoning
D Pearce, A Valverde
Logics in Artificial Intelligence, 147-160, 2004
582004
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report
D Pearce, V Sarsakov, T Schaub, H Tompits, S Woltran
Logic Programming, 405-420, 2002
512002
Quantified equilibrium logic and hybrid rules
J De Bruijn, D Pearce, A Polleres, A Valverde
Web Reasoning and Rule Systems, 58-72, 2007
502007
Minimal logic programs (extended report)
P Cabalar, D Pearce, A Valverde
Technical report, 2007
49*2007
Minimal logic programs
P Cabalar, D Pearce, A Valverde
Logic Programming, 104-118, 2007
492007
Reasoning with negative information, II: Hard negation, strong negation and logic programs
D Pearce
Nonclassical logics and information processing, 63-79, 1992
491992
A tableau calculus for equilibrium entailment
D Pearce, IP de Guzmán, A Valverde
Automated Reasoning with Analytic Tableaux and Related Methods, 352-367, 2000
482000
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20