scispace - formally typeset
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

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

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.
Book

Agent-based software development

TL;DR: Introduction to 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.