Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Cunningham, Jim - Department of Computing, Imperial College, London
Towards an Axiomatic Theory of Consciousness
A Pre x Notation and Uni cation Algorithm for Encoding Modal Logics
Distributed Modal Theorem Proving with KE Jeremy Pitt 1 and Jim Cunningham 2
Representing and Reasoning with Events from Natural Language
Ensuring Consistency in the Joint Beliefs of Interacting Agents
Aspect and Interval Tense Logic \Lambda Miguel Leith y (mfl@doc.ic.ac.uk) and Jim Cunningham
Modelling Linguistic Events Miguel Leith and Jim Cunningham
Propositional Statecharts for Agent Interaction Protocols
Ontological Foundations of Natural Language Communication in Multiagent Systems
Multimodal Mind Design Jim Cunningham
A Top-Level Language-Biased Legal Ontology Jaspreet Shaheed
A Formal Framework for Agent Interaction Semantics Shamimabi Paurobally
Temporal Agents Jim Cunningham, Imperial College, London SW7 2BZ
Ontological Issues in Agent Ownership1 (Reasoning About Agent Ownership)
Ontological Help for a Lexical Semantics of Basic English Jim Cunningham1
Legal Event Reasoning for Software Agents1 Alexander Yip & Jim Cunningham
Achieving Common Interaction Protocols in Open Agent Environments
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies
Some Issues on Agent Ownership1 Alexander Yip & Jim Cunningham
Agents making moral decisions Jaspreet Shaheed and Jim Cunningham
A Testbed for Animating MultiAgent Systems Jim Cunningham, Lloyd Kamara
