Pages that link to "Item:Q2321342"
From MaRDI portal
The following pages link to Forgetting auxiliary atoms in forks (Q2321342):
Displayed 9 items.
- Autoepistemic answer set programming (Q2046018) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- A polynomial reduction of forks into logic programs (Q2144173) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Syntactic ASP forgetting with forks (Q2694542) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- Syntactic ASP forgetting with forks (Q6152659) (← links)
- Answer set programming made easy (Q6175107) (← links)