Pages that link to "Item:Q1311407"
From MaRDI portal
The following pages link to Autoepistemic circumscription and logic programming (Q1311407):
Displaying 17 items.
- An epistemic model of logic programming (Q918192) (← links)
- A logic of knowledge and justified assumption (Q1199920) (← links)
- Logic program semantics and circumscription of autoepistemic theories (Q1327306) (← links)
- Autoepistemic logic programming (Q1344887) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Computation of the semantics of autoepistemic belief theories (Q1606318) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- A first step towards autoepistemic logic programming (Q3988856) (← links)
- Reasoning about ignorance: A note on the Bush-Gorbachev problem (Q3989940) (← links)
- (Q4217934) (← links)
- (Q4246971) (← 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)
- Logic programming (Q6602251) (← links)
- On logics and semantics for general logic programs (Q6623792) (← links)