Search alternatives:
"tableau algorithms" » "tableau algorithm", "tables algorithms"
"table algorithms" » "tables algorithms", "stable algorithms", "table algorithm"
Cover Image
Read Now

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

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

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

5
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

6
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

7
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

8
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

9
by Tetzlaff, Ulrich A.W.
Published 1990
Physica-Verlag HD
Table of Contents: “... D: Test runs for model EQUP-NEW-(1) -- Appendix E: List of figures, tables, algorithms -- Appendix F...”
Cover Image
Read Now

10
Published 2023
Springer Nature Singapore
Table of Contents: “... -- Anonymization of Multi-Relations Datasets using Single Table Algorithms -- Analytical Performance of QO-STBC...”
Cover Image
Read Now

11
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

12
by Crato, Nuno
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Everyday Matters -- The Dinner Table Algorithm -- Cutting the Christmas Cake -- Oranges...”
Cover Image
Read Now

13
Published 2020
Springer International Publishing
Table of Contents: “... of Structured Context-free Languages -- Formal Verification of Parallel Stream Compaction and Summed-Area Table...”
Cover Image
Read Now

14
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

15
by Lake, James H.
Published 2024
Springer International Publishing
Table of Contents: “...: Evaluating and using medical evidence in integrative mental health care: literature review, evidence tables...”
Cover Image
Read Now

16
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...”
Cover Image
Read Now

17
Published 2006
Springer Netherlands
Table of Contents: “... SUPPORT VECTOR MACHINES -- A FAST ALGORITHM FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM...”
Cover Image
Read Now

18
by Allen, Brandon, Ganti, Latha, Desai, Bobby
Published 2013
Springer New York
“....  Information on each topic is limited to a single page and presented in easily digested formats such as tables...”
Cover Image
Read Now

19
Published 2016
Springer International Publishing
“... of administration, duration, and relative cost. The text is also supplemented with tables, algorithms, and key...”
Cover Image
Read Now

20
by Laxer, Ronald M., Sherry, David D., Hashkes, Philip J.
Published 2016
Springer International Publishing
“... system. Readers will find up-to-date management plans using tables, algorithms and figures to serve...”