211 search results - page 10 / 43 » Expressive Planning and Explicit Knowledge |
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
121
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
106
click to vote
IJCAI
2003
15 years 1 months ago
2003
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
106
click to vote
AAMAS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
112
click to vote
JIRS
2000
14 years 11 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...