M
Mark d'Inverno
Researcher at Goldsmiths, University of London
Publications - 177
Citations - 4672
Mark d'Inverno is an academic researcher from Goldsmiths, University of London. The author has contributed to research in topics: Autonomous agent & Multi-agent system. The author has an hindex of 33, co-authored 177 publications receiving 4513 citations. Previous affiliations of Mark d'Inverno include University of Westminster & St George's, University of London.
Papers
More filters
Book ChapterDOI
A Formal Specification of dMARS
TL;DR: An abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures are provided.
Book
Understanding Agent Systems
Mark d'Inverno,Michael Luck +1 more
TL;DR: The Z specification language is used to establish an accessible and unified formal account of agent systems and inter-agent relationships that provides precise and unambiguous meanings for common concepts and terms for agent systems.
Book Chapter
A Formal Framework for Agency and Autonomy
Michael Luck,Mark d'Inverno +1 more
TL;DR: This paper lays the foundations for a principled theory of agency and autonomy, and specifies the relationship between them using the Z specification language, and describes a three-tiered hierarchy comprising objects, agents and autonomous agents.
Journal ArticleDOI
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
TL;DR: An abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures are provided.