Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676973, 9783540450085

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Benchmark Analysis with FaCT

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_6 ◽

2000 ◽

pp. 62-66 ◽

Cited By ~ 8

Author(s):

Ian Horrocks

Keyword(s):

Benchmark Analysis

Download Full-text

TANCS-2000 Results for DLP

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_8 ◽

2000 ◽

pp. 72-76

Author(s):

Peter F. Patel-Schneider

Download Full-text

MSPASS: Modal Reasoning by Translation and First-Order Resolution

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_7 ◽

2000 ◽

pp. 67-71 ◽

Cited By ~ 27

Author(s):

Ullrich Hustadt ◽

Renate A. Schmidt

Keyword(s):

First Order ◽

Modal Reasoning

Download Full-text

The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_32 ◽

2000 ◽

pp. 415-430 ◽

Cited By ~ 6

Author(s):

Dan E. Willard

Keyword(s):

Incompleteness Theorem ◽

Semantic Tableaux

Download Full-text

Variants of First-Order Modal Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_16 ◽

2000 ◽

pp. 175-189 ◽

Cited By ~ 1

Author(s):

Marta Cialdea Mayer ◽

Serenella Cerrito

Keyword(s):

Modal Logics ◽

First Order

Download Full-text

Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_15 ◽

2000 ◽

pp. 160-174 ◽

Cited By ~ 3

Author(s):

Agata Ciabattoni ◽

Mauro Ferrari

Keyword(s):

Intermediate Logics

Download Full-text

Term-Modal Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_19 ◽

2000 ◽

pp. 220-236

Author(s):

Melvin Fitting ◽

Lars Thalmann ◽

Andrei Voronkov

Keyword(s):

Modal Logics

Download Full-text

Tableau Algorithms for Description Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_1 ◽

2000 ◽

pp. 1-18 ◽

Cited By ~ 19

Author(s):

Franz Baader ◽

Ulrike Sattler

Keyword(s):

Description Logics

Download Full-text

Modality and Databases

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_2 ◽

2000 ◽

pp. 19-39 ◽

Cited By ~ 3

Author(s):

Melvin Fitting

Download Full-text

Complexity of Simple Dependent Bimodal Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_17 ◽

2000 ◽

pp. 190-204 ◽

Cited By ~ 5

Author(s):

Stéphane Demri

Keyword(s):

Bimodal Logics

Download Full-text

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Benchmark Analysis with FaCT

TANCS-2000 Results for DLP

MSPASS: Modal Reasoning by Translation and First-Order Resolution

The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q

Variants of First-Order Modal Logics

Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics

Term-Modal Logics

Tableau Algorithms for Description Logics

Modality and Databases

Complexity of Simple Dependent Bimodal Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications