ask others

12. TABLEAUX 2003: Rome, Italy

> Home > Conferences and Workshops > TABLEAUX

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/2003
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/2003
Marta Cialdea Mayer, Fiora Pirri:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Lecture Notes in Computer Science 2796, Springer 2003, ISBN 3-540-40787-1

Short Abstracts of Invitd Lectures

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Abrusci03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Abrusci03
V. Michele Abrusci:
Non Commutative Logic: A Survey. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Coquand03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Coquand03
Thierry Coquand:
Dynamical Method in Algebra: A Survey. 2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Schumann03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Schumann03
Johann Schumann:
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. 3

Research Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Avron03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Avron03
Arnon Avron:
Tableaux with Four Signs as a Unified Framework. 4-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Brunet03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Brunet03
Olivier Brunet:
A Labelled Sequent-Calculus for Observation Logic. 17-31
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/CiabattoniM03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/CiabattoniM03
Agata Ciabattoni, George Metcalfe:
Bounded Lukasiewicz Logics. 32-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Fermuller03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Fermuller03
Christian G. Fermüller:
Parallel Dialogue Games and Hypersequents for Intermediate Logics. 48-64
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Giese03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Giese03
Martin Giese:
Simplification Rules for Constrained Formula Tableaux. 65-80
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/GiordanoGOS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/GiordanoGOS03
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. 81-101
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/GorankoMS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/GorankoMS03
Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics. 102-116
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/LetzS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/LetzS03
Reinhold Letz, Gernot Stenz:
Universal Variables in Disconnection Tableaux. 117-133
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/LutzWZ03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/LutzWZ03
Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity. 134-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Marx03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Marx03
Maarten Marx:
XPath and Modal Logics of Finite DAG's. 150-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/MurrayR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/MurrayR03
Neil V. Murray, Erik Rosenthal:
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. 165-180
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Peltier03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Peltier03
Nicolas Peltier:
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. 181-195
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Velev03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Velev03
Miroslav N. Velev:
Automatic Abstraction of Equations in a Logic of Equality. 196-213
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/WaalerA03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/WaalerA03
Arild Waaler, Roger Antonsen:
A Free Variable Sequent Calculus with Uniform Variable Splitting. 214-229

System Description

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/AbateG03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/AbateG03
Pietro Abate, Rajeev Goré:
The Tableaux Work Bench. 230-236
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Brown03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Brown03
Frank M. Brown:
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. 237-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Brown03a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Brown03a
Frank M. Brown:
Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. 246-251
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/HanleS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/HanleS03
Reiner Hähnle, Niklas Sörensson:
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. 252-256
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/NabeshimaII03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/NabeshimaII03
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
SOLAR: A Consequence Finding System for Advanced Reasoning. 257-263
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/OlivettiP03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/OlivettiP03
Nicola Olivetti, Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics. 264-270

maintained by

, founded at