| Publication | Date of Publication | Type |
|---|
Approximate state reduction of fuzzy finite automata
Fuzzy Sets and Systems | 2025-11-07 | Paper |
Breadth-first fuzzy bisimulations for fuzzy automata
Fuzzy Sets and Systems | 2025-11-06 | Paper |
Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems
Fuzzy Sets and Systems | 2025-11-06 | Paper |
Approximate weak simulations and bisimulations for fuzzy automata over the product structure
Fuzzy Sets and Systems | 2025-09-08 | Paper |
Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations
Fuzzy Sets and Systems | 2025-09-08 | Paper |
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems | 2025-09-08 | Paper |
Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
Information Sciences | 2024-05-02 | Paper |
Computing crisp bisimulations for fuzzy structures
International Journal of Approximate Reasoning | 2024-04-18 | Paper |
Approximate State Reduction of Fuzzy Finite Automata
Electronic Proceedings in Theoretical Computer Science | 2024-04-09 | Paper |
Characterization and computation of approximate bisimulations for fuzzy automata
Fuzzy Sets and Systems | 2023-10-30 | Paper |
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
Fuzzy Sets and Systems | 2023-10-26 | Paper |
Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
Rough Sets | 2023-06-28 | Paper |
Fuzzy simulations and bisimulations between fuzzy automata
International Journal of Approximate Reasoning | 2023-06-20 | Paper |
Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases
Computing and Informatics | 2023-02-16 | Paper |
Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
International Journal of Approximate Reasoning | 2021-10-27 | Paper |
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
Fuzzy Sets and Systems | 2021-01-19 | Paper |
ExpTime tableaux with global caching for hybrid PDL
Journal of Automated Reasoning | 2020-03-03 | Paper |
The influence of the test operator on the expressive power of PDL-like logics
Journal Of Logic And Computation | 2020-02-17 | Paper |
Computing bisimulation-based comparisons
Fundamenta Informaticae | 2018-05-03 | Paper |
OUP accepted manuscript
Journal Of Logic And Computation | 2018-02-13 | Paper |
ExpTime tableaux with global caching for graded propositional dynamic logic
Fundamenta Informaticae | 2017-11-09 | Paper |
Bisimilarity for paraconsistent description logics
Journal of Intelligent & Fuzzy Systems | 2017-07-21 | Paper |
On bisimulations for description logics
Information Sciences | 2017-05-16 | Paper |
A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
Fundamenta Informaticae | 2017-03-22 | Paper |
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics
Advanced Computational Methods for Knowledge Engineering | 2015-10-14 | Paper |
An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
Advanced Computational Methods for Knowledge Engineering | 2015-10-14 | Paper |
A generalized QSQR evaluation method for Horn knowledge bases
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
Fundamenta Informaticae | 2015-06-26 | Paper |
Logic-Based Roughification
Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam | 2015-04-02 | Paper |
Bisimulation-based concept learning in description logics
Fundamenta Informaticae | 2014-12-22 | Paper |
ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
Journal of Automated Reasoning | 2013-07-05 | Paper |
Converse-PDL with regular inclusion axioms: a framework for MAS logics
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
ExpTime tableau decision procedures for regular grammar logics with converse
Studia Logica | 2012-03-09 | Paper |
Checking consistency of an ABox w.r.t. global assumptions in PDL
Fundamenta Informaticae | 2011-06-14 | Paper |
| Horn knowledge bases in regular description logics with PTime data complexity | 2011-06-10 | Paper |
A framework for graded beliefs, goals and intentions
Fundamenta Informaticae | 2011-01-03 | Paper |
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$
Lecture Notes in Computer Science | 2010-11-02 | Paper |
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning | 2010-07-20 | Paper |
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters | 2009-12-04 | Paper |
Modal logic programming revisited
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae | 2009-09-22 | Paper |
| An efficient tableau prover using global caching for the description logic \({\mathcal{ALC}}\) | 2009-08-10 | Paper |
A Tableau Calculus for Regular Grammar Logics with Converse
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Reasoning About Epistemic States of Agents by Modal Logic Programming
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Reconstruction and time reversal in thermoacoustic tomography in acoustically homogeneous and inhomogeneous media
Inverse Problems | 2008-11-06 | Paper |
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$
Logics in Artificial Intelligence | 2008-10-30 | Paper |
| scientific article; zbMATH DE number 5295720 (Why is no real title available?) | 2008-07-01 | Paper |
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
Logic Journal of the IGPL | 2008-05-05 | Paper |
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
Lecture Notes in Computer Science | 2008-01-04 | Paper |
| Foundations of modal deductive databases | 2007-10-17 | Paper |
The Data Complexity of MDatalog in Basic Modal Logics
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Multimodal logic programming
Theoretical Computer Science | 2006-09-14 | Paper |
| On the complexity of fragments of modal logics | 2006-08-15 | Paper |
| scientific article; zbMATH DE number 5043325 (Why is no real title available?) | 2006-08-03 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2053218 (Why is no real title available?) | 2004-03-08 | Paper |
| scientific article; zbMATH DE number 1950263 (Why is no real title available?) | 2003-07-17 | Paper |
Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
Studia Logica | 2002-05-26 | Paper |
The modal query language MDatalog
Fundamenta Informaticae | 2002-01-08 | Paper |
| scientific article; zbMATH DE number 1612561 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1501629 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1418348 (Why is no real title available?) | 2000-09-05 | Paper |
