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

9783540407874, 9783540452065

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tableau Calculi for Preference-Based Conditional Logics

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

10.1007/978-3-540-45206-5_9 ◽

2003 ◽

pp. 81-101 ◽

Cited By ~ 2

Author(s):

Laura Giordano ◽

Valentina Gliozzi ◽

Nicola Olivetti ◽

Camilla Schwind

Keyword(s):

Tableau Calculi

Download Full-text

CondLean: A Theorem Prover for Conditional Logics

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

10.1007/978-3-540-45206-5_23 ◽

2003 ◽

pp. 264-270 ◽

Cited By ~ 2

Author(s):

Nicola Olivetti ◽

Gian Luca Pozzato

Keyword(s):

Theorem Prover

Download Full-text

Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic

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

10.1007/978-3-540-45206-5_19 ◽

2003 ◽

pp. 237-245

Author(s):

Frank M. Brown

Keyword(s):

Modal Logic ◽

Decision Procedures ◽

Second Order ◽

Order Logic ◽

Nonmonotonic Logic ◽

First Order ◽

Second Order Logic

Download Full-text

A Tableau Algorithm for Reasoning about Concepts and Similarity

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

10.1007/978-3-540-45206-5_12 ◽

2003 ◽

pp. 134-149 ◽

Cited By ~ 5

Author(s):

Carsten Lutz ◽

Frank Wolter ◽

Michael Zakharyaschev

Keyword(s):

Tableau Algorithm

Download Full-text

A General Tableau Method for Propositional Interval Temporal Logics

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

10.1007/978-3-540-45206-5_10 ◽

2003 ◽

pp. 102-116 ◽

Cited By ~ 6

Author(s):

Valentin Goranko ◽

Angelo Montanari ◽

Guido Sciavicco

Keyword(s):

Temporal Logics ◽

Tableau Method ◽

Interval Temporal Logics

Download Full-text

Tableaux with Four Signs as a Unified Framework

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

10.1007/978-3-540-45206-5_4 ◽

2003 ◽

pp. 4-16 ◽

Cited By ~ 3

Author(s):

Arnon Avron

Keyword(s):

Unified Framework

Download Full-text

Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract)

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

10.1007/978-3-540-45206-5_3 ◽

2003 ◽

pp. 3-3

Author(s):

Johann Schumann

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Safety Critical

Download Full-text

The Tableaux Work Bench

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

10.1007/978-3-540-45206-5_18 ◽

2003 ◽

pp. 230-236 ◽

Cited By ~ 11

Author(s):

Pietro Abate ◽

Rajeev Goré

Download Full-text

A Free Variable Sequent Calculus with Uniform Variable Splitting

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

10.1007/978-3-540-45206-5_17 ◽

2003 ◽

pp. 214-229 ◽

Cited By ~ 5

Author(s):

Arild Waaler ◽

Roger Antonsen

Keyword(s):

Sequent Calculus ◽

Free Variable ◽

Variable Splitting

Download Full-text

Universal Variables in Disconnection Tableaux

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

10.1007/978-3-540-45206-5_11 ◽

2003 ◽

pp. 117-133 ◽

Cited By ~ 4

Author(s):

Reinhold Letz ◽

Gernot Stenz

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

Tableau Calculi for Preference-Based Conditional Logics

CondLean: A Theorem Prover for Conditional Logics

Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic

A Tableau Algorithm for Reasoning about Concepts and Similarity

A General Tableau Method for Propositional Interval Temporal Logics

Tableaux with Four Signs as a Unified Framework

Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract)

The Tableaux Work Bench

A Free Variable Sequent Calculus with Uniform Variable Splitting

Universal Variables in Disconnection Tableaux

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