Pages that link to "Item:Q1199920"
From MaRDI portal
The following pages link to A logic of knowledge and justified assumption (Q1199920):
Displaying 27 items.
- Stable models and circumscription (Q543596) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- General default logic (Q987485) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- Minimal belief and negation as failure (Q1342215) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- The complexity of predicate default logic over a countable domain (Q1861328) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- From Turner’s Logic of Universal Causation to the Logic of GK (Q2900533) (← links)
- Essays on a Priori Knowledge and Justification (Q2951887) (← links)
- (Q3086723) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- (Q4249880) (← links)
- Relating only knowing to minimal belief and negation as failure (Q4317909) (← links)
- DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions (Q4444964) (← links)
- (Q4544185) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- (Q5436700) (← links)
- (Q5599787) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Logics for knowability (Q6484823) (← links)
- A new logical characterisation of stable models and answer sets (Q6623793) (← links)
