R. Reiter, `A logic for default reasoning', Artificial Intelligence 13, 1980, pp. 81-132 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - (Correct)
No context found.
R. Reiter, `A logic for default reasoning', Artificial Intelligence 13, 1980, pp. 81-132
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
No context found.
Reiter, R., 1979. A logic for default reasoning, Department of Computer Science, University of British Columbia, TR-79-8.
Specification of Nonmonotonic Reasoning - Joeri Engelfriet And (Correct)
No context found.
Reiter, R.: A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81-132
Artificial Intelligence and Rational Self-Government - Doyle (1988) (14 citations) (Correct)
No context found.
Reiter, R., 1980. A logic for default reasoning, Artifical Intelligence 13, 81-132. Rescher, N., 1964. Hypothetical Reasoning, Amsterdam: North Holland.
Logics for Authorizations and Security - Piero Bonatti And (2003) (1 citation) (Correct)
No context found.
68 R. Reiter. A logic for default reasoning. Arti cial Intelligence, 13:81-132, (1980).
Flexible Support for Multiple Access Control Policies - Sushil Jajodia George (2001) (20 citations) (Correct)
No context found.
Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13, 81--132.
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
No context found.
Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13, 81--132.
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
No context found.
REITER, R. 1980. A logic for default reasoning. Artificial Intelligence 13, 81--132.
Default Reasoning in a Terminological Logic - Sebastiani, Straccia (1995) (Correct)
No context found.
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980. [a] Appears also in [7], pp. 68--93.
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (2 citations) (Correct)
No context found.
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-- 132, 1980.
Towards A Formalization Of Disease-Specific.. - Gupta, Ludäscher.. (2003) (Correct)
No context found.
Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13(1/ 2), 81 -- 132.
Argument-Based Critics and Recommenders: A Qualitative .. - Chesnevar, Maguitman, .. (2005) (Correct)
No context found.
R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13(1,2):81-- 132, Apr. 1980. 39
Two Paradigms of Nonmonotonic Reasoning - Alexander Bochman Computer (Correct)
No context found.
Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13:81--132.
Modeling Default Induction With Conceptual Structures - Velcin, Ganascia (2004) (Correct)
No context found.
Reiter, R.: A logic for default reasoning. In: Artificial Intelligence, number 13 (1980) 81--132.
Splitting an Operator: Algebraic modularity results for .. - Vennekens, Gilis.. (2005) (2 citations) (Correct)
No context found.
Reiter, R. 1980. A logic for default reasoning. Arti cial Intelligence 13, 1-2, 81-132.
Clustering of Conceptual Graphs With Sparse Data - Ganascia, Velcin (2004) (Correct)
No context found.
Reiter, R.: A logic for default reasoning. In: Artificial Intelligence, number 13 (1980) 81--132.
Only Knowing with Degrees of Confidence - Waaler, Klüwer, Langholm, al. (2005) (Correct)
No context found.
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13 (1980) 81--132 42/43
Towards a Systematic Account of Different Semantics for Logic.. - Hitzler (2003) (Correct)
No context found.
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Crosscutting Techniques in Program Specification and Analysis - Lam, Kuncak, Rinard (2005) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, pages 81--132, 1980.
Only-Knowing: Taking It beyond Autoepistemic Reasoning - Lakemeyer, Levesque (2005) (Correct)
No context found.
R. Reiter, A logic for default reasoning. Artificial Intelligence 13(1--2), 81--132, 1980.
The Dynamics of Default Reasoning - Van Linder Van (1995) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Arti cial Intelligence, 13:81-132, 1980.
An Overview of Abduction as a General Framework for.. - Menzies (1995) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Towards A Formalization Of Disease-Specific.. - Gupta, Ludäscher.. (2003) (Correct)
No context found.
Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13(1/ 2), 81 -- 132.
Temporalizing Epistemic Default Logic - Wiebe Van Der (Correct)
No context found.
R. Reiter, A Logic for Default Reasoning, A.I. 13 (1980), p. 81-132.
Making Argument Systems Computationally Attractive -.. - Garcia, Chesnevar.. (1993) (Correct)
No context found.
Reiter,R., 1980, A logic for default reasoning, in Articial Intelligence, 13: 81-132.
Explanations, Belief Revision and Defeasible Reasoning - Falappa, Kern-Isberner.. (2002) (Correct)
No context found.
Raymond Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13:81--132, 1980.
Dialogue Games for Inconsistent and Biased Information - Lebbink, Witteman, Meyer (2004) (Correct)
No context found.
R. Reiter, A logic for default reasoning, Artificial Intelligence 13(1--2) (1980), pp. :81--132.
Default Reasoning Using Classical Logic - Ben-Eliyahu, Dechter (1995) (3 citations) (Correct)
No context found.
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Information Retrieval and Situation Theory - Huibers, Lalmas, van Rijsbergen (1996) (8 citations) (Correct)
No context found.
Reiter, R. A logic for default reasoning. Artificial Intelligence 13, 1 (1980), 81--132.
On the Impact of Stratification on the Complexity of.. - Niemelä, Rintanen (Correct)
No context found.
Reiter R., A logic for default reasoning, Articial Intelligence, 13:81132, 1980.
An Approach to the Intelligent Decision Advisor.. - Gadomski.. (1999) (Correct)
No context found.
R. Reiter "A Logic for Default Reasoning", Artificial Intelligence, Vol. 13 pg. 81-132, 1980.
Towards intelligent decision support systems for.. - Gadomski, Bologna.. (2001) (Correct)
No context found.
Reiter, R. (1980) `A logic for default reasoning', Artificial Intelligence, Vol. 13, pp.81--132.
Algebraic Semantics for Knowledge-based Logic Programs - Bamshad Mobasher Univ (1994) (Correct)
No context found.
R. Reiter, A Logic for Default Reasoning, Artificial Intelligence 13 (1980), pp. 81-132.
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
No context found.
Raymond Reiter. A logic for default reasoning. Arti cial Intelligence, 13 (1-2):81-132, 1980.
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
No context found.
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13 (1--2):81--132, 1980.
New Insights on the Intuitionistic Interpretation of Default.. - Cabalar, Lorenzo (Correct)
No context found.
R. Reiter, `A logic for default reasoning', Artificial Intelligence, 13, 81--132, (1980).
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13 (1--2):81--132, 1980.
Lukaszewicz-style Answer Set Programming: A.. - Delgrande, Gharib.. (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Towards a Classification of Preference Handling.. - Delgrande, Schaub.. (2003) (Correct)
No context found.
Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13:81--132.
Logic Programming with Cardinality Constraints - Syrjänen (2003) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-- 132, 1980.
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Revising Data Cubes with Exceptions: A Rule-Based Perspective - Espil, Vaisman, Terribile (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Inteligence 13, 1980.
A Consistency-Based Approach for Belief Change - James Delgrande School (2003) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Intelligent Execution Monitoring in Dynamic Environments - Fichtner, Großmann.. (2003) (Correct)
No context found.
Reiter, R.: A logic for default reasoning, Artificial Intelligence, 13(1--2), 1980, 81--132.
New Insights on the Intuitionistic Interpretation of Default.. - Cabalar, Lorenzo (Correct)
No context found.
R. Reiter, `A logic for default reasoning', Artificial Intelligence, 13, 81--132, (1980).
A proof theoretical approach to default reasoning I.. - Amati, Aiello.. (1995) (5 citations) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence Journal, 13:81--132, 1980.
Studies in Logic, Language and Information - Managing Editor Robin (1996) (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
An Implementation of Statistical Default Logic - Wheeler, Damasio (2003) (Correct)
No context found.
Reiter, R. 1980. "A Logic for Default Reasoning," Artificial Intelligence, 13:81132.
Decisions, Deliberation, and Agent Types CDT - QDT - BDI.. - Dastani, van der Torre (Correct)
No context found.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81--132, 1980.
Epistemology and Artificial Intelligence - Gregory Wheeler And (Correct)
No context found.
Reiter, R. 1980. "A Logic for Default Reasoning", Artificial Intelligence, 13:81132.
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