The following pages link to Autoepistemic logic programming (Q1344887):
Displaying 8 items.
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- Autoepistemic circumscription and logic programming (Q1311407) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Translating multi-agent autoepistemic logic into logic program (Q2844920) (← links)
- A first step towards autoepistemic logic programming (Q3988856) (← links)
- (Q4217934) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)