scientific article
From MaRDI portal
Publication:3011302
zbMath1215.68209MaRDI QIDQ3011302
Martin Gebser, Torsten Schaub, Orkunt Sabuncu
Publication date: 28 June 2011
Full work available at URL: http://iospress.metapress.com/content/n760773121567018/fulltext.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Stable Models for Temporal Theories ⋮ ASP Solving for Expanding Universes ⋮ Gearing Up for Effective ASP Planning ⋮ Temporal Equilibrium Logic with past operators ⋮ Modular action language ⋮ Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More ⋮ plasp 3: Towards Effective ASP Planning ⋮ A multi-shot ASP encoding for the aircraft routing and maintenance planning problem
Uses Software
This page was built for publication:
