The DLVK System for Planning with Incomplete Knowledge

The DLVK System for Planning with Incomplete Knowledge

This thesis presents the Planning System DLVK, which supports the novel Planning Language K. The language allows to represent AI planning problems in a declarative way and is capable of representing incomplete knowledge as well as nondeterministic effects of actions.After explaining some basics, the...

Full description

Bibliographic Details
Main Author: Polleres, Axel
Other Authors: Knowledge Based Systems Group - E184/3, Institute of Information Systems, Computer Science Department
Format: Others
Language:en
Published: Technische Universität Wien 2016
Subjects:
answer set programming
planning
conformant planning
logic programming
artificial intelligence
QA75
Online Access:http://hdl.handle.net/10919/71546
http://www.polleres.net/publications/poll-2001-masterthesis.pdf

Internet

http://hdl.handle.net/10919/71546
http://www.polleres.net/publications/poll-2001-masterthesis.pdf

Similar Items