The following pages link to (Q4246955):
Displaying 8 items.
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs (Q1926591) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Postulates for Revocation Schemes (Q3304817) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- A logic of nonmonotone inductive definitions (Q5277803) (← links)
