Recent Projects
- Formal Foundations of Constraint-Based Semantics for Natural Language
(details),
Investigators: Shalom Lappin, Chris Fox, Howard Gregory, Christian Ebert
AHRB AN2687/APN9387
- Phrasal Utterance Resolution in Dialogue,
(details),
Investigators: Shalom Lappin, Jonathan Ginzburg, Raquel Fernandez
ESRC R000222969
- Data Driven Logic Algorithms,
EPSRC GR/L91818/01, 1998-2001
Dov Gabbay, Hans Jürgen Ohlbach, Stefan Schlobach,
Ulrich Endriss, Odinaldo Rodrigues
- Developing a Logic-based Framework for Implementing Multi-agent Systems
Investigators: Prof DM Gabbay, Prof M Fisher
EPSRC, May 1998 - May 1999
- Products of Modal Logics and Decidable Fragments of Classical Logic
Investigator: Prof DM Gabbay
EPSRC, July 1998 - June 1999
- Methods for Temporal Logics of Knowledge and Belief
Investigator: Prof M Fisher, Dr C Dixon, Prof DM Gabbay, Dr M Wooldridge
EPSRC, Dec 1995 - Dec 1998
- Syntactic and Semantic Underspecification: the Dynamics of Natural Language
Understanding
Investigator: Prof DM Gabbay
EPSRC, April 1998 - Sept 1998
- Inconsistency handling in multi-perspective specifications
Investigators: Prof DM Gabbay, Prof ACW Finklestein, Dr J Kramer
SERC, Feb 1994 - Feb 1997
- MEDLAR II - Mechanised deduction in logics of practical reasoning II
Investigators: Prof DM Gabbay, RJ Cunningham
CEC, July 1992 - July 1995
- Algorithmic deduction based on labelled tableaux
Investigators: Prof DM Gabbay, Dr KB Broda, RJ Cunningham
SERC, Oct 1994 - April 1997
- TEMPORA - Integrating database technology, rule-based systems and
temporal reasoning
Investigators: Prof DM Gabbay
CEC, Jan 1989 - Feb 1993
- METAMEM - A framework for temporal reasoning
Investigators: Prof DM Gabbay
SERC, Oct 1989 - Oct 1992
- Rule-based systems
Investigators: Prof DM Gabbay, Prof EB Richards, Dr YH Ng
SERC, Dec 1990 - Dec 1993
- LORE - Logical foundations for relevance in linguistic communication
Investigators: Prof DM Gabbay, RJ Cunningham
ESRC, Oct 1990 - Oct 1992
- Syntactical foundations of nonmonotonic reasoning
Investigators: Prof DM Gabbay
SERC, May 1992 - May 1995
- DRUMS II - Defeasible reasoning and uncertainty management systems II
Investigators: Prof DM Gabbay
CEC, Oct 1992 - Oct 1995
- Labelled deductive systems for temporal logic
Investigators: Prof DM Gabbay
CEC, May 1992 - May 1993
- Situated labelled entailment
Investigators: Prof DM Gabbay
SERC, July 1992 - Sept 1993
- Situating labelled entailments (2)
Investigators: Prof DM Gabbay
EPSRC, July 1995 - Jan 1997
- A labelled deductive system for natural language understanding
Investigators: Prof DM Gabbay
EPSRC, Oct 1995 - Sept 1997
- Efficient deduction in first order logic with equality in combining
semantic tableaux and integer programming
Investigators: Prof DM Gabbay
CEC, Aug 1996 - July 1997
- FIGIT: Electronic Libraries Programme
Investigators: Prof DM Gabbay, Dr CL Hankin
JISC, April 1995 - April 1997
|
|
