Keith Clark

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 4

Top Topics

Assisted Living

Mazurkiewicz Traces

Top Venues

FM Workshops (1)

Publications

Keith Clark, Brijesh Dongol, Peter Robinson
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs. FM Workshops (1) (2019)
Keith Clark
Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents. ICINCO (1) (2018)
Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller, Alessandra Russo, Holger Voos
Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. ICAART (2) (2016)
Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher
A Framework for Integrating Symbolic and Sub-Symbolic Representations. IJCAI (2016)
Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI (2009)
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark
DARE: a system for distributed abductive reasoning. Auton. Agents Multi Agent Syst. 16 (3) (2008)
Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark
A Dynamic System for Distributed Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Theodoros Pagtzis, Jon Crowcroft, Keith Clark
On the performance of proactive mobile IPv6 for context-aware all-IP wireless access networks. Wirel. Commun. Mob. Comput. 6 (2006)
John Knottenbelt, Keith Clark
Contract Driven Agents. FLAIRS Conference (2005)
John Knottenbelt, Keith Clark
Contract-Related Agents. CLIMA (2005)
Keith Clark
April: A Language for Building Intelligent Distributed Information Retrieval Systems. CIKM Information Agents Workshop (1995)