Pages that link to "Item:Q6488098"
From MaRDI portal
The following pages link to An Introduction to Answer Set Programming and Some of Its Extensions (Q6488098):
Displaying 21 items.
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- 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)
- Guest editorial: Special issue on answer set programming and other computing paradigms (Q2317963) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- On Cascade Products of Answer Set Programs (Q2931275) (← links)
- Logic programs with propositional connectives and aggregates (Q2946644) (← links)
- Answer Set Programming’s Contributions to Classical Logic (Q3001911) (← links)
- (Q3011302) (← links)
- (Q3464628) (← links)
- Applications of intuitionistic logic in Answer Set Programming (Q4669647) (← links)
- (Q4708959) (← links)
- An Incremental Answer Set Programming Based System for Finite ModelComputation (Q4930763) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- Answer Set Programming for Representing and Reasoning About Virtual Institutions (Q5301996) (← links)
- Logic Programming (Q5313212) (← links)
- TOAST: Applying Answer Set Programming to Superoptimisation (Q5449606) (← links)
- SMS and ASP: Hype or TST? (Q5504647) (← links)
