id: 06059518
dt: a
an: 06059518
au: Gebser, Martin; Kaufmann, Roland; Schaub, Torsten
ti: Gearing up for effective ASP planning.
so: Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in
    honour of Vladimir Lifschitz. Berlin: Springer (ISBN
    978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 296-310
    (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-30743-0_20
ab: Summary: We elaborate upon incremental modeling techniques for ASP
    Planning, a term coined by Vladimir Lifschitz at the end of the
    nineties. Taking up this line of research, we argue that ASP needs both
    a dedicated modeling methodology and sophisticated solving technology
    in view of the high practical relevance of dynamic systems in
    real-world applications.
rv: