Pages that link to "Item:Q2407875"
From MaRDI portal
The following pages link to Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875):
Displaying 19 items.
- Some remarks on equivalence in infinitary and stationary logic (Q759747) (← links)
- Strong order equivalence (Q854968) (← links)
- Strong equivalence of logic programs under the infinite-valued semantics (Q987828) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← 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)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- (Q4554399) (← links)
- (Q4820591) (← 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)
- (Q5413342) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424881) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
- Here and There with Arithmetic (Q6063863) (← links)
- On Heuer's procedure for verifying strong equivalence (Q6545537) (← links)
