The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Franz Baader
    Tableau Algorithms for Description Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:1-18 [Conf]
  2. Melvin Fitting
    Modality and Databases. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:19-39 [Conf]
  3. Noriko H. Arai, Alasdair Urquhart
    Local Symmetries in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:40-51 [Conf]
  4. Fabio Massacci, Francesco M. Donini
    Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:52-56 [Conf]
  5. Volker Haarslev, Ralf Möller
    Consistency Testing: The RACE Experience. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:57-61 [Conf]
  6. Ian Horrocks
    Benchmark Analysis with FaCT. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:62-66 [Conf]
  7. Ullrich Hustadt, Renate A. Schmidt
    MSPASS: Modal Reasoning by Translation and First-Order Resolution. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:67-71 [Conf]
  8. Peter F. Patel-Schneider
    TANCS-2000 Results for DLP. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:72-76 [Conf]
  9. Armando Tacchella
    Evaluating *SAT on TANCS 2000 Benchmarks. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:77-81 [Conf]
  10. Alberto Artosi, Guido Governatori, Antonino Rotolo
    A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:82-97 [Conf]
  11. Arnon Avron
    A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:98-111 [Conf]
  12. Matthias Baaz, Christian G. Fermüller, Helmut Veith
    An Analytic Calculus for Quantified Propositional Gödel Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:112-126 [Conf]
  13. Diderik Batens, Joke Meheus
    A Tableau Method for Inconsistency-Adaptive Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:127-142 [Conf]
  14. Domenico Cantone, Calogero G. Zarba
    A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:143-159 [Conf]
  15. Agata Ciabattoni, Mauro Ferrari
    Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:160-174 [Conf]
  16. Marta Cialdea Mayer, Serenella Cerrito
    Variants of First-Order Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:175-189 [Conf]
  17. Stéphane Demri
    Complexity of Simple Dependent Bimodal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:190-204 [Conf]
  18. Uwe Egly
    Properties of Embeddings from Int to S4. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:205-219 [Conf]
  19. Melvin Fitting, Lars Thalmann, Andrei Voronkov
    Term-Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:220-236 [Conf]
  20. Enrico Giunchiglia, Armando Tacchella
    A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:237-251 [Conf]
  21. Rajeev Goré
    Dual Intuitionistic Logic Revisited. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:252-267 [Conf]
  22. Raymond D. Gumb
    Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:268-278 [Conf]
  23. Ortrun Ibens
    Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:279-293 [Conf]
  24. Christoph Kreitz, Brigitte Pientka
    Matrix-Based Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:294-308 [Conf]
  25. Pedro J. Martín, Antonio Gavilanes
    Monotonic Preorders for Free Variable Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:309-323 [Conf]
  26. Maarten Marx, Szabolcs Mikulás, Mark Reynolds
    The Mosaic Method for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:324-340 [Conf]
  27. Linh Anh Nguyen
    Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:341-351 [Conf]
  28. David Pearce, Inman P. de Guzmán, Agustín Valverde
    A Tableau Calculus for Equilibrium Entailment. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:352-367 [Conf]
  29. Carla Piazza, Alberto Policriti
    Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:368-382 [Conf]
  30. Riccardo Rosati
    Tableau Calculus for Only Knowing and Knowing at Most. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:383-397 [Conf]
  31. Stephan Schmitt
    A Tableau-Like Representation Framework for Efficient Proof Reconstruction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:398-414 [Conf]
  32. Dan E. Willard
    The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:415-430 [Conf]
  33. Joachim Draeger
    Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:431-435 [Conf]
  34. Gernot Stenz, Andreas Wolf
    E-SETHEO: An Automated3 Theorem Prover. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:436-440 [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