scientific article; zbMATH DE number 140378
From MaRDI portal
Publication:4028783
Recommendations
- Some results on default logic
- scientific article; zbMATH DE number 194964
- Default logic generalized and simplified
- Alternative approaches to default logic
- scientific article; zbMATH DE number 2064305
- A new research into default logic
- Another perspective on default reasoning
- scientific article; zbMATH DE number 97791
- A logical framework for default reasoning
- Default logic and it's variants: A semantical view
Cited in
(58)- Default logic generalized and simplified
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Reasoning by cases in Default Logic
- Characterizations and algorithms of extensions for CADL and QDL
- Is default logic a reinvention of inductive-statistical reasoning?
- On cumulative default logics
- Some results on default logic
- Alternative approaches to default logic
- Default logic about assertions
- Tableau-based characterization and theorem proving for default logic
- Alternative foundations for Reiter's default logic
- Yet some more complexity results for default logic
- Statics and dynamics of induced systems
- Computing with default logic
- Rebuilding MP on a logical ground
- Defaults as restrictions on classical Hilbert-style proofs
- Default reasoning by deductive planning
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Modular specifications with supernormal defaults
- New proofs in default logic theory
- Another perspective on default reasoning
- Default reasoning using classical logic
- A new research into default logic
- scientific article; zbMATH DE number 1696879 (Why is no real title available?)
- Strong Backdoors for Default Logic
- From C-believed propositions to the causal calculator
- scientific article; zbMATH DE number 440108 (Why is no real title available?)
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- Provided you're not trivial: adding defaults and paraconsistency to a formal model of explanation
- Default rules in the logic of first-degree entailments
- Rule Calculus: Semantics, Axioms and Applications
- A Fault-Tolerant Default Logic
- scientific article; zbMATH DE number 4033708 (Why is no real title available?)
- scientific article; zbMATH DE number 97791 (Why is no real title available?)
- scientific article; zbMATH DE number 140388 (Why is no real title available?)
- scientific article; zbMATH DE number 1269576 (Why is no real title available?)
- Domain Theory Meets Default Logic
- The dynamics of default reasoning
- scientific article; zbMATH DE number 1051025 (Why is no real title available?)
- scientific article; zbMATH DE number 2064305 (Why is no real title available?)
- scientific article; zbMATH DE number 1748572 (Why is no real title available?)
- A comparative survey of default logic variants
- \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description
- Uncontroversial Default Logic
- On the dynamics of default reasoning
- scientific article; zbMATH DE number 770147 (Why is no real title available?)
- Defaults as Generalized Quantifiers
- scientific article; zbMATH DE number 823628 (Why is no real title available?)
- scientific article; zbMATH DE number 1390355 (Why is no real title available?)
- scientific article; zbMATH DE number 1390359 (Why is no real title available?)
- Where fail-safe default logics fail
- A proof method for closed normal default theories
- General Default Logic
- On the relation between Reiter's default logic and its (major) variants
- On prediction in Theorist
- Hypersequent calculi for propositional default logics
- Conditional entailment: bridging two approaches to default reasoning.
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)
