|
| Name: |
Professor AG Cohn |
| Organisation: |
University of Leeds |
| Department: |
Sch of Computing |
| Current EPSRC-Supported Research
Topics: |
|
Building Ops & Management
|
Design & Testing Technology
|
|
Robotics & Autonomy
|
Urban & Land Management
|
|
| Current EPSRC Support |
| EP/N010523/1 | Balancing the impact of City Infrastructure Engineering on Natural systems using Robots | (C) |
|
| Previous EPSRC Support |
| EP/R031193/1 | Humanlike physics understanding for autonomous robots | (P) |
| 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
|
| |
|
|
|
|