The following pages link to (Q3011302):
Displaying 10 items.
- A multi-shot ASP encoding for the aircraft routing and maintenance planning problem (Q2055823) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- ASP Solving for Expanding Universes (Q3449219) (← links)
- (Q3549508) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- Modular action language (Q4593024) (← links)
- An Incremental Answer Set Programming Based System for Finite ModelComputation (Q4930763) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
