A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Annals of Mathematics and Artificial Intelligence
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Debugging Incoherent Terminologies
Journal of Automated Reasoning
On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Journal of Artificial Intelligence Research
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
Spartacus: A Tableau Prover for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Infrastructure and workflow for the formal evaluation of semantic search technologies
Proceedings of the 2011 workshop on Data infrastructurEs for supporting information retrieval evaluation
Semantic evaluation at large scale (SEALS)
Proceedings of the 21st international conference companion on World Wide Web
The QMLTP problem library for first-order modal logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
InKreSAT: modal reasoning via incremental reduction to SAT
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |