Pages that link to "Item:Q2321342"
From MaRDI portal
The following pages link to Forgetting auxiliary atoms in forks (Q2321342):
Displaying 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)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
