john jules c meyer

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area o...

Intelligent Technologies for Interactive Entertainment

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent...

Knowledge Representation for Agents and Multi-Agent Systems

This book constitutes the thoroughly refereed post-workshop proceedings of the First Internationa...

Deontic Logic and Artificial Normative Systems

This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic...

Objects, Agents, and Features

Formal Models of Agents

This volume provides a selection of strictly refereed papers first presented during a workshop he...

Intelligent Agents VIII

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. Th...

Dynamics and Management of Reasoning Processes

This volume, the 6th volume in the DRUMS Handbook series, is part of the after­ math of the succe...

Agent-Based Defeasible Control in Dynamic Environments

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...

Dynamics and Management of Reasoning Processes

This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the succes...

Agent-Based Defeasible Control in Dynamic Environments

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...

Specification and Verification of Multi-Agent Systems

Specification and Verification of Multi-agent Systems presents a coherent treatment of ...