• Publications
  • Influence
Specifying norm-governed computational societies
TLDR
We present a theoretical and computational framework being developed for the executable specification of open agent societies for contract-net protocols. Expand
  • 218
  • 12
  • PDF
An Event Calculus for Event Recognition
TLDR
RTEC is an Event Calculus dialect with novel implementation and `windowing' techniques that allow for efficient event recognition, scalable to large data streams. Expand
  • 83
  • 11
  • PDF
A formal model of open agent societies
  • 75
  • 10
  • PDF
A probabilistic logic programming event calculus
TLDR
We present a system for recognising human activity given a symbolic representation of video content. Expand
  • 68
  • 6
  • PDF
Animated specifications of computational societies
TLDR
We present a formal framework for specifying, animating, and reasoning about and verifying the properties of open computational systems. Expand
  • 151
  • 5
  • PDF
A logic programming approach to activity recognition
TLDR
We have been developing a system for recognising human activity given a symbolic representation of video content. Expand
  • 55
  • 5
  • PDF
Executable specification of open norm-governed computational systems
TLDR
We present an executable specification of open computational systems with a formal, declarative, verifiable and meaningful semantics, which is executed and validated by two software implementations. Expand
  • 40
  • 5
  • PDF
Incremental learning of event definitions with Inductive Logic Programming
TLDR
We present an incremental method for learning and revising event-based knowledge, in the form of Event Calculus programs. Expand
  • 61
  • 4
  • PDF
Dynamic protocols for open agent systems
TLDR
We present an infrastructure for 'dynamic' protocol specifications, that is, specifications that may be modified at run-time by agents. Expand
  • 50
  • 4
  • PDF
Executable specification of open multi-agent systems
TLDR
We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system. Expand
  • 37
  • 4
  • PDF