Sciweavers

3406 search results - page 221 / 682
» Modelling situations in intelligent agents
Sort
View
IAT
2006
IEEE
16 years 19 days ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
AAAI
2004
15 years 8 months ago
Model Checking Temporal Logics of Knowledge in Distributed Systems
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
Kaile Su
KI
1999
Springer
15 years 11 months ago
Agents in Traffic Modelling - From Reactive to Social Behaviour
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
Ana L. C. Bazzan, Joachim Wahle, Franziska Klü...
ATAL
2007
Springer
16 years 23 days ago
A pareto optimal model for automated multi-attribute negotiations
This paper presents an applicable model for complex multiattribute negotiations between autonomous agents. The model adopts a novel protocol which decomposes the original n-dimens...
Guoming Lai, Katia P. Sycara, Cuihong Li
FLAIRS
2009
15 years 4 months ago
Multiagent Bayesian Forecasting of Time Series with Graphical Models
Time series are found widely in engineering and science. We study multiagent forecasting in time series, drawing from literature on time series, graphical models, and multiagent s...
Yang Xiang, James Smith, Jeff Kroes