EPSRC logo
Researcher Details
 
Name: Dr C Dixon
Organisation: University of Liverpool
Department: Computer Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Computer Sys. & Architecture
Control Engineering Fundamentals of Computing
Human-Computer Interactions Image & Vision Computing
Mobile Computing Robotics & Autonomy
Robotics & Autonomy Software Engineering

Current EPSRC Support
EP/R026092/1 Future AI and Robotics Hub for Space (FAIR-SPACE)(C)
EP/R026084/1 Robotics and Artificial Intelligence for Nuclear (RAIN)(C)
EP/N007565/1 Science of Sensor System Software(C)
Previous EPSRC Support
EP/K006193/1 Trustworthy Robotic Assistants(C)
EP/D060451/1 Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems(C)
GR/S63182/01 Dynamic Ontologies: a Framework for Service Descriptions(C)
GR/R96514/01 9th International Symposium on Temporal Representation and Reasoning (TIME-2002)(P)
GR/R45376/01 Analysis and Mechanisation of Decidable First-Order Temporal Logics(C)
GR/L87491/02 DEVELOPING CLAUSAL RESOLUTION FOR THE TEMPORAL MU-CALCULUS(C)
GR/M88761/01 PROOF METHODS FOR MULTI-AGENT SYSTEMS(C)
GR/M44859/02 RESOLUTION BASED THEOREM-PROVING FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF WITH INTERACTIONS(P)
GR/M44859/01 RESOLUTION BASED THEOREM-PROVING FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF WITH INTERACTIONS(P)
GR/L87491/01 DEVELOPING CLAUSAL RESOLUTION FOR THE TEMPORAL MU-CALCULUS(C)
GR/K57282/01 PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator