scientific article; zbMATH DE number 4200176
From MaRDI portal
Publication:3348894
zbMATH Open0727.03017MaRDI QIDQ3348894FDOQ3348894
Authors:
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
weak implicationdeduction theoremsdisjunctive informationdefault ionic logicdefault transformationextended default logicmonotonic reasoningnested defaultsnormal versus non-normal defaultsproof theory of default reasoning
Cited In (20)
- Title not available (Why is that?)
- A logical framework for default reasoning
- A methodology for using a default and abductive reasoning system
- The dynamics of default reasoning
- Title not available (Why is that?)
- An abstract, argumentation-theoretic approach to default reasoning
- KI 2004: Advances in Artificial Intelligence
- Restricted semantics for default reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Meta Level Reasoning and Default Reasoning
- A sequent calculus for skeptical Default Logic
- Sequent calculi for default and autoepistemic logics
- New tractable classes for default reasoning from conditional knowledge bases
- Reasoning with stratified default theories
- Title not available (Why is that?)
- Connections between default reasoning and partial constraint satisfaction
- The use of modal default reasoning in information systems
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q3348894)
