Keith Clark

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