Sciweavers

5198 search results - page 800 / 1040
» A Logic of Agent Programs
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
IJAR
2008
92views more  IJAR 2008»
15 years 6 months ago
Predicting causality ascriptions from background knowledge: model and experimental validation
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on backgroun...
Jean-François Bonnefon, Rui Da Silva Neves,...
ARGMAS
2004
Springer
16 years 2 days ago
Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
Fabio Paglieri, Cristiano Castelfranchi
ATAL
2009
Springer
16 years 1 months ago
Adversarial search with procedural knowledge heuristic
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
Viliam Lisý, Branislav Bosanský, Mic...
GECCO
2009
Springer
16 years 1 months ago
Evolution of team composition in multi-agent systems
Evolution of multi-agent teams has been shown to be an effective method of solving complex problems involving the exploration of an unknown problem space. These autonomous and het...
Joshua Rubini, Robert B. Heckendorn, Terence Soule