Thomas Schneider's Talks


30 Jul 2015 IJCAI 2015 Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
Slides (PDF)Tech. Report (PDF)
10 Jun 2015 DL 2015 The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage
Slides (PDF)Tech. Report (PDF)
22 Jul 2014 KR 2014 Lightweight Description Logics and Branching Time: a Troublesome Marriage
Slides (PDF)Tech. Report (PDF)
5 Sep 2013 COSIT 2013 Algebraic Properties of Qualitative Spatio-Temporal Calculi
Slides (PDF) Tech. Report (PDF)
2 Aug 2013 SFB/TR 8 Colloquium Algebraic Properties of Qualitative Spatio-Temporal Calculi
Slides (PDF) Tech. Report (PDF)
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)
24 Jan 2012 U Hannover The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers     Report (PDF)     Updated slides (PDF)
4 Nov 2011 LogInf 2011 The Modular Structure of an Ontology: Atomic Decomposition     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)
6 Nov 2010 LogInf 2010 The Modular Structure of an Ontology: an Empirical Study     Report (PDF)     Previous slides (PDF)
18 Jun 2010 U Saarland The Complexity of Hybrid Logics     Slides (PDF)
7/11 May 2010 DL 2010/WoMO 2010 The Modular Structure of an Ontology: an Empirical Study     Report (PDF)     Slides (PDF)
21 Apr 2010 U Leipzig Working Modularly with Ontologies     Slides (PDF)
25 Mar 2010 U Hannover Working Modularly with Ontologies     Slides (PDF)
30 Nov 2009 U Jena Working Modularly with Ontologies     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)
27 Jan 2009 Meraka Inst. Working Modularly with Ontologies     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

Valid HTML 4.01 Transitional     Valid CSS!     25 Feb 2017 TS