Pages that link to "Item:Q1344888"
From MaRDI portal
The following pages link to Autoepistemic logic of first order and its expressive power (Q1344888):
Displaying 5 items.
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- (Q4032307) (← links)
- (Q4287518) (← links)
- On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
- Revisiting quantification in autoepistemic logic (Q5738965) (← links)