Pages that link to "Item:Q414849"
From MaRDI portal
The following pages link to Synonymous theories and knowledge representations in answer set programming (Q414849):
Displaying 7 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy (Q801898) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- Reducible Theories and Amalgamations of Models (Q5875951) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)