Sciweavers

1143 search results - page 215 / 229
» Prospective Logic Agents
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 1 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 1 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,...
98
Voted
JAPLL
2007
78views more  JAPLL 2007»
15 years 1 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
120
Voted
CORR
2004
Springer
125views Education» more  CORR 2004»
15 years 1 months ago
High-Level Networking With Mobile Code And First Order AND-Continuations
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
Paul Tarau, Verónica Dahl
ARGMAS
2004
Springer
15 years 7 months 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