Pages that link to "Item:Q1028652"
From MaRDI portal
The following pages link to Hyperequivalence of logic programs with respect to supported models (Q1028652):
Displaying 6 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
