EPSRC logo
Researcher Details
 
Name: Professor AG Cohn
Organisation: University of Leeds
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Artificial Intelligence Building Ops & Management
Design & Testing Technology Robotics & Autonomy
Urban & Land Management

Current EPSRC Support
EP/R031193/1 Humanlike physics understanding for autonomous robots(P)
EP/N010523/1 Balancing the impact of City Infrastructure Engineering on Natural systems using Robots(C)
Previous EPSRC Support
EP/K021699/1 ASSESSING THE UNDERWORLD - AN INTEGRATED PERFORMANCE MODEL OF CITY INFRASTRUCTURES(C)
EP/F06585X/1 MAPPING THE UNDERWORLD: MULTI-SENSOR DEVICE CREATION, ASSESSMENT, PROTOCOLS(P)
EP/G025177/1 Geometric Abstractions for Scalable Program Analyzers(P)
EP/D061334/1 Learning about Activities from Video(C)
EP/D002834/1 Foundational Ontology for Geographic Information(R)
EP/C014707/1 Mapping the Underworld: Knowledge and Data Integration(P)
GR/R53401/01 Escape Analysis of Object-Orientated Languages.(C)
GR/N13159/01 SPECIFICATION AND VERIFICATION OF ARM6(P)
GR/M56807/01 MANAGING VAGUENESS, UNCERTAINTY AND GRANULARITY IN SPATIAL INFORMATION SYSTEMS(P)
GR/M05645/01 SEMANTIC-BASED SOFTWARE SUPPORT FOR CONSTRAINT LOGIC PROGRAMS(C)
GR/L19515/01 DECLARATIVE LANGUAGE INTERFACE FOR CONSTRAINT SOLVING(C)
GR/K79635/01 DETECTING AND EXPLOITING DETERMINACY IN LOGIC PROGRAMS(C)
GR/K65041/01 LOGICAL THEORIES AND DECISION PROCEDURES FOR REASONING ABOUT PHYSICAL SYSTEMS(P)
GR/H78955/01 LOGICAL AND COMPUTATIONAL ASPECTS OF SPATIAL REASONING(P)
GR/H78962/01 DECLARATIVE EXTENSIONS OF LOGIC PROGRAMMING(P)
GR/H78948/01 MANY SORTED EQUATION SOLVING(P)
GR/G24231/01 MANY SORTED UNIFICATION(P)
GR/G36852/01 REPRESENTATION AND INFERENCE IN A NAIVE PHYSICS THEORYOF SPACE AND TIME.(P)
GR/F64388/01 REPRESENTATION AND INFERENCE IN A NAIVE PHYSICS THEORYOF SPACE AND TIME(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator