Keith Clark

According to our database, Keith Clark authored at least 11 papers between 1995 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs.

Keith Clark, Brijesh Dongol, Peter Robinson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents.

Keith Clark

Proceedings of the 15th International Conference on Informatics in Control, 2018

2016

A Framework for Integrating Symbolic and Sub-Symbolic Representations.

Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots.

Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller, Alessandra Russo, Holger Voos

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2009

SAGE: A Logical Agent-Based Environment Monitoring and Control System.

Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo

Proceedings of the Ambient Intelligence, 2009

2008

DARE: a system for distributed abductive reasoning.

Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark

Auton. Agents Multi Agent Syst., 2008

A Dynamic System for Distributed Reasoning.

Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2006

On the performance of proactive mobile IPv6 for context-aware all-IP wireless access networks.

Theodoros Pagtzis, Jon Crowcroft, Keith Clark

Wirel. Commun. Mob. Comput., 2006

2005

Contract Driven Agents.

John Knottenbelt, Keith Clark

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Contract-Related Agents.

John Knottenbelt, Keith Clark

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

1995

April: A Language for Building Intelligent Distributed Information Retrieval Systems.

Keith Clark

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995