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

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

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

3
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

4
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

5
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

6
Published 2021
Springer International Publishing
Table of Contents: “... Information Theory -- A Semantic Tableau Method for Argument Construction -- `Thy algorithm shalt not bear...”
Cover Image
Read Now

7
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... -- Towards a Wide-Coverage Tableau Method for Natural Logic -- Resolving Modal Anaphora in Dependent Type...”
Cover Image
Read Now

8
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... with Global Caching -- A Tableau Calculus for Regular Grammar Logics with Converse -- An Optimal On-the-Fly...”
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Registration: The Secrecy Proofs -- SET Cardholder Registration: The Secrecy Proofs -- Algorithms...”
Cover Image
Read Now

10
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Selection Scheme Based on Intelligent Learning Algorithm in Wireless LANs -- The Research on Generic Project...”
Cover Image
Read Now

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... study of modal K -- Resolution-based calculi for modal and temporal logics -- Tableaux and algorithms...”
Cover Image
Read Now

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Certified version of Buchberger's algorithm -- Selectively instantiating definitions -- Using...”
Cover Image
Read Now

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Algorithms for Computing Modulo Permutation Theories -- Overlapping Leaf Permutative Equations -- Higher...”
Cover Image
Read Now

14
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Base Systems -- On Greedy Algorithms with Weights for Construction of Partial Covers -- Minimal...”
Cover Image
Read Now

15
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... structures and algorithms for automated deduction with equality clauses -- The Clause-Diffusion theorem...”
Cover Image
Read Now

16
Published 2023
Springer Nature Switzerland
Table of Contents: “... Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier...”
Cover Image
Read Now

17
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order...”
Cover Image
Read Now

18
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- Propagation of uncertainty in dependence graphs -- Efficient algorithms for belief functions based...”
Cover Image
Read Now

19
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of verified software -- The tableau-based theorem prover 3 T A P for multiple-valued logics -- Analytica — A...”
Cover Image
Read Now

20
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Communication for Tighter Cooperation -- Arc Consistency Algorithms via Iterations of Subsumed Functions -- AVAL...”