Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Model Checking Knowledge and Time
Lecture notes in computer science, 2002, p.95-111
2002
Link zum Volltext

On Obligations and Abilities
Deontic Logic in Computer Science, 2004, p.165-181
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.82-94
2004
Link zum Volltext

Lecture notes in computer science, 2005, p.536-547
2005
Link zum Volltext


Intelligent Agents IV Agent Theories, Architectures, and Languages, 2005, p.215-229
2005
Link zum Volltext

Intelligent Agents VII Agent Theories Architectures and Languages, 2001, p.228-243
2001
Link zum Volltext

Formal Approaches to Agent-Based Systems, 2003, p.294-295
2003
Link zum Volltext

From Theory to Practice in Multi-Agent Systems, 2002, p.313-321
2002
Link zum Volltext

Intelligent Agents V: Agents Theories, Architectures, and Languages, 1999, p.381-396
1999
Link zum Volltext

A modal logic for network topologies
Lecture notes in computer science, 2000, p.269-283
2000
Link zum Volltext

Artificial Intelligence: Methodology, Systems, and Applications, 1998, p.240-253
1998
Link zum Volltext

Intelligent Agents: Specification, Modeling, and Applications, 2001, p.16-30
2001
Link zum Volltext

Intelligent Agents VI. Agent Theories, Architectures, and Languages, 2000, p.218-232
2000
Link zum Volltext

Formal Approaches to Agent-Based Systems, 2001, p.78-89
2001
Link zum Volltext

Advanced Topics in Artificial Intelligence, 1998, p.155-166
1998
Link zum Volltext

Intelligent Agents VII Agent Theories Architectures and Languages, 2001, p.260-274
2001
Link zum Volltext

Lecture notes in computer science, 1999, p.29-45
1999
Link zum Volltext


Communications of the ACM, 1996, Vol.39 (1), p.102-111
1996
Link zum Volltext