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

9783540629207, 9783540690467

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A framework for using knowledge in tableau proofs

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

10.1007/bfb0027424 ◽

1997 ◽

pp. 328-342

Author(s):

Benjamin Shults

Download Full-text

Simplifying and generalizing formulae in tableaux. Pruning the search space and building models

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

10.1007/bfb0027423 ◽

1997 ◽

pp. 313-327 ◽

Cited By ~ 3

Author(s):

Nicolas Peltier

Keyword(s):

Search Space ◽

Building Models

Download Full-text

A sequent calculus for skeptical Default Logic

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

10.1007/bfb0027408 ◽

1997 ◽

pp. 107-121 ◽

Cited By ~ 8

Author(s):

P. A. Bonatti ◽

N. Olivetti

Keyword(s):

Sequent Calculus ◽

Default Logic

Download Full-text

A sequent calculus for reasoning in four-valued Description Logics

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

10.1007/bfb0027425 ◽

1997 ◽

pp. 343-357 ◽

Cited By ~ 20

Author(s):

Umberto Straccia

Keyword(s):

Sequent Calculus ◽

Description Logics

Download Full-text

Ordered tableaux: Extensions and applications

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

10.1007/bfb0027413 ◽

1997 ◽

pp. 173-187 ◽

Cited By ~ 4

Author(s):

Reiner Hähnle ◽

Christian Pape

Download Full-text

Automated natural deduction prover and experiments

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

10.1007/bfb0027411 ◽

1997 ◽

pp. 153-157

Author(s):

Li Dafa ◽

Jia Peifa

Keyword(s):

Natural Deduction

Download Full-text

On quasitautologies

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

10.1007/bfb0027417 ◽

1997 ◽

pp. 231-245

Author(s):

Ján Komara ◽

Paul J. Voda

Download Full-text

Tableaux methods for access control in distributed systems

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

10.1007/bfb0027418 ◽

1997 ◽

pp. 246-260 ◽

Cited By ~ 4

Author(s):

Fabio Massacci

Keyword(s):

Distributed Systems ◽

Access Control

Download Full-text

A tableau proof system for a mazurkiewicz trace logic with fixpoints

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

10.1007/bfb0027421 ◽

1997 ◽

pp. 291-306

Author(s):

Peter Niebert ◽

Barbara Sprick

Keyword(s):

Proof System

Download Full-text

Tableaux for logic programming with strong negation

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

10.1007/bfb0027403 ◽

1997 ◽

pp. 31-42 ◽

Cited By ~ 5

Author(s):

Seiki Akama

Keyword(s):

Logic Programming ◽

Strong Negation

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 framework for using knowledge in tableau proofs

Simplifying and generalizing formulae in tableaux. Pruning the search space and building models

A sequent calculus for skeptical Default Logic

A sequent calculus for reasoning in four-valued Description Logics

Ordered tableaux: Extensions and applications

Automated natural deduction prover and experiments

On quasitautologies

Tableaux methods for access control in distributed systems

A tableau proof system for a mazurkiewicz trace logic with fixpoints

Tableaux for logic programming with strong negation

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