index

alan43

01 ---- Implementing Tractable Temporal Logics (TABLAUX2007)
02 ---- Implementing Tractable Temporal Logics (ARW2007 abstract)
03 ---- Implementing Tractable Temporal Logics (ARW2007 poster)
04 ---- A Literature Survey of Resolution in Temporal Logic Theorem Proving (CS
Department)
05 ---- Implementing Tractable Temporal Logics (ARW2007 slides)
06 ---- Is it worth paying attention (I propose a new approach for the loop search
algorithm)
07 ---- A Clausal Resolution Method for CTL (Combination of CTL and FOL)
08 ---- (End-of-year report, first year)First-order resolution for CTL

10 ---- Slides for first-year end-of-year report
11 ---- First-order resolution for CTL
12 ---- First Year Skills Workshop, presentation
13 ---- Postgraduate Workshop 2008
14 ---- Poster for First-order resolution for CTL
15 ---- Poster for Postgraduate Research Day 2008
16 ---- Review form for the paper 'Identify Objects Over Time with
Description Logics'
17 ---- JELIA conference, First-order resolution for CTL
18 ---- (End-of-year report, 2nd year)
19 ---- Implication Calculus
20 ---- ARW2008 abstract
21 ---- ARW2008 poster
22 ---- ARW2008 slides
23 ---- Correctness proof of how to transform PLTL formulae into CLT formulae to test CTLRP
24 ---- PAAR Journal
24a---- Camera-ready for PAAR Journal
24b---- 2nd Camera-ready for PAAR Journal
25 ---- New Transformation procedure for CTL formulae and new main loop structure for
CTLRP
26 ---- Slides for the project meeting (Renate, Ullrich, Clare, Michel)
27 ---- New version of 11, (Technical report)
28 ---- Paper for CADE 2009
28a---- Camera-ready for CADE 2009
29 ---- TR for ATL
30 ---- ARW2009 abstract
31 ---- ARW2009 poster
32 ---- ARW2009 slides
33 ---- End-of-year report, 3rd year
34 ---- Slides for CADE 2009
35 ---- Slides for ADDCT 2009
36 ---- Technical Report for ATL (1.managed in svn; 2.Successor of 29)
37 ---- Paper for IJCAR 2010 (ATL)
38 ---- Technical Report for ATL (1.Successor of 36. 2. Fix the
mistake of the transformation for <A>U operators.)
39 ---- Journal paper for CTL resolution calculus

100 --- Lan's PhD thesis (first submission)
101 --- Lan's PhD thesis (final submission)
102 --- Slides for my viva

201 --- The first version of the literature survey for CUEB conference 2013
202 --- The final version of the literature survey for CUEB conference 2013
The actual submitted file is the docx file.

205 --- A Resolution-Based Calculus for Coalition Logic

301 --- A Resolution Calculus for Extended Computation Tree Logic
302 --- Resolution Calculus for Temporal Logics
303 --- Implementing Tractable Temporal Logics

pic ---- UoL logo,


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks