|
6 Mar 2013
|
U Manchester
|
The Complexity of Satisfiability for Fragments of Hybrid Logic
Part 1: JAL article (ScienceDirect)
Part 2: AiML paper, extended version (PDF)
Slides (PDF)
|
|
24 Aug 2012
|
AiML 2012
|
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Report (PDF)
Slides (PDF)
|
|
24 Jul 2012
|
WoMO 2012
|
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Report (PDF)
Slides (PDF)
|
|
10 Aug 2011
|
WoMO 2011
|
The Modular Structure of an Ontology: Atomic Decomposition and Module Count
Report (PDF)
Slides (PDF)
|
|
5 Jul 2011
|
TABLEAUX 2011
|
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
Report (PDF)
Slides (PDF)
|
|
7/11 May 2010
|
DL 2010/WoMO 2010
|
The Modular Structure of an Ontology: an Empirical Study
Report (PDF)
Slides (PDF)
|
|
23 Oct 2009
|
OWLED 2009
|
Mechanisms for Importing Modules
Paper (PDF)
Slides (PDF)
|
|
25 Aug 2009
|
MFCS 2009
|
The Complexity of Satisfiability for Fragments of Hybrid Logic
Paper (DOI)
Slides (PDF)
|
|
28 Jul 2009
|
DL 2009
|
Which Kind of Module Should I Extract?
Paper (PDF)
Slides (PDF)
|
|
26 Oct 2008
|
OWLED 2008
|
Easy Keys for OWL
Paper (PDF)
|
|
13 May 2008
|
DL 2008
|
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
Slides (PDF)
|
|
25 Apr 2008
|
OWLED 2008 DC
|
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
Slides (PDF)
|
|
29 Nov 2007
|
M4M-5 2007
|
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
|
|
10 Aug 2007
|
HyLo 2007
|
The Complexity of Hybrid Logics over Equivalence Relations
|
|
26 Mar 2007
|
FoSSaCS 2007
|
The Complexity of Generalized Satisfiability for Linear Temporal Logic
|
|
11 Aug 2006
|
HyLo 2006
|
Undecidability of Multi-modal Hybrid Logics
|
|
1 Dec 2005
|
M4M-4 2005
|
Complexity of Hybrid Logics over Transitive Frames
|
8 Mar 2013 TS