scientific article; zbMATH DE number 1931653
From MaRDI portal
Publication:4708911
zbMath1013.68094MaRDI QIDQ4708911
Publication date: 20 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240111.htm
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 (10)
Thirty years of Epistemic Specifications ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Conformant planning via heuristic forward search: A new approach ⋮ Undoing the effects of action sequences ⋮ Conformant plans and beyond: principles and complexity ⋮ Approximation of action theories and its application to conformant planning ⋮ A self-adaptive multi-engine solver for quantified Boolean formulas ⋮ Reactive Policies with Planning for Action Languages ⋮ Planning with Incomplete Information in Quantified Answer Set Programming ⋮ Enhancing disjunctive logic programming systems by SAT checkers
This page was built for publication:
