Sciweavers

2638 search results - page 65 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
GI
2007
Springer
15 years 10 months ago
A Discrete Event Simulation Framework for Agent-Based Modelling of Logistic Systems
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...
Bernd Page, Nicolas Knaak, A. Kruse
AAAI
1990
15 years 5 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer
CAISE
2003
Springer
15 years 9 months ago
Ontological Basis for Agent ADL
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
Stéphane Faulkner, Manuel Kolp
ATAL
2008
Springer
15 years 6 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio