Pages that link to "Item:Q3647255"
From MaRDI portal
The following pages link to Some (in)translatability results for normal logic programs and propositional theories (Q3647255):
Displayed 5 items.
- On the relation among answer set solvers (Q1028643) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)