Projects
The following provides an overview of the funded research projects of the
Group of Logic, Language and Computation (a list of
recently finished projects is also available).
- Noun phrase agreement and coordination,
AHRB MRG-AN10939/APN17606,
2004-2006
Mary Dalrymple, Louisa Sadler (University of Essex)
- Verb-initial grammars: A multilingual/parallel perspective,
ESRC RES-000-23-0505, 2004-2007
Mary Dalrymple, Louisa Sadler (University of Essex)
- Dynamic Ontologies: a Framework for Services Descriptions,
EPSRC GR/S63175/01, 2004-2007
Michael Zakharyaschev, Anatoli Degtyarev, Agi Kurucz
- Knowledge Representation and Reasoning about Distances,
EPSRC GR/S61973/01, 2004-2007
Michael Zakharyaschev, Ian Hodkinson (Imperial College),
Anatoli Degtyarev, Agi Kurucz
- PROFILE: Processing and Resolution of Fragments in Dialogue,
ESRC RES-000-23-0065
Jonathan Ginzburg, Shalom Lappin
- ROSSINI: Long-Term Representation of Structural Information In Dialogue Interaction
(details),
EPSRC GR/R04942/01, 2000-2003
Jonathan Ginzburg, Patrick Healey (Queen Mary, University of London), Matthew Purver, Robin Cooper (University of Gothenburg)
- Many-dimensional Modal Logics and Finite Model Theory,
EPSRC GR/N23028/01, 2000-2003
Dov Gabbay, Anuj Dawar (Cambridge), Valentin Shehtman
- Analysis and Mechanisation of Decidable First-Order Temporal Logics
(details),
EPSRC GR/R45369/01, 2001-2004
Michael Zakharyaschev, Dov Gabbay, Ian Hodkinson (Imperial College),
Agi Kurucz, Roman Kontchakov; in cooperation with
Michael Fisher, Anatoli Degtyarev, Clare Dixon (all Liverpool)
- Complexity Analysis of Reasoning in Combined Knowledge Representation Systems,
EPSRC GR/R42474/01, 2001-2004
Michael Zakharyaschev, David Gabelaia
- Belief Contraction and Anti-Formulae: Logical Modelling of Deletion,
EPSRC GR/R44706/01, 2001-2004
Odinaldo Rodrigues, Corinna Elsenbroich
- Abductive Models for Cognitive Agents,
EPSRC GR/R5956/01, 2002
Dov Gabbay, John Woods
|
|
