1302 search results - page 90 / 261 » Deductive Plan Generation |
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
ICDE
2002
IEEE
14 years 10 months ago
2002
IEEE
The goal of a data integration system is to provide a uniform interface to a multitude of data sources. Given a user query formulated in this interface, the system translates it i...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
Privacy is often cited as the main reason to adopt a multiagent approach for a certain problem. This also holds true for multiagent planning. Still, papers on multiagent planning ...
IV
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we describe a tool to improve interfunctional communication of project plans by displaying them as a metro map. Our tool automatically lays out plans using a multicr...