The following pages link to (Q2734934):
Displayed 6 items.
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
- Logic programs and connectionist networks (Q1884268) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)