scientific article

zbMATH Open0760.03008MaRDI QIDQ4028783FDOQ4028783

W. Ken Jackson, James Delgrande

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

default logicTheorist system

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (37)

• Title not available (Why is that?)
• On prediction in Theorist
• Statics and dynamics of induced systems
• Strong Backdoors for Default Logic
• Computing with default logic
• Title not available (Why is that?)
• The dynamics of default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• On cumulative default logics
• On the dynamics of default reasoning
• Defaults as restrictions on classical Hilbert-style proofs
• Alternative approaches to default logic
• Characterizations and algorithms of extensions for CADL and QDL
• Title not available (Why is that?)
• Reasoning by cases in Default Logic
• Is default logic a reinvention of inductive-statistical reasoning?
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Alternative foundations for Reiter's default logic
• Modular specifications with supernormal defaults
• An approach to default reasoning based on a first-order conditional logic: Revised report
• Uncontroversial Default Logic
• Default reasoning by deductive planning
• Title not available (Why is that?)
• Domain Theory Meets Default Logic
• A comparative survey of default logic variants
• Defaults as Generalized Quantifiers
• Default logic about assertions
• Title not available (Why is that?)
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Title not available (Why is that?)
• Tableau-based characterization and theorem proving for default logic
• Yet some more complexity results for default logic
• Rebuilding MP on a logical ground
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Some results on default logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Default logic generalized and simplified 👍 👎
• Alternative approaches to default logic 👍 👎
• Title not available (Why is that?) 👍 👎
• A new research into default logic 👍 👎
• Another perspective on default reasoning 👍 👎
• Title not available (Why is that?) 👍 👎
• A logical framework for default reasoning 👍 👎
• Default logic and it's variants: A semantical view 👍 👎

This page was built for publication:

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