Pages that link to "Item:Q4452594"
From MaRDI portal
The following pages link to Characterization of strongly equivalent logic programs in intermediate logics (Q4452594):
Displaying 16 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Cut-free formulations for a quantified logic of here and there (Q638492) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Strongly equivalent logic programs (Q5738917) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
- On Heuer's procedure for verifying strong equivalence (Q6545537) (← links)
- Notes on my scientific life (Q6612807) (← links)
