Conferences in DBLP

Analytic Tableaux and Related Methods (TABLEAUX) (tableaux)
2007 (conf/tableaux/2007)

1. Piero A. Bonatti
   Nonmonotonic Description Logics - Requirements, Theory, and Implementations. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:1- [Conf]
   
2. John-Jules Ch. Meyer
   Our Quest for the Holy Grail of Agent Verification. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:2-9 [Conf]
   
3. Cesare Tinelli
   An Abstract Framework for Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:10- [Conf]
   
4. Franz Baader, Rafael Peñaloza
   Axiom Pinpointing in General Tableaux. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:11-27 [Conf]
   
5. Matthias Baaz, George Metcalfe
   Proof Theory for First Order Lukasiewicz Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:28-42 [Conf]
   
6. Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
   A Tableau Method for Public Announcement Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:43-59 [Conf]
   
7. Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
   Bounded Model Checking with Description Logic Reasoning. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:60-72 [Conf]
   
8. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
   Tableau Systems for Logics of Subinterval Structures over Dense Orderings. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:73-89 [Conf]
   
9. Linda Buisman, Rajeev Goré
   A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:90-106 [Conf]
   
10. Olivier Gasquet, Bilal Said
    Tableaux with Dynamic Filtration for Layered Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:107-118 [Conf]
    
11. Roderic A. Girle
    The Neighbourhood of S0.9 and S1. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:119-132 [Conf]
    
12. Rajeev Goré, Linh Anh Nguyen
    EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:133-148 [Conf]
    
13. Ryo Ishigaki, Kentaro Kikuchi
    Tree-Sequent Methods for Subintuitionistic Predicate Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:149-164 [Conf]
    
14. Ekaterina Komendantskaya
    A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:165-182 [Conf]
    
15. Neil V. Murray, Erik Rosenthal
    Updating Reduced Implicate Tries. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:183-198 [Conf]
    
16. Nicolas Peltier
    A Bottom-Up Approach to Clausal Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:199-215 [Conf]
    
17. André Platzer
    Differential Dynamic Logic for Verifying Parametric Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:216-232 [Conf]
    
18. Alessandro Avellone, Guido Fiorino, Ugo Moscato
    Improvements to the Tableau Prover PITP. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:233-237 [Conf]
    
19. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
    KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:238-244 [Conf]