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

9783540289319, 9783540318224

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cyclic Proofs for First-Order Logic with Inductive Definitions

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

10.1007/11554554_8 ◽

2005 ◽

pp. 78-92 ◽

Cited By ~ 30

Author(s):

James Brotherston

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Inductive Definitions

Download Full-text

A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity

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

10.1007/11554554_9 ◽

2005 ◽

pp. 93-107 ◽

Cited By ~ 2

Author(s):

Domenico Cantone ◽

Calogero G. Zarba

Keyword(s):

Graph Theory ◽

Decision Procedure

Download Full-text

Pdk: The System and Its Language

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

10.1007/11554554_23 ◽

2005 ◽

pp. 307-311

Author(s):

Marta Cialdea Mayer ◽

Carla Limongelli ◽

Andrea Orlandini ◽

Valentina Poggioni

Download Full-text

Consistency of Variable Splitting in Free Variable Systems of First-Order Logic

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

10.1007/11554554_5 ◽

2005 ◽

pp. 33-47 ◽

Cited By ~ 2

Author(s):

Roger Antonsen ◽

Arild Waaler

Keyword(s):

Free Variable ◽

Order Logic ◽

First Order Logic ◽

First Order ◽

Variable Splitting

Download Full-text

Automated Reasoning in the Context of the Semantic Web

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

10.1007/11554554_3 ◽

2005 ◽

pp. 14-14

Author(s):

Hans Jürgen Ohlbach

Keyword(s):

Semantic Web ◽

Automated Reasoning

Download Full-text

Unit Propagation in a Tableau Framework

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

10.1007/11554554_29 ◽

2005 ◽

pp. 338-342

Author(s):

Gernot Stenz

Keyword(s):

Unit Propagation

Download Full-text

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic

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

10.1007/11554554_28 ◽

2005 ◽

pp. 333-337 ◽

Cited By ~ 4

Author(s):

Thomas Raths ◽

Jens Otten ◽

Christoph Kreitz

Keyword(s):

Intuitionistic Logic ◽

Theorem Provers

Download Full-text

Proof Output and Transformation for Disconnection Tableaux

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

10.1007/11554554_24 ◽

2005 ◽

pp. 312-317

Author(s):

Philipp Correll ◽

Gernot Stenz

Download Full-text

Comparing Instance Generation Methods for Automated Reasoning

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

10.1007/11554554_13 ◽

2005 ◽

pp. 153-168 ◽

Cited By ~ 1

Author(s):

Swen Jacobs ◽

Uwe Waldmann

Keyword(s):

Automated Reasoning ◽

Instance Generation

Download Full-text

LoTREC: Logical Tableaux Research Engineering Companion

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

10.1007/11554554_25 ◽

2005 ◽

pp. 318-322 ◽

Cited By ~ 16

Author(s):

Olivier Gasquet ◽

Andreas Herzig ◽

Dominique Longin ◽

Mohamad Sahade

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

Cyclic Proofs for First-Order Logic with Inductive Definitions

A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity

Pdk: The System and Its Language

Consistency of Variable Splitting in Free Variable Systems of First-Order Logic

Automated Reasoning in the Context of the Semantic Web

Unit Propagation in a Tableau Framework

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic

Proof Output and Transformation for Disconnection Tableaux

Comparing Instance Generation Methods for Automated Reasoning

LoTREC: Logical Tableaux Research Engineering Companion

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