Alternative foundations for Reiter's default logic

DOI10.1016/S0004-3702(00)00060-6zbMATH Open0952.68135MaRDI QIDQ1589575FDOQ1589575

Authors: T. Linke, Torsten Schaub 

Publication date: 12 December 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1453066
• Alternative approaches to default logic
• scientific article; zbMATH DE number 6958
• scientific article; zbMATH DE number 140378
• A directly cautious theory of defeasible consequence for default logic via the notion of general extension

zbMATH Keywords

consistencyargumentationnonmonotonic reasoningblock graphknowledge representationautomated reasoningdefault logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• An abstract, argumentation-theoretic approach to default reasoning
• Solutions of irreflexive relations
• A Computing Procedure for Quantification Theory
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• Graph theoretical structures in logic programs and default theories
• A graph-theoretic approach to default logic
• Complexity Results for Nonmonotonic Logics
• Computing argumentation in logic programming
• The Pure Logic of Necessitation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Alternative approaches to default logic
• Tableau-based characterization and theorem proving for default logic
• A sequent calculus for skeptical Default Logic
• Sequent calculi for default and autoepistemic logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• Title not available (Why is that?)
• Is intractability of nonmonotonic reasoning a real drawback?
• Alternative foundations for Reiter's default logic
• Title not available (Why is that?)
• Formalizing nonmonotonic reasoning systems
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Analytic tableaux for default logics
• A tableaux-based theorem prover for a decidable subset of default logic
• Default theories that always have extensions
• Compiling specificity into approaches to nonmonotonic reasoning
• Title not available (Why is that?)
• Reasoning with stratified default theories
• A query answering algorithm for Lukaszewicz' general open default theory

Cited In (7)

• Consistency defaults
• A new default theories compilation for MSP-entailment
• Alternative approaches to default logic
• Alternative foundations for Reiter's default logic
• Seminormalizing a default theory
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Datalog

This page was built for publication: Alternative foundations for Reiter's default logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1589575)