Pages that link to "Item:Q1311407"
From MaRDI portal
The following pages link to Autoepistemic circumscription and logic programming (Q1311407):
Displaying 7 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 extension of logic programming with negation through uniform proofs (Q5101453) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)
