| Publication | Date of Publication | Type |
|---|
Fuzzy closure structures as formal concepts. II
Fuzzy Sets and Systems | 2025-09-08 | Paper |
| Relational Galois connections | 2025-06-24 | Paper |
Fuzzy closure structures as formal concepts
Fuzzy Sets and Systems | 2025-05-25 | Paper |
Fuzzy relational Galois connections between fuzzy transitive digraphs
Fuzzy Sets and Systems | 2025-05-25 | Paper |
| Logics for order-of-magnitude qualitative reasoning: formalizing negligibility | 2024-09-06 | Paper |
On the commutative diagrams among Galois connections involved in closure structures
Formal Concept Analysis | 2024-01-11 | Paper |
Fuzzy closure relations
Fuzzy Sets and Systems | 2023-10-31 | Paper |
Fuzzy Halpern and Shoham's interval temporal logics
Fuzzy Sets and Systems | 2023-10-31 | Paper |
Formal Methods in FCA and Big Data
Complex data analytics with formal concept analysis | 2022-12-12 | Paper |
Galois Connections Between Unbalanced Structures in a Fuzzy Framework
1512.06002 | 2022-12-06 | Paper |
Fuzzy closure systems: motivation, definition and properties
International Journal of Approximate Reasoning | 2022-09-02 | Paper |
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
Logic Journal of the IGPL | 2022-06-09 | Paper |
| Extracting interval temporal logic rules: a first approach | 2022-05-28 | Paper |
| scientific article; zbMATH DE number 7510715 (Why is no real title available?) | 2022-04-20 | Paper |
| scientific article; zbMATH DE number 7439733 (Why is no real title available?) | 2021-12-07 | Paper |
scientific article; zbMATH DE number 7439733 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-07 | Paper |
| An approach to fuzzy modal logic of time intervals | 2021-07-06 | Paper |
Relational Galois connections between transitive digraphs: characterization and construction
Information Sciences | 2021-03-31 | Paper |
Relational Galois connections between transitive fuzzy digraphs
Mathematical Methods in the Applied Sciences | 2020-11-09 | Paper |
| Fast(er) reasoning in interval temporal logic | 2020-05-26 | Paper |
| A relational extension of Galois connections | 2020-02-11 | Paper |
On coarser interval temporal logics
Artificial Intelligence | 2019-08-28 | Paper |
A hybrid qualitative approach for relative movements
Logic Journal of the IGPL | 2019-01-08 | Paper |
A multimodal logic for closeness
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
scientific article; zbMATH DE number 6917935 (Why is no real title available?)
(available as arXiv preprint) | 2018-08-15 | Paper |
Horn fragments of the Halpern-Shoham interval temporal logic
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Horn fragments of the Halpern-Shoham interval temporal logic
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Tableau reductions: towards an optimal decision procedure for the modal necessity
Journal of Applied Logic | 2016-09-09 | Paper |
A logic framework for reasoning with movement based on fuzzy qualitative representation
Fuzzy Sets and Systems | 2015-06-24 | Paper |
Sub-propositional fragments of the interval temporal logic of Allen's relations
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Relational dual tableau decision procedure for modal logic K
Logic Journal of the IGPL | 2013-06-04 | Paper |
Implementing a relational theorem prover for modal logic K
International Journal of Computer Mathematics | 2011-06-15 | Paper |
A PDL approach for qualitative velocity
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2011-06-10 | Paper |
A new deduction system for deciding validity in modal logic K
Logic Journal of the IGPL | 2011-05-18 | Paper |
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
MLQ | 2010-02-16 | Paper |
Functional systems in the context of temporal×modal logics with indexed flows
International Journal of Computer Mathematics | 2009-11-10 | Paper |
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
International Journal of Computer Mathematics | 2009-11-10 | Paper |
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
Logic Journal of the IGPL | 2009-08-12 | Paper |
Generalization of some properties of relations in the context of functional temporal×modal logic
International Journal of Computer Mathematics | 2008-04-29 | Paper |
