Sciweavers

406 search results - page 51 / 82
» Dynamic Logic for Plan Revision in Intelligent Agents
Sort
View
ISMIS
2003
Springer
14 years 1 months ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa
AAAI
2008
13 years 10 months ago
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
Paul Fodor
ATAL
2005
Springer
14 years 1 months ago
An adaptive solution to dynamic transport optimization
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
Klaus Dorer, Monique Calisti
ECAI
2006
Springer
14 years 2 days ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles
ATAL
2008
Springer
13 years 10 months ago
RIAACT: a robust approach to adjustable autonomy for human-multiagent teams
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
Nathan Schurr, Janusz Marecki, Milind Tambe