General default logic
From MaRDI portal
Publication:987485
Recommendations
Cites Work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 67490 (Why is no real title available?)
- scientific article; zbMATH DE number 1301756 (Why is no real title available?)
- scientific article; zbMATH DE number 549992 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 2085248 (Why is no real title available?)
- scientific article; zbMATH DE number 1884383 (Why is no real title available?)
- A guide to completeness and complexity for modal logics of knowledge and belief
- A logic for default reasoning
- A logic of knowledge and justified assumption
- An epistemic operator for description logics
- Autoepistemic logic
- Complexity Results for Nonmonotonic Logics
- General Default Logic
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic programming and reasoning with incomplete information
- NP trees and Carnap's modal logic
- Negation by default and unstratifiable logic programs
- Nested expressions in logic programs
- On the relation between default and autoepistemic logic
- Strongly equivalent logic programs
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
Cited In (8)
- General Default Logic
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Default logic generalized and simplified
- Defaults as Generalized Quantifiers
- Default logic about assertions
- Title not available (Why is no real title available?)
This page was built for publication: General default logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987485)