Sciweavers

211 search results - page 6 / 43
» Expressive Planning and Explicit Knowledge
Sort
View
AAAI
2000
13 years 8 months ago
A Logic for Planning under Partial Observability
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Andreas Herzig, Jérôme Lang, Dominiqu...
SIS
2007
13 years 8 months ago
An Ontology for the Expression of Intellectual Property Entities and Relations
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
Víctor Rodríguez-Doncel, Marc Gauvin...
AIPRF
2007
13 years 8 months ago
On the Role of Interactive Epistemology in Multiagent Planning
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
Prashant Doshi
AAAI
2012
11 years 9 months ago
Evaluating Temporal Plans in Incomplete Domains
Recent work on planning in incomplete domains focuses on constructing plans that succeed despite incomplete knowledge of action preconditions and effects. As planning models becom...
Daniel Morwood, Daniel Bryce
BIRTHDAY
2005
Springer
14 years 28 days ago
Planning in Answer Set Programming using Ordered Task Decomposition
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
Jürgen Dix, Ugur Kuter, Dana S. Nau