The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Matthias Baaz
    Proof Analysis by Resolution. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:1- [Conf]
  2. Dale Miller, Elaine Pimentel
    Using Linear Logic to Reason about Sequent Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:2-23 [Conf]
  3. Matthias Baaz, Agata Ciabattoni
    A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:24-37 [Conf]
  4. Patrick Blackburn, Maarten Marx
    Tableaux for Quantified Hybrid Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:38-52 [Conf]
  5. Nathalie Chetcuti-Sperandio
    Tableau-Based Automated Deduction for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:53-69 [Conf]
  6. Marta Cialdea Mayer, Carla Limongelli
    Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:70-84 [Conf]
  7. Anatoli Degtyarev, Michael Fisher, Boris Konev
    A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:85-99 [Conf]
  8. Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
    Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:100-114 [Conf]
  9. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    Tableau Calculi for the Logics of Finite k-Ary Trees. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:115-129 [Conf]
  10. Martin Giese
    A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:130-144 [Conf]
  11. Jan Hladik
    Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:145-159 [Conf]
  12. Reinhold Letz
    Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:160-175 [Conf]
  13. Reinhold Letz, Gernot Stenz
    Integration of Equality Reasoning into the Disconnection Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:176-190 [Conf]
  14. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Analytic Sequent Calculi for Abelian and ukasiewicz Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:191-205 [Conf]
  15. Linh Anh Nguyen
    Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:206-220 [Conf]
  16. Uwe Petermann
    A Confluent Theory Connection Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:221-234 [Conf]
  17. Viorica Sofronie-Stokkermans
    On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:235-250 [Conf]
  18. Balder ten Cate, Chung-chieh Shan
    Question Answering: From Partitions to Prolog. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:251-265 [Conf]
  19. Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer
    A General Theorem Prover for Quantified Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:266-280 [Conf]
  20. Dan E. Willard
    Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:281-297 [Conf]
  21. Claus-Peter Wirth
    A New Indefinite Semantics for Hilbert's Epsilon. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:298-314 [Conf]
  22. Calogero G. Zarba
    A Tableau Calculus for Combining Non-disjoint Theories. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:315-329 [Conf]
  23. L. Habert, J.-M. Notin, Didier Galmiche
    LINK: A Proof Environment Based on Proof Nets. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:330-334 [Conf]
  24. Gernot Stenz
    DCTP 1.2 - System Abstract. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:335-340 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002