Show/hide main menu

Software Modelling and Applied Logic

Research Projects

Current project

Extension to Dynamic Information Management for Command and Control

Marie-Curie Training Network on Engineering and Provisioning of Service-Based Cloud Applications

  • PI: Steffen Zschaler 
  • This grant is a trans-European network whose objective is to develop formal foundations for analysis of cloud based applications. (Joint award with University of Karlsruhe and University of Rennes, Silo.)
  • 2011-2015, €5,030,780 (EU-FP7)
Nominal Isabelle

Completed projects

Higher-order Refinement Techniques for Model Driven Architecture

Start: 2009 End: 2012
Funding: £639,930 (EPSRC, EP/G03012X/1)  

PI: Kevin Lano

PORGY – Interactive Analysis and Visualisation of Port Graph Rewriting Systems

 Start: 2009 End: 2011

Funding: €40,000, (INRIA, France)

PI: Maribel Fernandez

Dependent types for Nominal Terms

Start: 1-Jun-09 End: 31-May-11 

Funding: 5680 Source: Royal Society 

PI: Maribel Fernandez 

Support for Model Driven Architecture

Start: 16-Jun-06 End: 15-Jun-08 

Funding: 13008 Source: EPSRC 

PI: Iman Poernomo 

Formal methods to improve model driven architecture 

Start: 1-Jun-06 End: 31-May-08 

Funding: 4000 Source: Nuffield Foundation 

PI: Iman Poernomo 

MDA Workbench 

Start: 6-Oct-04 End: 5-Oct-05 

Funding: 12156 Source: Tata Consultancy Services Ltd 

PI: Kevin Lano 

Reactive Systems Design Support 

Start: 1-Feb-02 End: 31-Jan-03 

Funding: 3260.7 Source: EPSRC 

PI: Kevin Lano 

Computational immunology for fraud detection. 

Start: 1-Apr-00 End: 31-Mar-03 

Funding: 199437 Source: EPSRC 

PI: Richard Overill 

Objects, associations and subsystems: a hierarchical approach to encapsulation. 

Start: 1-Oct-99 End: 31-Oct-02 

Funding: 156041 Source: EPSRC 

PI: Kevin Lano

MC Intra-European Fellowship for Clara Bertolissi

Start: 1-May-07 End: 30-Apr-08 

Funding: 31673.83 Source: European Commission 

PI: Maria Isabel Fernandez 

New principles of logic: reasoning at different levels

Start: 1-Apr-07 End: 31-Mar-10

Funding: 126369 Source: Leverhulme Trust

PI: Dov Gabbay

Connections between belief revision, belief merging and voting

Start: 16-Oct-06 End: 15-Mar-07

Funding: 6291 Source: EPSRC

PI: Odinaldo Rodrigues

Semantics of quantum computation

Start: 1-Jun-06 End: 31-May-09

Funding: 48933 Source: EPSRC

PI: Ian Mackie

DiET: Dialogue Experimentation Tools

Start: 1-Mar-06 End: 28-Feb-09

Funding: 2300 Source: EPSRC

PI: Jonathan Ginzburg

Computational Applications of Nominal Sets

Start: 1-Oct-05 End: 30-Sep-09

Funding: 105282 Source: EPSRC

PI: Ian Mackie, Maria Isabel Fernandez

Deductive verification of CTL properties

Start: 1-May-05 End: 30-Apr-06

Funding: 36872.99 Source: EPSRC

PI: Dov Gabbay

Dialogue Matters: Securing Foundations for Dialogue Technology Development

Start: 1-Apr-05 End: 31-Mar-08

Funding: 150000 Source: Leverhulme Trust

PI: Shalom Lappin, Jonathan Ginzburg

Quantification in Non-classical Logic

Start: 1-Jan-05 End: 31-Dec-05

Funding: 42044 Source: EPSRC

PI: Dov Gabbay

Second Order Quantifier Elimination

Start: 1-Jan-05 End: 31-Dec-05

Funding: 24721 Source: EPSRC

PI: Dov Gabbay

Quantum logic and revision theory

Start: 1-Nov-04 End: 31-Oct-05

Funding: 40176 Source: EPSRC

PI: Dov Gabbay

Proof procedures based on graphs

Start: 1-Oct-04 End: 30-Sep-05

Funding: 26374 Source: EPSRC

PI: Dov Gabbay

Rewriting frameworks

Start: 1-Oct-04 End: 30-Sep-05

Funding: 23503 Source: EPSRC

PI: Maria Isabel Fernandez

Knowledge, representation and reasoning about distance

Start: 1-Aug-04 End: 31-Jul-07

