| Publication | Date of Publication | Type |
|---|
| Refined tableau systems for some modal logics of confluence | 2026-02-10 | Paper |
| Uniform interpolation and forgetting for large-scale ontologies with application to semantic difference in SNOMED CT | 2026-01-21 | Paper |
| Computing witnesses using the SCAN algorithm | 2026-01-21 | Paper |
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Journal of Automated Reasoning | 2024-02-06 | Paper |
| Saturation-based uniform interpolation for multi-modal logics | 2023-03-24 | Paper |
| Semantic forgetting in expressive description logics | 2022-03-24 | Paper |
| Automating automated reasoning. The case of two generic automated reasoning tools | 2020-06-04 | Paper |
| Extending forgetting-based abduction using nominals | 2020-05-13 | Paper |
| FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions | 2020-03-10 | Paper |
Blocking and other enhancements for bottom-up model generation methods
Journal of Automated Reasoning | 2020-03-03 | Paper |
Reinterpreting dependency schemes: soundness meets incompleteness in DQBF
Journal of Automated Reasoning | 2019-09-02 | Paper |
| FAME: an automated tool for semantic forgetting in expressive description logics | 2018-10-18 | Paper |
| Axiomatic and tableau-based reasoning for \(Kt (H, R)\) | 2018-04-23 | Paper |
| Rule refinement for semantic tableau calculi | 2018-02-02 | Paper |
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A tableau calculus for minimal modal model generation
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Lifting QBF resolution calculi to DQBF
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Lifting QBF resolution calculi to DQBF
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
A tableau method for checking rule admissibility in S4
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Simulation and synthesis of deduction calculi
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
A bi-intuitionistic modal logic: foundations and automation
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Modal tableau systems with blocking and congruence closure
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
Automated Reasoning | 2014-09-26 | Paper |
Terminating minimal model generation procedures for propositional modal logics
Automated Reasoning | 2014-09-26 | Paper |
Using tableau to decide description logics with full role negation and identity
ACM Transactions on Computational Logic | 2014-04-16 | Paper |
Tableau Development for a Bi-intuitionistic Tense Logic
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints
Frontiers of Combining Systems | 2013-09-20 | Paper |
Computing minimal models modulo subset-simulation for modal logics
Frontiers of Combining Systems | 2013-09-20 | Paper |
First-order resolution methods for modal logics
Programming Logics | 2013-04-19 | Paper |
Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete
Information Processing Letters | 2013-03-21 | Paper |
The Ackermann approach for modal logic, correspondence theory and second-order reduction
Journal of Applied Logic | 2012-05-23 | Paper |
\textsc{MetTeL}: a tableau prover with logic-independent inference engine
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Synthesising terminating tableau calculi for relational logics (invited paper)
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Automated synthesis of tableau calculi
Logical Methods in Computer Science | 2011-05-26 | Paper |
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A principle for incorporating axioms into the first-order translation of modal formulae.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Automated synthesis of tableau calculi
Lecture Notes in Computer Science | 2009-12-01 | Paper |
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence | 2009-11-16 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
On combinations of propositional dynamic logic and doxastic modal logics
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Automated Reasoning | 2009-03-12 | Paper |
System Description: Spass Version 3.0
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
| Second-order quantifier elimination. Foundations, computational aspects and applications | 2008-12-04 | Paper |
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
Automated Reasoning | 2008-11-27 | Paper |
Improved Second-Order Quantifier Elimination in Modal Logic
Logics in Artificial Intelligence | 2008-10-27 | Paper |
| scientific article; zbMATH DE number 5295699 (Why is no real title available?) | 2008-07-01 | 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 |
| scientific article; zbMATH DE number 2196600 (Why is no real title available?) | 2005-08-22 | Paper |
Interactions between knowledge, action and commitment within agent dynamic logic
Studia Logica | 2005-04-07 | Paper |
Multi-agent dynamic logics with informational test
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | 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 |
| scientific article; zbMATH DE number 1931647 (Why is no real title available?) | 2003-06-20 | Paper |
Using resolution for testing modal satisfiability and building models
Journal of Automated Reasoning | 2002-08-20 | Paper |
The Possibility of Generating True Conjectures
Journal Of Logic And Computation | 2002-06-23 | Paper |
| scientific article; zbMATH DE number 1735878 (Why is no real title available?) | 2002-04-29 | Paper |
| scientific article; zbMATH DE number 2024628 (Why is no real title available?) | 2002-01-01 | Paper |
Functional translation and second-order frame properties of modal logics
Journal Of Logic And Computation | 2001-11-25 | Paper |
| Using resolution for testing modal satisfiability and building models | 2001-11-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 1215470 (Why is no real title available?) | 1999-06-07 | Paper |
Decidability by resolution for propositional modal logics
Journal of Automated Reasoning | 1999-04-26 | Paper |
| scientific article; zbMATH DE number 1189104 (Why is no real title available?) | 1998-10-08 | Paper |
| scientific article; zbMATH DE number 1189062 (Why is no real title available?) | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 970635 (Why is no real title available?) | 1997-11-05 | Paper |
Peirce algebras
Formal Aspects of Computing | 1995-05-01 | Paper |
Subsumption computed algebraically
Computers & Mathematics with Applications | 1993-04-19 | Paper |
