Sciweavers

470 search results - page 43 / 94
» Model generation for PRS-like agents
Sort
View
ECAI
2000
Springer
15 years 8 months ago
Graph Based Representation of Dynamic Planning
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...
Pavlos Moraitis, Alexis Tsoukiàs
IJCAI
2001
15 years 5 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
AAAI
1994
15 years 5 months ago
Experience-Aided Diagnosis for Complex Devices
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
Michel P. Féret, Janice I. Glasgow
ICSOC
2010
Springer
15 years 3 months ago
Artifact-Centric Choreographies
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...
Niels Lohmann, Karsten Wolf
OPODIS
2007
15 years 6 months ago
Secretive Birds: Privacy in Population Protocols
We study private computations in a system of tiny mobile agents. We consider the mobile population protocol model of Angluin et al. [2] and ask what can be computed without ever re...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...