R. Reiter, `A logic for default reasoning', Artificial Intelligence 13, 1980, pp. 81-132 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Unknown - (Correct)
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
Specification of Nonmonotonic Reasoning - Joeri Engelfriet And (Correct)
Artificial Intelligence and Rational Self-Government - Doyle (1988) (14 citations) (Correct)
Logics for Authorizations and Security - Piero Bonatti And (2003) (1 citation) (Correct)
Flexible Support for Multiple Access Control Policies - Sushil Jajodia George (2001) (20 citations) (Correct)
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
Default Reasoning in a Terminological Logic - Sebastiani, Straccia (1995) (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (2 citations) (Correct)
Towards A Formalization Of Disease-Specific.. - Gupta, Ludäscher.. (2003) (Correct)
Argument-Based Critics and Recommenders: A Qualitative .. - Chesnevar, Maguitman, .. (2005) (Correct)
Two Paradigms of Nonmonotonic Reasoning - Alexander Bochman Computer (Correct)
Modeling Default Induction With Conceptual Structures - Velcin, Ganascia (2004) (Correct)
Splitting an Operator: Algebraic modularity results for .. - Vennekens, Gilis.. (2005) (2 citations) (Correct)
Clustering of Conceptual Graphs With Sparse Data - Ganascia, Velcin (2004) (Correct)
Only Knowing with Degrees of Confidence - Waaler, Klüwer, Langholm, al. (2005) (Correct)
Towards a Systematic Account of Different Semantics for Logic.. - Hitzler (2003) (Correct)
Crosscutting Techniques in Program Specification and Analysis - Lam, Kuncak, Rinard (2005) (Correct)
Only-Knowing: Taking It beyond Autoepistemic Reasoning - Lakemeyer, Levesque (2005) (Correct)
The Dynamics of Default Reasoning - Van Linder Van (1995) (Correct)
An Overview of Abduction as a General Framework for.. - Menzies (1995) (Correct)
Towards A Formalization Of Disease-Specific.. - Gupta, Ludäscher.. (2003) (Correct)
Temporalizing Epistemic Default Logic - Wiebe Van Der (Correct)
Making Argument Systems Computationally Attractive -.. - Garcia, Chesnevar.. (1993) (Correct)
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