Sciweavers

651 search results - page 36 / 131
» Reasoning about agent deliberation
Sort
View
PDSE
2000
91views more  PDSE 2000»
13 years 11 months ago
A Formalism for Hierarchical Mobile Agents
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
Ichiro Satoh
ATAL
2008
Springer
14 years 3 days ago
Suspending and resuming tasks in BDI agents
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
John Thangarajah, James Harland, David N. Morley, ...
APLAS
2006
ACM
14 years 4 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
CEEMAS
2005
Springer
14 years 3 months ago
Modelling of Agents' Behavior with Semi-collaborative Meta-agents
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
Jan Tozicka, Filip Zelezný, Michal Pechouce...
PADL
2010
Springer
14 years 7 months ago
Prospective Storytelling Agents
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
Gonçalo Lopes, Luís Moniz Pereira