The following pages link to Potassco (Q19059):
Displaying 25 items.
- Solving distributed constraint optimization problems using logic programming (Q4593098) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- An Incremental Answer Set Programming Based System for Finite ModelComputation (Q4930763) (← links)
- Coala: A Compiler from Action Languages to ASP (Q4930780) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- (Q5020560) (← links)
- (Q5020583) (← links)
- (Q5020961) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- A General Framework for Stable Roommates Problems using Answer Set Programming (Q5140025) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- (Q5140734) (← links)
- Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving (Q5172605) (← links)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks (Q5172619) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Introducing Computer Science to High School Students Through Logic Programming (Q5197750) (← links)
- onlineSPARC: A Programming Environment for Answer Set Programming (Q5197754) (← links)
- The Impact of Treewidth on Grounding and Solving of Answer Set Programs (Q5208864) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- A note on the McKelvey uncovered set and Pareto optimality (Q5964644) (← links)
