12. TABLEAUX 2003: Rome, Italy

@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

• V. Michele Abrusci:
  Non Commutative Logic: A Survey. 1
  
• Thierry Coquand:
  Dynamical Method in Algebra: A Survey. 2
  
• Johann 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-16
  
• Olivier Brunet:
  A Labelled Sequent-Calculus for Observation Logic. 17-31
  
• Agata Ciabattoni, George Metcalfe:
  Bounded Lukasiewicz Logics. 32-47
  
• Christian G. Fermüller:
  Parallel Dialogue Games and Hypersequents for Intermediate Logics. 48-64
  
• Martin Giese:
  Simplification Rules for Constrained Formula Tableaux. 65-80
  
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
  Tableau Calculi for Preference-Based Conditional Logics. 81-101
  
• Valentin Goranko, Angelo Montanari, Guido Sciavicco:
  A General Tableau Method for Propositional Interval Temporal Logics. 102-116
  
• Reinhold Letz, Gernot Stenz:
  Universal Variables in Disconnection Tableaux. 117-133
  
• Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
  A Tableau Algorithm for Reasoning about Concepts and Similarity. 134-149
  
• Maarten Marx:
  XPath and Modal Logics of Finite DAG's. 150-164
  
• Neil V. Murray, Erik Rosenthal:
  Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. 165-180
  
• Nicolas Peltier:
  A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. 181-195
  
• Miroslav N. Velev:
  Automatic Abstraction of Equations in a Logic of Equality. 196-213
  
• Arild 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-236
  
• Frank M. Brown:
  Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. 237-245
  
• Frank M. Brown:
  Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. 246-251
  
• Reiner Hähnle, Niklas Sörensson:
  Fair Constraint Merging Tableaux in Lazy Functional Programming Style. 252-256
  
• Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
  SOLAR: A Consequence Finding System for Advanced Reasoning. 257-263
  
• Nicola Olivetti, Gian Luca Pozzato:
  CondLean: A Theorem Prover for Conditional Logics. 264-270
  

Last update Fri May 25 08:42:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page