12. TABLEAUX 2003:
Rome,
Italy
Marta Cialdea Mayer, Fiora Pirri (Eds.):
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 BibTeX
@proceedings{DBLP:conf/tableaux/2003,
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {Automated Reasoning with Analytic Tableaux and Related Methods,
International Conference, TABLEAUX 2003, Rome, Italy, September
9-12, 2003. Proceedings},
booktitle = {TABLEAUX},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2796},
year = {2003},
isbn = {3-540-40787-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Short Abstracts of Invitd Lectures
Research Papers
- Arnon Avron:
Tableaux with Four Signs as a Unified Framework.
4-16
Electronic Edition (link) BibTeX
- Olivier Brunet:
A Labelled Sequent-Calculus for Observation Logic.
17-31
Electronic Edition (link) BibTeX
- Agata Ciabattoni, George Metcalfe:
Bounded Lukasiewicz Logics.
32-47
Electronic Edition (link) BibTeX
- Christian G. Fermüller:
Parallel Dialogue Games and Hypersequents for Intermediate Logics.
48-64
Electronic Edition (link) BibTeX
- Martin Giese:
Simplification Rules for Constrained Formula Tableaux.
65-80
Electronic Edition (link) BibTeX
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics.
81-101
Electronic Edition (link) BibTeX
- Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics.
102-116
Electronic Edition (link) BibTeX
- Reinhold Letz, Gernot Stenz:
Universal Variables in Disconnection Tableaux.
117-133
Electronic Edition (link) BibTeX
- Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity.
134-149
Electronic Edition (link) BibTeX
- Maarten Marx:
XPath and Modal Logics of Finite DAG's.
150-164
Electronic Edition (link) BibTeX
- Neil V. Murray, Erik Rosenthal:
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.
165-180
Electronic Edition (link) BibTeX
- Nicolas Peltier:
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models.
181-195
Electronic Edition (link) BibTeX
- Miroslav N. Velev:
Automatic Abstraction of Equations in a Logic of Equality.
196-213
Electronic Edition (link) BibTeX
- Arild Waaler, Roger Antonsen:
A Free Variable Sequent Calculus with Uniform Variable Splitting.
214-229
Electronic Edition (link) BibTeX
System Description
Copyright © Sat May 16 23:43:24 2009
by Michael Ley (ley@uni-trier.de)
