Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar12. TABLEAUX 2003: Rome, Italy
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
V. Michele Abrusci:
Non Commutative Logic: A Survey. 1Thierry Coquand:
Dynamical Method in Algebra: A Survey. 2Johann Schumann:
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. 3
Research Papers
Arnon Avron:
Tableaux with Four Signs as a Unified Framework. 4-16Olivier Brunet:
A Labelled Sequent-Calculus for Observation Logic. 17-31Agata Ciabattoni, George Metcalfe:
Bounded Lukasiewicz Logics. 32-47Christian G. Fermüller:
Parallel Dialogue Games and Hypersequents for Intermediate Logics. 48-64Martin Giese:
Simplification Rules for Constrained Formula Tableaux. 65-80Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. 81-101Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics. 102-116Reinhold Letz, Gernot Stenz:
Universal Variables in Disconnection Tableaux. 117-133Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity. 134-149Maarten Marx:
XPath and Modal Logics of Finite DAG's. 150-164Neil V. Murray, Erik Rosenthal:
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. 165-180Nicolas Peltier:
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. 181-195Miroslav N. Velev:
Automatic Abstraction of Equations in a Logic of Equality. 196-213Arild Waaler, Roger Antonsen:
A Free Variable Sequent Calculus with Uniform Variable Splitting. 214-229
System Description
Pietro Abate, Rajeev Goré:
The Tableaux Work Bench. 230-236Frank M. Brown:
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. 237-245Frank M. Brown:
Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. 246-251Reiner Hähnle, Niklas Sörensson:
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. 252-256Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
SOLAR: A Consequence Finding System for Advanced Reasoning. 257-263Nicola Olivetti, Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics. 264-270
last updated on 2019-10-14 23:05 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
