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 International Publishing

9783319243115, 9783319243122

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient Low-Level Connection Tableaux

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

10.1007/978-3-319-24312-2_8 ◽

2015 ◽

pp. 102-111 ◽

Cited By ~ 1

Author(s):

Cezary Kaliszyk

Keyword(s):

Low Level

Download Full-text

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics

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

10.1007/978-3-319-24312-2_9 ◽

2015 ◽

pp. 115-134 ◽

Cited By ~ 7

Author(s):

Sara Negri ◽

Nicola Olivetti

Keyword(s):

Sequent Calculus ◽

Conditional Logic

Download Full-text

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

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

10.1007/978-3-319-24312-2_5 ◽

2015 ◽

pp. 54-69 ◽

Cited By ~ 1

Author(s):

Michael Sioutis ◽

Jean-François Condotta ◽

Yakoub Salhi ◽

Bertrand Mazure

Keyword(s):

Temporal Reasoning ◽

Tableau Method ◽

Spatio Temporal

Download Full-text

Invited Talk: Coherentisation of First-Order Logic

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

10.1007/978-3-319-24312-2_1 ◽

2015 ◽

pp. 3-5

Author(s):

Roy Dyckhoff

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations

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

10.1007/978-3-319-24312-2_11 ◽

2015 ◽

pp. 153-168 ◽

Cited By ~ 1

Author(s):

Taus Brock-Nannestad ◽

Kaustuv Chaudhuri

Keyword(s):

Inverse Method ◽

Iterative Refinement ◽

Finite Approximations

Download Full-text

Modal Tableau Systems with Blocking and Congruence Closure

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

10.1007/978-3-319-24312-2_4 ◽

2015 ◽

pp. 38-53 ◽

Cited By ~ 3

Author(s):

Renate A. Schmidt ◽

Uwe Waldmann

Keyword(s):

Tableau Systems ◽

Congruence Closure

Download Full-text

A Modal-Layered Resolution Calculus for K

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

10.1007/978-3-319-24312-2_13 ◽

2015 ◽

pp. 185-200 ◽

Cited By ~ 2

Author(s):

Cláudia Nalon ◽

Ullrich Hustadt ◽

Clare Dixon

Keyword(s):

Resolution Calculus

Download Full-text

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules

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

10.1007/978-3-319-24312-2_2 ◽

2015 ◽

pp. 6-21 ◽

Cited By ~ 1

Author(s):

Valentín Cassano ◽

Carlos Gustavo Lopez Pombo ◽

Thomas S. E. Maibaum

Keyword(s):

Default Rules

Download Full-text

A Standard Internal Calculus for Lewis’ Counterfactual Logics

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

10.1007/978-3-319-24312-2_19 ◽

2015 ◽

pp. 270-286 ◽

Cited By ~ 6

Author(s):

Nicola Olivetti ◽

Gian Luca Pozzato

Download Full-text

Integrating Simplex with Tableaux

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

10.1007/978-3-319-24312-2_7 ◽

2015 ◽

pp. 86-101 ◽

Cited By ~ 2

Author(s):

Guillaume Bury ◽

David Delahaye

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Efficient Low-Level Connection Tableaux

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

Invited Talk: Coherentisation of First-Order Logic

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations

Modal Tableau Systems with Blocking and Congruence Closure

A Modal-Layered Resolution Calculus for K

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules

A Standard Internal Calculus for Lewis’ Counterfactual Logics

Integrating Simplex with Tableaux

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