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

9783642027154, 9783642027161

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof Systems for a Gödel Modal Logic

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

10.1007/978-3-642-02716-1_20 ◽

2009 ◽

pp. 265-279 ◽

Cited By ~ 5

Author(s):

George Metcalfe ◽

Nicola Olivetti

Keyword(s):

Modal Logic ◽

Proof Systems

Download Full-text

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

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

10.1007/978-3-642-02716-1_18 ◽

2009 ◽

pp. 235-249 ◽

Cited By ~ 3

Author(s):

Mark Kaminski ◽

Sigurd Schneider ◽

Gert Smolka

Keyword(s):

Hybrid Logic

Download Full-text

Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus

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

10.1007/978-3-642-02716-1_9 ◽

2009 ◽

pp. 108-122 ◽

Cited By ~ 3

Author(s):

Bianca Boretti ◽

Sara Negri

Keyword(s):

Fixed Point ◽

Linear Time

Download Full-text

A Novel Architecture for Situation Awareness Systems

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

10.1007/978-3-642-02716-1_7 ◽

2009 ◽

pp. 77-92 ◽

Cited By ~ 29

Author(s):

Franz Baader ◽

Andreas Bauer ◽

Peter Baumgartner ◽

Anne Cregan ◽

Alfredo Gabaldon ◽

...

Keyword(s):

Situation Awareness

Download Full-text

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus

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

10.1007/978-3-642-02716-1_3 ◽

2009 ◽

pp. 17-31 ◽

Cited By ~ 5

Author(s):

Régis Alenda ◽

Nicola Olivetti ◽

Camilla Schwind

Keyword(s):

Comparative Concept ◽

Concept Similarity

Download Full-text

Tableaux for Projection Computation and Knowledge Compilation

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

10.1007/978-3-642-02716-1_24 ◽

2009 ◽

pp. 325-340 ◽

Cited By ~ 3

Author(s):

Christoph Wernhard

Keyword(s):

Knowledge Compilation

Download Full-text

Canonical Constructive Systems

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

10.1007/978-3-642-02716-1_6 ◽

2009 ◽

pp. 62-76 ◽

Cited By ~ 1

Author(s):

Arnon Avron ◽

Ori Lahav

Download Full-text

Tableaux and Model Checking for Memory Logics

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

10.1007/978-3-642-02716-1_5 ◽

2009 ◽

pp. 47-61 ◽

Cited By ~ 4

Author(s):

Carlos Areces ◽

Diego Figueira ◽

Daniel Gorín ◽

Sergio Mera

Keyword(s):

Model Checking

Download Full-text

On the Use of Automata for Deciding Linear Arithmetic

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

10.1007/978-3-642-02716-1_2 ◽

2009 ◽

pp. 16-16 ◽

Cited By ~ 1

Author(s):

Pierre Wolper

Keyword(s):

Linear Arithmetic

Download Full-text

Prime Implicate Tries

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

10.1007/978-3-642-02716-1_19 ◽

2009 ◽

pp. 250-264 ◽

Cited By ~ 7

Author(s):

Andrew Matusiewicz ◽

Neil V. Murray ◽

Erik Rosenthal

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

Proof Systems for a Gödel Modal Logic

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus

A Novel Architecture for Situation Awareness Systems

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus

Tableaux for Projection Computation and Knowledge Compilation

Canonical Constructive Systems

Tableaux and Model Checking for Memory Logics

On the Use of Automata for Deciding Linear Arithmetic

Prime Implicate Tries

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