A logic of knowledge and justified assumption
From MaRDI portal
Publication:1199920
DOI10.1016/0004-3702(92)90019-TzbMath0763.68060OpenAlexW2008106366MaRDI QIDQ1199920
Publication date: 17 January 1993
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(92)90019-t
Related Items (16)
Witnesses for Answer Sets of Logic Programs ⋮ Minimal belief and negation as failure ⋮ From Turner’s Logic of Universal Causation to the Logic of GK ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ An epistemic operator for description logics ⋮ A progression semantics for first-order logic programs ⋮ Embedding circumscriptive theories in general disjunctive programs ⋮ Relating only knowing to minimal belief and negation as failure ⋮ Stable models and circumscription ⋮ From answer set logic programming to circumscription via logic of GK ⋮ General default logic ⋮ Autoepistemic answer set programming ⋮ Default logic generalized and simplified ⋮ The complexity of predicate default logic over a countable domain ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming ⋮ Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
Cites Work
- Negation by default and unstratifiable logic programs
- Semantical considerations on nonmonotonic logic
- On the relation between default and autoepistemic logic
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Modal logic for default reasoning
- On the declarative and procedural semantics of logic programs
- All I know: A study in autoepistemic logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A logic of knowledge and justified assumption
