Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Meyer, John-Jules Ch."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reasoning about plan revision in BDI agent programs
Natasha Alechina
,
Mehdi Dastani
,
Brian Logan
,
John-Jules Ch. Meyer
Theoretical Computer Science
412
(44), 2011, pp. 6115-6134
Semantics of plan revision in intelligent agents
M. Birna van Riemsdijk
,
John-Jules Ch. Meyer
,
Frank S. de Boer
Theoretical Computer Science
351
(2), 2006, pp. 240-257
A fully abstract model for the exchange of information in multi-agent systems
Frank S. de Boer
,
Rogier M. van Eijk
,
Wiebe van der Hoek
,
John-Jules Ch. Meyer
Theoretical Computer Science
290
(3), 2003, pp. 1753-1773