Search alternatives:
"tableau algorithm" » "tableau algorithms"
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs -- The Space Efficiency...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Propositional Interval Temporal Logics -- Universal Variables in Disconnection Tableaux -- A Tableau Algorithm...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Querying -- A Tableau Algorithm for Possibilistic Description Logic...”
Cover Image
Read Now

5
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Tableau Algorithm for DL Reasoning...”
Cover Image
Read Now

6
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Relational Database Schema to Fuzzy OWL DL Ontology -- A Tableau Algorithm for Possibilistic Description...”
Cover Image
Read Now

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...”
Cover Image
Read Now

9
Published 2014
Springer International Publishing
Table of Contents: “... -- Count and Forget: Uniform Interpolation of SHQ- Ontologies -- Coupling Tableau Algorithms for Expressive...”
Cover Image
Read Now

10
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of DL with Rules -- A Tableau Algorithm for Handling Inconsistency in OWL -- How to Trace and Revise...”