David Kinny

1. A formal specification of dMARS
   1998/01/01 by Mark d’Inverno, Mark d'Inverno, David Kinny +3 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
2. The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
   2004/03/15 by Mark d’Inverno, Mark D'Inverno, Michael Luck +4 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies