Pages that link to "Item:Q2883093"
From MaRDI portal
The following pages link to Circumscription and projection as primitives of logic programming (Q2883093):
Displaying 5 items.
- Projection and scope-determined circumscription (Q429594) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Logic program semantics and circumscription of autoepistemic theories (Q1327306) (← links)
- On compact representations of propositional circumscription (Q1391128) (← links)
- Logics in Artificial Intelligence (Q5394120) (← links)