Pages that link to "Item:Q4669647"
From MaRDI portal
The following pages link to Applications of intuitionistic logic in Answer Set Programming (Q4669647):
Displayed 8 items.
- Answer set programming in intuitionistic logic (Q1688962) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- Modality Argumentation Programming (Q3619462) (← links)
- First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)