Poole, D. 1988. A logical framework for default reasoning. Artificial Intelligence 36:27--47. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Representing Meta-Knowledge in Poole-Systems - Gerhard Brewka Institut (2001) Self-citation (Poole) (Correct)
....do this by using a two place relation symbol with standard meaning in the language. Finally, we need a method for defining the nonmonotonic conclusions of a given set of premises which takes the preference information into account adequately. The formalism we use in this paper are Poole systems [13]. The reason is that these systems are very simple, yet powerful, especially when they are equipped with our techniques. The outline of the paper is as follows. In Sect. 0.2 we introduce our proposed generalization of Poole systems. It turns out that with our metareasoning techniques some default ....
....a new definition of consequence based on the least fixed point of a monotone operator. Sect. 0.4 applies our formalism to several problems in commonsense reasoning. Sect. 0.5 discusses related work and concludes. 0. 2 Extending Poole systems Our formalism extends the well known Poole systems [13]. A Poole system (F; D) is a pair consisting of 1. a consistent set of (first order) formulas F , the facts, and 2. a possibly inconsistent set of formulas D, the defaults. A set of formulas E is an extension of a Poole system (F; D) iff E = Th(F [ D ) where D is a maximal F consistent ....
Poole, D., A Logical Framework for Default Reasoning, Artificial Intelligence 36, 1988
Two Paradigms of Nonmonotonic Reasoning - Alexander Bochman Computer (Correct)
No context found.
Poole, D. 1988. A logical framework for default reasoning. Artificial Intelligence 36:27--47.
The Dynamics of Default Reasoning - Van Linder Van (1995) (Correct)
No context found.
D. Poole. A logical framework for default reasoning. Arti cial Intelligence, 36:27-47, 1988.
Making Argument Systems Computationally Attractive -.. - Garcia, Chesnevar.. (1993) (Correct)
No context found.
Poole,D.L., 1988, A logical framework for default reasoning, in Articial Intelligence 36, pp. 27-47.
Abduction with Hypotheses Confirmation - Alberti, Gavanelli, Lamma, Mello, .. (2004) (Correct)
No context found.
Poole, D.L.: A logical framework for default reasoning. Artificial Intelligence 36 (1988) 27--47
Modeling Interactions Using Social Integrity.. - Alberti.. (2004) (Correct)
No context found.
D. L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27--47, 1988.
Abduction with Hypotheses Confirmation - Alberti, Gavanelli, Lamma, Mello, .. (2004) (Correct)
No context found.
Poole, D.L.: A logical framework for default reasoning. Artificial Intelligence 36 (1988) 27--47
On Computing Belief Change Operations Using Quantified.. - Delgrande, Schaub, al. (Correct)
No context found.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27--48, 1988.
A Consistency-Based Approach for Belief Change - James Delgrande School (2003) (Correct)
No context found.
D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27--48, 1988.
How to Reason Credulously and Skeptically within a Single.. - Delgrande, Schaub (Correct)
No context found.
POOLE D., "A Logical Framework for Default Reasoning", Artificial Intelligence, vol. 36, 1988, p. 27-47.
Open Default Theories over Closed - Domains Michael Kaminski (Correct)
No context found.
D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988), 27--47.
A Compilation of Brewka and Eiter's Approach to.. - Delgrande, Schaub, Tompits (2000) (1 citation) (Correct)
No context found.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27--47, 1988.
Enhancing Model Checking in Verification by AI Techniques - Buccafurri, Eiter.. (1999) (2 citations) (Correct)
No context found.
Poole D., A Logical Framework for Default Reasoning, Artificial Intelligence, 36:27--47, 1988.
Reasoning with Sets of Defaults in Default Logic - Delgrande, Schaub (2004) (Correct)
No context found.
D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27--48, 1988.
Preference Programming for Configuration - Junker (2001) (13 citations) (Correct)
No context found.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27--47, 1988.
Expressing Preferences in Default Logic - Delgrande, Schaub (2002) (4 citations) (Correct)
No context found.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27--47, 1988.
A Consistency-Based Approach for Belief Change - Delgrande, Schaub (2003) (Correct)
No context found.
D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27--48, 1988.
Open Default Theories over Closed Domains - Kaminski (1999) (Correct)
No context found.
D. Poole, A logical framework for default reasoning, Arti cial Intelligence 36 (1988), 27-47.
The Implementation of a First-Order Logic AGM Belief Revision.. - Simon Dixon And (1993) (6 citations) (Correct)
No context found.
Poole, D. (1988) A Logical Framework for Default Reasoning, Artificial Intelligence, 36, pp. 27-47.
How to Reason Credulously and Skeptically within a Single.. - Delgrande, Schaub (Correct)
No context found.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27--47, 1988.
Ramification Analysis With Structured News Reports Using Temporal .. - Hunter (2001) (Correct)
No context found.
D Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27--47, 1988.
Argumentation-Theoretic Proof Procedures for Default Reasoning - Dung, Kowalski, Toni (2003) (1 citation) (Correct)
No context found.
D. Poole, A logical framework for default reasoning. Artificial Intelligence 36 (1988)
Hybrid Argumentation Systems for Structured News Reports - Hunter (2001) (2 citations) (Correct)
No context found.
D Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27--47, 1988.
On the Computational Complexity of Assumption-based.. - Dimopoulos, Nebel (2002) (Correct)
No context found.
David Poole. A logical framework for default reasoning. Arti cial Intelligence, 36:27-47, 1988.
What Is A Skeptical Proof? - Michael Thielscher Fg (Correct)
No context found.
D. Poole. A Logical Framework for Default Reasoning. Artif. Intell., 36(1):27--47, 1988.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC