The following pages link to (Q4012230):
Displayed 12 items.
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- General default logic (Q987485) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- A logic of knowledge and justified assumption (Q1199920) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- Minimal belief and negation as failure (Q1342215) (← links)
- In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)