Skip navigation
Skip navigation

Asymptotically optimal encodings of conformant planning on QBF

Rintanen, Jussi


The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are deterministic, planning can be represented in the classical prepositional logic. Introducing nondeterminism (but not probabilities) or several initial states increases the complexity of the planning problem and requires the use of quantified Boolean formulae (QBF). The currently leading logic-based approaches to conditional...[Show more]

CollectionsANU Research Publications
Date published: 2007
Type: Conference paper
Source: Proceedings of the 22nd AAAI Conference on Artificial Intelligence


File Description SizeFormat Image
01_Rintanen_Asymptotically_optimal_2007.pdf528.13 kBAdobe PDF    Request a copy
02_Rintanen_Asymptotically_optimal_2007.pdf46.98 kBAdobe PDF    Request a copy
03_Rintanen_Asymptotically_optimal_2007.pdf295.35 kBAdobe PDF    Request a copy
04_Rintanen_Asymptotically_optimal_2007.pdf50.99 kBAdobe PDF    Request a copy
05_Rintanen_Asymptotically_optimal_2007.pdf428.33 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator