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 5 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← 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)
