Sciweavers

3406 search results - page 193 / 682
» Modelling situations in intelligent agents
Sort
View
ATAL
2010
Springer
15 years 6 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
EPIA
2001
Springer
15 years 11 months ago
Modelling Agent Societies: Co-ordination Frameworks and Institutions
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
Virginia Dignum, Frank Dignum
MABS
1998
Springer
15 years 10 months ago
Multi-Agent Architecture Integrating Heterogeneous Models of Dynamical Processes: The Representation of Time
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
Edem Fianyo, Jean-Pierre Treuil, Edith Perrier, Yv...
CIA
2006
Springer
15 years 10 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
FAABS
2000
Springer
15 years 10 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck