Pages that link to "Item:Q1311407"
From MaRDI portal
The following pages link to Autoepistemic circumscription and logic programming (Q1311407):
Displayed 5 items.
- Logic program semantics and circumscription of autoepistemic theories (Q1327306) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)