Sciweavers

725 search results - page 61 / 145
» Layered Specification of Intelligent Agents
Sort
View
AOSE
2007
Springer
15 years 1 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
AAAI
2008
15 years 5 days ago
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
Chitta Baral, Jicheng Zhao
ATAL
2008
Springer
14 years 12 months ago
Constitutive interoperability
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
Amit K. Chopra, Munindar P. Singh
ATAL
2006
Springer
15 years 1 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
ATAL
2010
Springer
14 years 11 months ago
Modeling collision avoidance behavior for virtual humans
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
Stephen J. Guy, Ming C. Lin, Dinesh Manocha