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

9783540730989, 9783540730996

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Neighbourhood of S0.9 and S1

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

10.1007/978-3-540-73099-6_11 ◽

2007 ◽

pp. 119-132 ◽

Cited By ~ 1

Author(s):

Roderic A. Girle

Download Full-text

Updating Reduced Implicate Tries

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

10.1007/978-3-540-73099-6_15 ◽

2007 ◽

pp. 183-198 ◽

Cited By ~ 2

Author(s):

Neil V. Murray ◽

Erik Rosenthal

Download Full-text

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

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

10.1007/978-3-540-73099-6_14 ◽

2007 ◽

pp. 165-182 ◽

Cited By ~ 1

Author(s):

Ekaterina Komendantskaya

Keyword(s):

Sequent Calculus

Download Full-text

Axiom Pinpointing in General Tableaux

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

10.1007/978-3-540-73099-6_4 ◽

2007 ◽

pp. 11-27 ◽

Cited By ~ 14

Author(s):

Franz Baader ◽

Rafael Peñaloza

Download Full-text

Proof Theory for First Order Łukasiewicz Logic

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

10.1007/978-3-540-73099-6_5 ◽

2007 ◽

pp. 28-42 ◽

Cited By ~ 1

Author(s):

Matthias Baaz ◽

George Metcalfe

Keyword(s):

Proof Theory ◽

Łukasiewicz Logic ◽

First Order ◽

Lukasiewicz Logic

Download Full-text

Tableaux with Dynamic Filtration for Layered Modal Logics

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

10.1007/978-3-540-73099-6_10 ◽

2007 ◽

pp. 107-118 ◽

Cited By ~ 1

Author(s):

Olivier Gasquet ◽

Bilal Said

Keyword(s):

Modal Logics ◽

Dynamic Filtration

Download Full-text

An Abstract Framework for Satisfiability Modulo Theories

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

10.1007/978-3-540-73099-6_3 ◽

2007 ◽

pp. 10-10 ◽

Cited By ~ 1

Author(s):

Cesare Tinelli

Keyword(s):

Satisfiability Modulo Theories ◽

Abstract Framework

Download Full-text

Our Quest for the Holy Grail of Agent Verification

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

10.1007/978-3-540-73099-6_2 ◽

2007 ◽

pp. 2-9 ◽

Cited By ~ 3

Author(s):

John-Jules Ch. Meyer

Keyword(s):

Holy Grail

Download Full-text

Tableau Systems for Logics of Subinterval Structures over Dense Orderings

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

10.1007/978-3-540-73099-6_8 ◽

2007 ◽

pp. 73-89 ◽

Cited By ~ 6

Author(s):

Davide Bresolin ◽

Valentin Goranko ◽

Angelo Montanari ◽

Pietro Sala

Keyword(s):

Tableau Systems

Download Full-text

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

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

10.1007/978-3-540-73099-6_17 ◽

2007 ◽

pp. 216-232 ◽

Cited By ~ 19

Author(s):

André Platzer

Keyword(s):

Hybrid Systems ◽

Dynamic Logic

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

The Neighbourhood of S0.9 and S1

Updating Reduced Implicate Tries

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

Axiom Pinpointing in General Tableaux

Proof Theory for First Order Łukasiewicz Logic

Tableaux with Dynamic Filtration for Layered Modal Logics

An Abstract Framework for Satisfiability Modulo Theories

Our Quest for the Holy Grail of Agent Verification

Tableau Systems for Logics of Subinterval Structures over Dense Orderings

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

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