| Publication | Date of Publication | Type |
|---|
Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
| 2024-09-06 | Paper |
A measure of consistency for fuzzy logic theories
Mathematical Methods in the Applied Sciences | 2024-01-26 | Paper |
Measures of inclusion and entropy based on the \(\varphi\)-index of inclusion
Fuzzy Sets and Systems | 2023-10-26 | Paper |
Connecting concept lattices with bonds induced by external information
Information Sciences | 2023-09-22 | 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 |
Formal Concept Analysis and Structures Underlying Quantum Logics
1512.68326 | 2022-12-06 | Paper |
Formal Independence Analysis
1512.68327 | 2022-12-06 | Paper |
Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics
| 2022-11-15 | Paper |
A view of \(f\)-indexes of inclusion under different axiomatic definitions of fuzzy inclusion
Lecture Notes in Computer Science | 2022-11-04 | Paper |
Some relationships between the notions of \(f\)-inclusion and \(f\)-contradiction
| 2022-10-27 | Paper |
On some categories underlying knowledge graphs
| 2022-10-27 | Paper |
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
Logic Journal of the IGPL | 2022-06-09 | Paper |
scientific article; zbMATH DE number 7510715 (Why is no real title available?)
| 2022-04-20 | Paper |
New measures of inclusion between fuzzy sets in terms of the \(\varphi\)-index of inclusion
| 2021-07-06 | Paper |
Multi-adjoint lattices from adjoint triples with involutive negation
Fuzzy Sets and Systems | 2021-06-24 | Paper |
Relational Galois connections between transitive digraphs: characterization and construction
Information Sciences | 2021-03-31 | Paper |
Functional degrees of inclusion and similarity between \(L\)-fuzzy sets
Fuzzy Sets and Systems | 2021-01-19 | Paper |
Relational Galois connections between transitive fuzzy digraphs
Mathematical Methods in the Applied Sciences | 2020-11-09 | Paper |
\(L\)-fuzzy relational mathematical morphology based on adjoint triples
Information Sciences | 2020-09-22 | Paper |
An adjoint pair for intuitionistic \(L\)-fuzzy values
Trends in Mathematics and Computational Intelligence | 2020-02-13 | Paper |
A relational extension of Galois connections
| 2020-02-11 | Paper |
On the \(n\)-ary generalization of dual bonds
Studies in Computational Intelligence | 2020-02-07 | Paper |
Inconsistency measures in general fuzzy logic programming
| 2019-08-01 | Paper |
Generating isotone Galois connections on an unstructured codomain
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-07-26 | Paper |
A multimodal logic for closeness
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
On reductants in the framework of multi-adjoint logic programming
Fuzzy Sets and Systems | 2018-07-30 | Paper |
On the construction of adjunctions between a fuzzy preposet and an unstructured set
Fuzzy Sets and Systems | 2018-02-20 | Paper |
On the Dedekind-MacNeille completion and formal concept analysis based on multilattices
Fuzzy Sets and Systems | 2018-01-22 | Paper |
Toward the use of fuzzy relations in the definition of mathematical morphology operators
| 2017-02-17 | Paper |
On the definition of suitable orderings to generate adjunctions over an unstructured codomain
Information Sciences | 2017-02-07 | Paper |
On homogeneousL-bonds and heterogeneousL-bonds
International Journal of General Systems | 2016-08-29 | Paper |
On residuation in multilattices: filters, congruences, and homomorphisms.
Fuzzy Sets and Systems | 2015-06-24 | Paper |
A logic framework for reasoning with movement based on fuzzy qualitative representation
Fuzzy Sets and Systems | 2015-06-24 | Paper |
On closure systems and adjunctions between fuzzy preordered sets.
Formal Concept Analysis | 2015-06-16 | Paper |
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges.
Annals of Mathematics and Artificial Intelligence | 2015-02-05 | Paper |
Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets.
Annals of Mathematics and Artificial Intelligence | 2015-02-05 | Paper |
Revisiting reductants in the multi-adjoint logic programming framework
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Dual multi-adjoint concept lattices
Information Sciences | 2014-08-01 | Paper |
Finitary coalgebraic multisemilattices and multilattices.
Applied Mathematics and Computation | 2014-06-27 | Paper |
On the existence of isotone Galois connections between preorders
Formal Concept Analysis | 2014-06-24 | Paper |
On basic conditions to generate multi-adjoint concept lattices via Galois connections.
International Journal of General Systems | 2014-04-25 | Paper |
A categorical approach to unification of generalised terms
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
A multi-adjoint approach to similarity-based unification
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Concept-forming operators on multilattices
Formal Concept Analysis | 2013-05-31 | Paper |
On multi-adjoint concept lattices based on heterogeneous conjunctors
Fuzzy Sets and Systems | 2012-11-29 | Paper |
The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds
Fundamenta Informaticae | 2012-06-20 | Paper |
On the existence and unicity of stable models in normal residuated logic programs
International Journal of Computer Mathematics | 2012-05-15 | Paper |
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
Fuzzy Logic and Applications | 2011-09-16 | Paper |
On \(L\)-fuzzy Chu correspondences
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 coalgebraic approach to non-determinism: applications to multilattices
Information Sciences | 2011-01-28 | Paper |
Measuring instability in normal residuated logic programs: discarding information
Communications in Computer and Information Science | 2010-10-27 | Paper |
Efficient thresholded tabulation for fuzzy query answering
Foundations of Reasoning under Uncertainty | 2010-04-23 | Paper |
Congruence relations on some hyperstructures
Annals of Mathematics and Artificial Intelligence | 2010-03-19 | Paper |
Multi-adjoint t-concept lattices
Information Sciences | 2010-03-11 | Paper |
Relating generalized concept lattices and concept lattices for non-commutative conjunctors
Applied Mathematics Letters | 2010-02-12 | Paper |
Formal concept analysis via multi-adjoint concept lattices
Fuzzy Sets and Systems | 2009-11-17 | Paper |
Fuzzy congruence relations on nd-groupoids
International Journal of Computer Mathematics | 2009-11-10 | Paper |
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
International Journal of Computer Mathematics | 2009-11-10 | Paper |
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
SIAM Journal on Computing | 2009-11-06 | Paper |
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
Fuzzy Logic and Applications | 2009-07-02 | Paper |
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
Fuzzy Logic and Applications | 2009-07-02 | Paper |
A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming
Applications of Fuzzy Sets Theory | 2009-07-02 | Paper |
Relational Approach to Order-of-Magnitude Reasoning
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
On Multi-adjoint Concept Lattices: Definition and Representation Theorem
Formal Concept Analysis | 2007-09-03 | Paper |
Termination of logic programs with imperfect information: applications and query procedure
Journal of Applied Logic | 2007-07-25 | Paper |
Fuzzy logic programming via multilattices
Fuzzy Sets and Systems | 2007-04-18 | 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 |
A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations
| 2006-06-19 | Paper |
A neural implementation of multi-adjoint logic programs via sf-homogenization
| 2006-06-12 | Paper |
Logics, mathematics, automatic deduction
| 2006-02-06 | Paper |
A neural implementation of multi-adjoint logic programming
Journal of Applied Logic | 2004-10-28 | Paper |
Similarity-based unification: A multi-adjoint approach
Fuzzy Sets and Systems | 2004-08-20 | Paper |
scientific article; zbMATH DE number 2090547 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2085246 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2085283 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1974022 (Why is no real title available?)
| 2003-09-03 | Paper |
scientific article; zbMATH DE number 1943844 (Why is no real title available?)
| 2003-07-01 | Paper |
scientific article; zbMATH DE number 1943845 (Why is no real title available?)
| 2003-07-01 | Paper |
scientific article; zbMATH DE number 1931656 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1884400 (Why is no real title available?)
| 2003-03-18 | Paper |
Satisfiability testing for Boolean formulas using \(\Delta\)-trees
Studia Logica | 2003-03-12 | Paper |
scientific article; zbMATH DE number 1759377 (Why is no real title available?)
| 2002-11-25 | Paper |
Reductions for non-clausal theorem proving
Theoretical Computer Science | 2002-03-03 | Paper |
Implicates and reduction techniques for temporal logics
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
scientific article; zbMATH DE number 1301761 (Why is no real title available?)
| 1999-10-05 | Paper |
scientific article; zbMATH DE number 1076963 (Why is no real title available?)
| 1997-11-25 | Paper |
