Planning as Satisfiability | BibSonomy

Planning as Satisfiability
, und .
Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92), Seite 359--363. (1992)

We develop a formal model of planning based on satisfiability rather than deduction. The satisfiability approach not only provides a more flexible framework for stating different kinds of constraints on plans, but also more accurately reflects the theory behind modern constraint-based planning systems. Finally, we consider the computational characteristics of the resulting formulas, by solving them with two very different satisfiability testing procedures. 1 Introduction Planning has...
  • @zeno
  • @baisemain
  • @dblp
Diese Publikation wurde noch nicht bewertet.

Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen
    Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.