EPSRC logo
Researcher Details
 
Name: Professor D Gabbay
Organisation: Kings College London
Department: Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/C538536/1 Second Order Quantifier Elimination(P)
EP/D504457/1 Deductive Verification of CTL * Properities(P)
EP/C532783/1 The Sixth Augustus De Morgan Conference: Logic and Law(P)
EP/C536290/1 Quantification in Non-classical Logic(P)
GR/T24562/01 Quantum Logic and Revision Theory(P)
GR/T28669/01 Proof Procedures Based on Graphs(P)
GR/S78162/01 Interpolation and Definability(P)
GR/T06827/01 Probability and Proof(P)
GR/S78179/01 Abductive models for cognitive agents II(P)
GR/S79558/01 The Fifth Augustus De Morgan Conference: Knowledge Representation and the Reasoning Agent(P)
GR/R59564/01 Abductive Models for Cognitive Agents(P)
GR/R45369/01 Analysis and mechanisation of decidable first-order temporal loics(C)
GR/N23028/01 MANY-DIMENSIONAL MODAL LOGICS AND FINITE MODEL THEORY(P)
GR/L91818/01 DATA DRIVEN LOGIC ALGORITHMS(P)
GR/M29221/01 PRODUCTS OF MODAL LOGICS AND DECIDABLE FRAGMENTS OF CLASSICAL LOGIC(P)
GR/L75092/01 DEVELOPING A LOGIC-BASED FRAMEWORK FOR IMPLEMENTING MULTI-AGENT SYSTEMS(P)
GR/K57268/02 PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF(P)
GR/L98183/01 SYNTACTIC & SEMANTIC UNDERSPECIFICATION: THE DYNAMICS OF NATURAL LANGUAGE UNDERSTANDING(P)
GR/K57268/01 PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF(P)
GR/K68776/01 A LABELLED DEDUCTIVE SYSTEM FOR NATURAL LANGUAGE UNDERSTANDING(P)
GR/K54489/01 SITUATING LABELLED ENTAILMENT(P)
GR/J15483/01 INCONSISTENCY HANDLING IN MULTI-PERSPECTIVE SPECIFICATIONS(C)
GR/J14745/01 ALGORITHMIC DEDUCTION BASED ON LABELLED TABLEAUX(C)
GR/H85045/01 SITUATING LABELLED ENTAILMENT(P)
GR/G46677/01 SYNTACTICAL FOUNDATIONS OF NON MONOTONIC REASONING(P)
GR/G29861/01 RULE-BASED SYSTEMS AND ITEGRITY CHECKING(P)
GR/G24644/01 AUTOMATED REASONING SUPPORT FOR KNOWLEDGE REPRESENTATION(P)
GR/F28526/01 METATEM A FRAMEWORK FOR TEMPORAL LOGIC PROGRAMMING(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator