Sciweavers

AMAI
2004
Springer
13 years 7 months ago
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
Paula Gouveia, Jaime Ramos
AMAI
2004
Springer
13 years 7 months ago
Programming Rational Agents in a Modal Action Logic
Matteo Baldoni, Alberto Martelli, Viviana Patti, L...
AMAI
2004
Springer
13 years 7 months ago
A Discrete-Time Quantized-State Hopfield Neural Network
Carlos Bousoño-Calzón, Sancho Salced...
AIS
2004
Springer
13 years 7 months ago
Intelligent agents as innovations
This paper explores the treatment of intelligent agents as innovations. Past writings in the area of intelligent agents focus on the technical merits and internal workings of agent...
Alexander Serenko, Brian Detlor
AI
2004
Springer
13 years 7 months ago
On the computational complexity of qualitative coalitional games
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
Michael Wooldridge, Paul E. Dunne
AI
2004
Springer
13 years 7 months ago
The limitation of Bayesianism
In the current discussion about the capacity of Bayesianism in reasoning under uncertainty, there is a conceptual and notational confusion between the explicit condition and the i...
Pei Wang
AI
2004
Springer
13 years 7 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
Murray Shanahan