Funding: 196021 Source: EPSRC

PI: Agnes Kurucz, Anatoli Degtiarev, Michael Zakharyaschev

Interpolation and Definability

Start: 1-Mar-04 End: 31-Aug-04

Funding: 19025 Source: EPSRC

PI: Dov Gabbay

The Sixth Augustus De Morgan Conference: "Logic and Law"

Start: 14-Feb-04 End: 13-Aug-04

Funding: 5592 Source: EPSRC

PI: Dov Gabbay

Probability and Proof

Start: 1-Feb-04 End: 31-Jan-05

Funding: 24417 Source: EPSRC

PI: Dov Gabbay

Dynamic Ontologies: A framework for service descriptions

Start: 1-Jan-04 End: 31-Dec-06

Funding: 162220 Source: EPSRC

PI: Agnes Kurucz, Anatoli Dagtiarev, Michael Zackharyaschev

Abductive models for cognitive agents II

Start: 1-Jan-04 End: 31-Dec-04

Funding: 15000 Source: EPSRC

PI: Dov Gabbay

The fifth Augustus De Morgan conference: knowledge representation and the reasoning agent

Start: 3-Nov-03 End: 2-Dec-03

Funding: 4740 Source: EPSRC

PI: Dov Gabbay

Dialogue Dynamics I: A pilot project

Start: 1-Oct-03 End: 30-Sep-04

Funding: 41498.9 Source: ESRC

PI: Dov Gabbay

ESRC Postdoctoral Fellowship - Dr G Pigozzi

Start: 1-Oct-03 End: 31-Jan-06

Funding: 30861.38 Source: ESRC

PI: Dov Gabbay

PROFILE: Processing and Resolution Of Fragments in diaLoguE

Start: 1-Dec-02 End: 30-Nov-05

Funding: 78901.47 Source: ESRC

PI: Shalom Lappin, Jonathan Ginzburg

4th De Morgan Conference: Combining Probability and Logic

Start: 1-Nov-02 End: 30-Nov-02

Funding: 2000 Source: London Mathematical Society (LMS)

PI: Dov Gabbay

Doctoral Training Grant

Start: 1-Oct-02 End: 30-Sep-06

Funding: 54246 Source: EPSRC

PI: Shalom Lappin

Abductive Models for Cognitive Agents

Start: 1-Jan-02 End: 31-Dec-02

Funding: 32097 Source: EPSRC

PI: Dov Gabbay

Network of Excellence in Computational Logic (CologNet)

Start: 1-Jan-02 End: 31-Dec-04

Funding: 123322 Source: European Commission

PI: Dov Gabbay

Belief contraction and anti-formulae, logical modelling of deletion

Start: 19-Oct-01 End: 18-Apr-05

Funding: 59482 Source: EPSRC

PI: Odinaldo Rodrigues

Analysis and Mechanisation of Decidable First-order Temporal Logics

Start: 1-Oct-01 End: 31-Mar-04

Funding: 176028 Source: EPSRC

PI: Michael Zakharyaschev, Dov Gabbay

Complexity analysis of reasoning in combined knowledge representation systems

Start: 1-Oct-01 End: 30-Sep-04

Funding: 65350 Source: EPSRC

PI: Michael Zakharyaschev

Long-term Representation of Structural Information in Dialogue Interaction

Start: 2-Oct-00 End: 1-Oct-03

Funding: 62868 Source: EPSRC

PI: Jonathan Ginzburg

Many-dimensional modal logics and finite model theory.

Start: 1-Jun-00 End: 31-May-03

Funding: 192507 Source: EPSRC

PI: Dov Gabbay

GNOSIOGENESIS.

Start: 1-Mar-00 End: 28-Feb-03

Funding: 19542 Source: European Commission

PI: Dov Gabbay

Phrasal utterance resolution in dialogue

Start: 1-Oct-99 End: 30-Sep-02

Funding: 40869 Source: ESRC

PI: Shalom Lappin, Jonathan Ginzburg

The formal foundations of contraint-based semantics for natural language.

Start: 1-Oct-99 End: 30-Sep-02

Funding: 193759 Source: AHRB

PI: Shalom Lappin

The formal foundations of contraint-based semantics for natural language.

Start: 1-Jul-99 End: 30-Sep-02

Funding: 193759 Source: AHRB

PI: Shalom Lappin

Data driven logic algorithms

Start: 1-Oct-98 End: 30-Sep-01

Funding: 279596 Source: EPSRC

PI: Dov Gabbay   

internaladd1
Sitemap Site help Terms and conditions Accessibility Recruitment News Centre Contact us

© 2014 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454