| Publication | Date of Publication | Type |
|---|
| Model construction for modal clauses | 2025-01-31 | Paper |
| Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic | 2024-04-26 | Paper |
Local is best: efficient reductions to modal logic \textsf{K}
Journal of Automated Reasoning | 2022-12-12 | Paper |
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}''
Journal of Automated Reasoning | 2022-12-12 | Paper |
| Local reductions for the modal cube | 2022-12-07 | Paper |
| Efficient local reductions to basic modal logic | 2021-12-01 | Paper |
| A resolution prover for coalition logic | 2021-06-22 | Paper |
A resolution prover for coalition logic
(available as arXiv preprint) | 2021-06-22 | Paper |
Theorem proving for pointwise metric temporal logic over the naturals via translations
Journal of Automated Reasoning | 2021-02-17 | Paper |
\(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
Journal of Automated Reasoning | 2020-03-03 | Paper |
Modal Resolution
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Theorem proving for metric temporal logic over the naturals | 2017-09-22 | Paper |
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
\({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
Automated Reasoning | 2016-09-05 | Paper |
A Modal-Layered Resolution Calculus for K
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Ordered resolution for coalition logic
Lecture Notes in Computer Science | 2015-12-11 | Paper |
A resolution-based calculus for coalition logic
Journal Of Logic And Computation | 2015-01-12 | Paper |
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic | 2014-04-16 | Paper |
First-order resolution methods for modal logics
Programming Logics | 2013-04-19 | Paper |
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
CTL-RP: A computation tree logic resolution prover
AI Communications | 2010-06-17 | Paper |
Implementing a fair monodic temporal logic prover
AI Communications | 2010-06-17 | Paper |
A principle for incorporating axioms into the first-order translation of modal formulae.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Fair Derivations in Monodic Temporal Reasoning
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
A Refined Resolution Calculus for CTL
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Automated Reasoning About Metric and Topology
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Deciding expressive description logics in the framework of resolution
Information and Computation | 2008-05-19 | Paper |
Reasoning in description logics by a reduction to disjunctive datalog
Journal of Automated Reasoning | 2007-12-03 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Interactions between knowledge, action and commitment within agent dynamic logic
Studia Logica | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2090304 (Why is no real title available?) | 2004-08-12 | Paper |
An empirical analysis of modal theorem provers
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
Hyperresolution for guarded formulae
Journal of Symbolic Computation | 2003-08-25 | Paper |
Using resolution for testing modal satisfiability and building models
Journal of Automated Reasoning | 2002-08-20 | Paper |
| scientific article; zbMATH DE number 1735878 (Why is no real title available?) | 2002-04-29 | Paper |
| Using resolution for testing modal satisfiability and building models | 2001-11-21 | Paper |
| Resolution decision procedures | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1614714 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1612541 (Why is no real title available?) | 2001-07-01 | Paper |
Resolution-based methods for modal logics
Logic Journal of the IGPL | 2000-11-07 | Paper |
| scientific article; zbMATH DE number 1507191 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1341614 (Why is no real title available?) | 2000-02-17 | Paper |
| scientific article; zbMATH DE number 1189104 (Why is no real title available?) | 1998-10-08 | Paper |
| scientific article; zbMATH DE number 970635 (Why is no real title available?) | 1997-11-05 | Paper |
| scientific article; zbMATH DE number 847980 (Why is no real title available?) | 1996-06-27 | Paper |
