The following pages link to (Q3464628):
Displaying 15 items.
- Answer set programming in intuitionistic logic (Q1688962) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- On Cascade Products of Answer Set Programs (Q2931275) (← links)
- Answer Set Programming’s Contributions to Classical Logic (Q3001911) (← links)
- (Q3007261) (← links)
- From (Quantified) Boolean Formulae to Answer Set Programming (Q3395260) (← links)
- (Q4433996) (← links)
- First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
- Applications of intuitionistic logic in Answer Set Programming (Q4669647) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- Logic Programming (Q5475778) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- An Introduction to Answer Set Programming and Some of Its Extensions (Q6488098) (← links)
