Pages that link to "Item:Q2407875"
From MaRDI portal
The following pages link to Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875):
Displayed 8 items.
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Strong Equivalence of Logic Programs with Counting (Q5038462) (← links)
- Relating Two Dialects of Answer Set Programming (Q5108518) (← links)
- Verifying Tight Logic Programs with anthem and vampire (Q5140011) (← links)
- Here and There with Arithmetic (Q6063863) (← links)