Reachability, relevance, resolution and the planning as satisfiability approach

Research output: Contribution to journalConference articlepeer-review

7 Scopus citations

Abstract

We investigate the ability of two central encoding methods to propagate reachability and relevance information using resolution steps. More specifically, we compare the ability of unit-propagation and higher-order resolution steps to propagate reachability and relevance information in the context of the linear and GRAPHPLAN encoding schemes to the ability of a natural class of reachability and relevance algorithms that operate at the plan level. As a result of our observations and additional considerations, we experiment with a preprocessing step based on limited binary resolution that shows nice results.

Original languageEnglish
Pages (from-to)976-981
Number of pages6
JournalIJCAI International Joint Conference on Artificial Intelligence
Volume2
StatePublished - 1 Dec 1999
Event16th International Joint Conference on Artificial Intelligence, IJCAI 1999 - Stockholm, Sweden
Duration: 31 Jul 19996 Aug 1999

Fingerprint

Dive into the research topics of 'Reachability, relevance, resolution and the planning as satisfiability approach'. Together they form a unique fingerprint.

Cite this