Pages that link to "Item:Q1342215"
From MaRDI portal
The following pages link to Minimal belief and negation as failure (Q1342215):
Displaying 28 items.
- Logic programming as classical inference (Q898781) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Set based logic programming (Q1029592) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- On the decidability and complexity of reasoning about only knowing (Q1978243) (← 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)
- On Abel's concept of doubt and pessimism (Q2654420) (← links)
- Belnap's epistemic states and negation-as-failure (Q2751058) (← links)
- The Truth about Defaults (Q2900537) (← links)
- Linking Open-World Knowledge Bases Using Nonmonotonic Rules (Q3449214) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Relating only knowing to minimal belief and negation as failure (Q4317909) (← links)
- Embedding prioritized circumscription in disjunctive logic programs (Q4421251) (← links)
- A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
- Belief, provability, and logic programs (Q4835514) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- On logics and semantics for general logic programs (Q6623792) (← links)
- A new logical characterisation of stable models and answer sets (Q6623793) (← links)
