Pages that link to "Item:Q1853682"
From MaRDI portal
The following pages link to Uniform semantic treatment of default and autoepistemic logics (Q1853682):
Displayed 6 items.
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Approximation Schemes in Logic and Artificial Intelligence (Q5505446) (← links)