Pages that link to "Item:Q1688962"
From MaRDI portal
The following pages link to Answer set programming in intuitionistic logic (Q1688962):
Displaying 17 items.
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- Answer set programming with graded modality (Q2401935) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← 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)
- (Q3464628) (← links)
- First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
- Applications of intuitionistic logic in Answer Set Programming (Q4669647) (← links)
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- An Introduction to Answer Set Programming and Some of Its Extensions (Q6488098) (← links)