A. Heuerding and S. Schwendimann. A benchmark method for the propositional modal logics k, kt, s4. Technical Report IAM-96-015, University of Bern, Switzerland, October 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Direct Resolution for Modal-like Logics - Carlos Areces Juan (2002) (Correct)
Optimizing a BDD-based Modal Solver - Pan, Vardi (Correct)
Modelling Modal Satisfiability in Constraint Logic.. - Brand, Gennari, de Rijke (Correct)
DLP System Description - Patel-Schneider (1998) (Correct)
HyLoRes: A Hybrid Logic Prover Based on Direct Resolution - Areces, Heguiabehere (2002) (Correct)
BDD-Based Decision Procedures for K - Pan, Sattler, Vardi (2002) (10 citations) (Correct)
Towards a benchmark for Semantic Web reasoners - an analysis.. - Tempich, Volz (7 citations) (Correct)
Direct Resolution for Modal-like Logics - Carlos Areces Juan (2002) (Correct)
Structured Problems for Modal Satisfiability Testing - Heguiabehere, Lopez, de Rijke (Correct)
Building Logic Toolboxes - Heguiabehere (2003) (Correct)
Building Logic Toolboxes - Heguiabehere (2003) (Correct)
The Random Modal QBF Test Set - Heguiabehere, de Rijke (2001) (Correct)
Constraint Methods for Modal Satisfiability - Brand, Gennari, de Rijke (Correct)
Towards a benchmark for Semantic Web reasoners - an analysis.. - Tempich, Volz (2003) (7 citations) (Correct)
An Empirical Analysis Of Modal Theorem Provers - Hustadt, Schmidt (6 citations) (Correct)
Constraint Programming for - Modelling And Solving (Correct)
Constraint Methods for Modal Satisfiability - Brand, Gennari, de Rijke (Correct)
An Analysis of Empirical Testing for Modal Decision.. - Horrocks.. (2000) (22 citations) (Correct)
Optimizing Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (18 citations) (Correct)
Optimising Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (28 citations) (Correct)
Finite CSP Solvers for Modal Satisfiability - Brand, Gennari, de Rijke (2003) (Correct)
Constraint Programming for Modelling and Solving Modal.. - Brand, Gennari, de Rijke (2003) (Correct)
Constraint Programming for - Modelling And Solving (Correct)
HyLoRes: Direct Resolution for Hybrid Logics - Areces, Heguiabehere (Correct)
Logic Programming: The Case of Description and Hybrid Logic - Areces (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC