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

9783642221187, 9783642221194

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$

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

10.1007/978-3-642-22119-4_15 ◽

2011 ◽

pp. 180-195 ◽

Cited By ~ 3

Author(s):

Laura Giordano ◽

Valentina Gliozzi ◽

Nicola Olivetti ◽

Gian Luca Pozzato

Download Full-text

A Conditional Constructive Logic for Access Control and Its Sequent Calculus

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

10.1007/978-3-642-22119-4_14 ◽

2011 ◽

pp. 164-179 ◽

Cited By ~ 6

Author(s):

Valerio Genovese ◽

Laura Giordano ◽

Valentina Gliozzi ◽

Gian Luca Pozzato

Keyword(s):

Access Control ◽

Sequent Calculus ◽

Constructive Logic

Download Full-text

Schemata of SMT-Problems

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

10.1007/978-3-642-22119-4_5 ◽

2011 ◽

pp. 27-42 ◽

Cited By ~ 4

Author(s):

Vincent Aravantinos ◽

Nicolas Peltier

Download Full-text

Proof Theory and Algebra in Substructural Logics

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

10.1007/978-3-642-22119-4_3 ◽

2011 ◽

pp. 20-20

Author(s):

Kazushige Terui

Keyword(s):

Proof Theory ◽

Substructural Logics ◽

And Algebra

Download Full-text

Hybrid and First-Order Complete Extensions of CaRet

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

10.1007/978-3-642-22119-4_7 ◽

2011 ◽

pp. 58-72 ◽

Cited By ~ 1

Author(s):

Laura Bozzelli ◽

Ruggero Lanotte

Keyword(s):

First Order

Download Full-text

First-Order Tableaux in Applications (Extended Abstract)

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

10.1007/978-3-642-22119-4_2 ◽

2011 ◽

pp. 17-19

Author(s):

Ulrich Furbach

Keyword(s):

First Order

Download Full-text

The Modal μ-Calculus Caught Off Guard

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

10.1007/978-3-642-22119-4_13 ◽

2011 ◽

pp. 149-163 ◽

Cited By ~ 5

Author(s):

Oliver Friedmann ◽

Martin Lange

Download Full-text

On the Proof Complexity of Cut-Free Bounded Deep Inference

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

10.1007/978-3-642-22119-4_12 ◽

2011 ◽

pp. 134-148 ◽

Cited By ~ 1

Author(s):

Anupam Das

Keyword(s):

Proof Complexity ◽

Deep Inference

Download Full-text

MaLeCoP Machine Learning Connection Prover

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

10.1007/978-3-642-22119-4_21 ◽

2011 ◽

pp. 263-277 ◽

Cited By ~ 18

Author(s):

Josef Urban ◽

Jiří Vyskočil ◽

Petr Štěpánek

Keyword(s):

Machine Learning

Download Full-text

Craig Interpolation in Displayable Logics

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

10.1007/978-3-642-22119-4_9 ◽

2011 ◽

pp. 88-103 ◽

Cited By ~ 4

Author(s):

James Brotherston ◽

Rajeev Goré

Keyword(s):

Craig Interpolation

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

A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$

A Conditional Constructive Logic for Access Control and Its Sequent Calculus

Schemata of SMT-Problems

Proof Theory and Algebra in Substructural Logics

Hybrid and First-Order Complete Extensions of CaRet

First-Order Tableaux in Applications (Extended Abstract)

The Modal μ-Calculus Caught Off Guard

On the Proof Complexity of Cut-Free Bounded Deep Inference

MaLeCoP Machine Learning Connection Prover

Craig Interpolation in Displayable Logics

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