, Tableaux'98 Results
Computational modal logic, 2003. ,
Overview and analysis of the SAT Challenge 2012 solver competition, Artif. Intell, vol.223, pp.120-155, 2015. ,
Comparison of theorem provers for modal logics : introduction and summary, Autom. Reasoning with Analytic Tableaux and Related Methods, pp.25-26, 1998. ,
A Benchmark Method for the Propositional Modal Logics K, KT, S4, J. Autom. Reasoning, vol.24, issue.3, pp.297-317, 2000. ,
, Satisfiability: Suggested Format. DIMACS Challenge. DIMACS, 1993.
Model checking, 1999. ,
Practical Verification of Decision-Making in Agent-Based Autonomous Systems, 2013. ,
An Extensible SAT-solver, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Selected Revised Papers, pp.502-518, 2003. ,
Modal Resolution in Clausal Form, Theor. Comput. Sci, vol.65, issue.1, pp.1-33, 1989. ,
Kripke's Worlds -An Introduction to Modal Logics via Tableaux. Studies in Universal Logic, 2014. ,
System description: *SAT: A platform for the development of modal decision procedures, Automated Deduction -CADE-17 Proceedings, pp.291-296, 2000. ,
SAT-Based Decision Procedures for Classical Modal Logics, J. Automated Reasoning, vol.28, issue.2, pp.143-171, 2002. ,
Spartacus: A Tableau Prover for Hybrid Logic, ENTCS, vol.262, pp.127-139, 2010. ,
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief, Artificial Intelligence, vol.54, issue.2, pp.319-379, 1992. ,
Propositional logics on the computer, Theorem Proving with Analytic Tableaux and Related Methods, pp.310-323, 1995. ,
Trimming while checking clausal proofs, FMCAD 2013, pp.181-188, 2013. ,
, LWB 1.1 Manual. Unpublished, 1997.
, The International SAT Solver Competitions. AI Magazine, vol.33, issue.1, 2012.
InKreSAT: Modal Reasoning via Incremental Reduction to SAT, Automated Deduction -CADE-24 Proceedings, pp.436-442, 2013. ,
Semantical analysis of modal logic i normal modal propositional calculi, Mathematical Logic Quarterly, vol.9, issue.5-6, pp.67-96, 1963. ,
The computational complexity of provability in systems of modal propositional logic, SIAM Journal of Computing, 1977. ,
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison, Autom. Reasoning, International Conf., '99 Proceedings, pp.14-18, 1999. ,
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison, Autom. Reasoning., International Conf., 2000 Proceedings, pp.52-56, 2000. ,
Evaluating and certifying QBFs: A comparison of state-of-the-art tools, AI Communications, vol.22, issue.4, pp.191-210, 2009. ,
Description-logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort, 1993. ,
Controlling a solver execution with the runsolver tool system description, Boolean Modeling and Computation, vol.7, pp.139-144, 2011. ,
Minimal proof search for modal logic K model checking, 2012. ,
Attributive Concept Descriptions with Complements, Artificial Intelligence, vol.48, issue.1, pp.1-26, 1991. ,
Automated reasoning in modal and description logics via SAT encoding: the case study of k(m)/alc-satisfiability, J. Artif. Intell. Res. (JAIR), vol.35, pp.343-389, 2009. ,
The SAT2002 competition, Annals of Mathematics and Artificial Intelligence, vol.43, issue.1, pp.307-342, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00022662
Pigeon hole principle, JFM, vol.2, p.0, 1990. ,
FACT++ Description Logic Reasoner: System Description, IJCAR 2006 Proceedings, pp.292-297, 2006. ,
Spass Version 2.0, Aut. Deduction CADE18, pp.275-279, 2002. ,
SATO: An Efficient Propositional Prover, Automated Deduction -CADE-14 Proceedings, pp.272-275, 1997. ,