Manuel Ojeda-Aciego

Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

Partial formal contexts with degrees.

[BibT_eX]

[DOI]

Francisco Pérez-Gámez

Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

Formal Methods in FCA and Big Data.

[BibT_eX]

[DOI]

Domingo López-Rodríguez

Proceedings of the Complex Data Analytics with Formal Concept Analysis, 2022

2021

Formal concept analysis with negative attributes for forgery detection.

[BibT_eX]

[DOI]

José Manuel Rodríguez-Jiménez

Comput. Math. Methods, November, 2021

Measures of inclusion and entropy based on the φ-index of inclusion.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2021

Multi-adjoint lattices from adjoint triples with involutive negation.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2021

2020

Relational Galois connections between transitive digraphs: Characterization and construction.

[BibT_eX]

[DOI]

Inf. Sci., 2020

On Contradiction and Inclusion Using Functional Degrees.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2020

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.

[BibT_eX]

[DOI]

Log. J. IGPL, 2020

Functional degrees of inclusion and similarity between L-fuzzy sets.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2020

Galois Connections Between Unbalanced Structures in a Fuzzy Framework.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

New Measures of Inclusion Between Fuzzy Sets in Terms of the φ-Index of Inclusion.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fifthteenth International Conference on Concept Lattices and Their Applications, 2020

2019

On the n-ary Generalization of Dual Bonds.

[BibT_eX]

[DOI]

Francisco José Valverde Albacete

Proceedings of the Interactions Between Computational Intelligence and Mathematics Part 2, 2019

L-fuzzy relational mathematical morphology based on adjoint triples.

[BibT_eX]

[DOI]

Inf. Sci., 2019

A Relational Extension of Galois Connections.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis - 15th International Conference, 2019

Towards fuzzy relational Galois connections between fuzzy T-digraphs.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

Formal Equivalence Analysis.

[BibT_eX]

[DOI]

Carmen Peláez-Moreno

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure.

[BibT_eX]

[DOI]

Bernard De Baets

IEEE Trans. Fuzzy Syst., 2018

Formal Independence Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

Formal Concept Analysis and Structures Underlying Quantum Logics.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

A Data Analysis Application of Formal Independence Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 2018

2017

A multimodal logic for closeness.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Fuzzy Mathematical Models for Computer Science and Decision Making.

[BibT_eX]

[DOI]

Humberto Bustince

Susana Montes

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2017

The Chu construction and generalized formal concept analysis.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2017

On reductants in the framework of multi-adjoint logic programming.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2017

On the construction of adjunctions between a fuzzy preposet and an unstructured set.

[BibT_eX]

[DOI]

Bernard De Baets

Fuzzy Sets Syst., 2017

A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Modelling fuzzy partitions with fuzzy answer sets.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Galois connections in computational intelligence: A short survey.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Towards intuitionistic L-fuzzy formal t-concepts.

[BibT_eX]

[DOI]

Proceedings of the Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems, 2017

Relational fuzzy Galois connections.

[BibT_eX]

[DOI]

Proceedings of the Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems, 2017

Extending formal concept analysis using intuitionistic l-fuzzy sets.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

Towards relational fuzzy adjunctions.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

Concept lattices and their applications.

[BibT_eX]

[DOI]

Jan Outrata

Int. J. Gen. Syst., 2016

On homogeneous L-bonds and heterogeneous L-bonds.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2016

On the Dedekind-MacNeille completion and formal concept analysis based on multilattices.

[BibT_eX]

[DOI]

Jesús Medina-Moreno

Jozef Pócs

Eloísa Ramírez-Poussa

Fuzzy Sets Syst., 2016

On fuzzy relations, adjunctions, and functional fuzzy relations.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016

Towards a Sequent Calculus for Formal Contexts.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, 2016

On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures.

[BibT_eX]

[DOI]

Bernard De Baets

Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

2015

The Notion of Weak-Contradiction: Definition and Measures.

[BibT_eX]

[DOI]

Humberto Bustince

IEEE Trans. Fuzzy Syst., 2015

Knowledge discovery in social networks by using a logic-based treatment of implications.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2015

On Fuzzy Preordered Sets and Monotone Galois Connections.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis - 13th International Conference, 2015

ƒ-inclusion indexes between fuzzy sets.

[BibT_eX]

Irina Perfilieva

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

Using the Chu Construction for Generalizing Formal Concept Analysis.

[BibT_eX]

[DOI]

L'ubomír Antoni

Inmaculada P. Cabrera

Stanislav Krajci

Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014

On the definition of suitable orderings to generate adjunctions over an unstructured codomain.

[BibT_eX]

[DOI]

Francisco J. Rodríguez-Sanchez

Inf. Sci., 2014

On basic conditions to generate multi-adjoint concept lattices via Galois connections.

[BibT_eX]

[DOI]

Juan Carlos Díaz-Moreno

Int. J. Gen. Syst., 2014

A logic framework for reasoning with movement based on fuzzy qualitative representation.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2014

On residuation in multilattices: Filters, congruences, and homomorphisms.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2014

Revising the link between L-Chu correspondences and completely lattice L-ordered sets.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

Multi-adjoint concept lattices with heterogeneous conjunctors and hedges.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.

[BibT_eX]

[DOI]

María Ángeles Galán García

Proceedings of the Rough Sets and Current Trends in Computing, 2014

Monadic Formal Concept Analysis.

[BibT_eX]

[DOI]

Patrik Eklund

Jari Kortelainen

Proceedings of the Rough Sets and Current Trends in Computing, 2014

Revisiting Reductants in the Multi-adjoint Logic Programming Framework.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Generating Isotone Galois Connections on an Unstructured Codomain.

[BibT_eX]

[DOI]

Francisco J. Rodríguez-Sanchez

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

On the Existence of Isotone Galois Connections between Preorders.

[BibT_eX]

[DOI]

Francisco J. Rodríguez-Sanchez

Proceedings of the Formal Concept Analysis - 12th International Conference, 2014

New links between mathematical morphology and fuzzy property-oriented concept lattices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Ordering Objects via Attribute Preferences.

[BibT_eX]

[DOI]

Jozef Pócs

Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

2013

Dual multi-adjoint concept lattices.

[BibT_eX]

[DOI]

Inf. Sci., 2013

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2013

On Galois Connections and Soft Computing.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2013

Bases via Minimal Generators.

[BibT_eX]

[DOI]

Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), 2013

Concept-Forming Operators on Multilattices.

[BibT_eX]

[DOI]

Jesús Medina-Moreno

Proceedings of the Formal Concept Analysis, 2013

A measure of contradiction based on the notion of N-weak-contradiction.

[BibT_eX]

[DOI]

Humberto Bustince

Proceedings of the FUZZ-IEEE 2013, 2013

On the measure of incoherent information in extended multi-adjoint logic programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2013

On minimal requirements to obtain fuzzy concept-forming operators.

[BibT_eX]

[DOI]

Juan Carlos Díaz

Jesús Medina-Moreno

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

CRL-Chu Correspondences.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

Isotone L-bonds.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

Computing Left-Minimal Direct Basis of implications.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

2012

On the existence and unicity of stable models in normal residuated logic programs.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2012

The Category of L-Chu Correspondences and the Structure of L-Bonds.

[BibT_eX]

[DOI]

Stanislav Krajci

Fundam. Informaticae, 2012

On multi-adjoint concept lattices based on heterogeneous conjunctors.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2012

Finitary coalgebraic multisemilattices and multilattices.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

Linking L-Chu Correspondences and Completely Lattice L-ordered Sets.

[BibT_eX]

[DOI]

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

Using Intensifying Hedges to Reduce Size of Multi-adjoint Concept Lattices with Heterogeneous Conjunctors.

[BibT_eX]

[DOI]

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

Computing Minimal Generators from Implications: a Logic-guided Approach.

[BibT_eX]

[DOI]

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

2011

Measuring Inconsistency in Fuzzy Answer Set Semantics.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2011

A PDL Approach for Qualitative Velocity.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011

On L-fuzzy Chu correspondences.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2011

Preface.

[BibT_eX]

[DOI]

Hans van Ditmarsch

David Fernández-Duque

Valentin Goranko

Wojtek Jamroga

Proceedings of the 7th Workshop on Methods for Modalities, 2011

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Applications - 9th International Workshop, 2011

A Static Preprocess for Improving Fuzzy Thresholded Tabulation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

Non-deterministic Algebraic Structures for Soft Computing.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

On the use of fuzzy stable models for inconsistent classical logic programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2011

2010

Multi-adjoint t-concept lattices.

[BibT_eX]

[DOI]

Inf. Sci., 2010

A coalgebraic approach to non-determinism: Applications to multilattices.

[BibT_eX]

[DOI]

Inf. Sci., 2010

Measuring Instability in Normal Residuated Logic Programs: Discarding Information.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

Measuring instability in normal residuated logic programs: Adding information.

[BibT_eX]

[DOI]

Proceedings of the FUZZ-IEEE 2010, 2010

Towards Attribute Reduction in Multi-adjoint Concept Lattices.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts.

[BibT_eX]

[DOI]

Stanislav Krajci

Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

2009

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs.

[BibT_eX]

[DOI]

Umberto Straccia

SIAM J. Comput., 2009

Fuzzy congruence relations on nd-groupoids.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2009

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2009

Formal concept analysis via multi-adjoint concept lattices.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2009

Congruence relations on some hyperstructures.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2009

On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009

Fuzzy Logic, Soft Computing, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

On Congruences and Homomorphisms on Some Non-deterministic Algebras.

[BibT_eX]

Proceedings of the IJCCI 2009, 2009

On the measure of incoherence in extended residuated logic programs.

[BibT_eX]

[DOI]

Proceedings of the FUZZ-IEEE 2009, 2009

On the Representation Theorem of Multi-Adjoint Concept Lattices.

[BibT_eX]

[DOI]

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2009

2008

Editorial.

[BibT_eX]

[DOI]

Siegfried Gottwald

Petr Hájek

Fuzzy Sets Syst., 2008

Thresholded Tabulation in a Fuzzy Logic Setting.

[BibT_eX]

[DOI]

Ginés Moreno

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Relating generalized concept lattices and concept lattices for non-commutative conjunctors.

[BibT_eX]

[DOI]

Appl. Math. Lett., 2008

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2008

Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007

Termination of logic programs with imperfect information: applications and query procedure.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Fuzzy logic programming via multilattices.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2007

Powersets of terms and composite monads.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2007

A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Applications of Fuzzy Sets Theory, 2007

On Reachability of Minimal Models of Multilattice-Based Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

On Multi-adjoint Concept Lattices: Definition and Representation Theorem.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 5th International Conference, 2007

Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices.

[BibT_eX]

[DOI]

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2007

2006

A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

Relational Approach to Order-of-Magnitude Reasoning.

[BibT_eX]

[DOI]

Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Multi-lattices as a Basis for Generalized Fuzzy Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Applications, 6th International Workshop, 2005

Interval-Valued Neural Multi-adjoint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Mechanisms, 2005

A note on partially ordered generalized terms.

[BibT_eX]

[DOI]

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2005

2004

A neural implementation of multi-adjoint logic programming.

[BibT_eX]

[DOI]

J. Appl. Log., 2004

Similarity-based unification: a multi-adjoint approach.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2004

Similarities between powersets of terms.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2004

tascpl: TAS Solver for Classical Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Sorted Multi-adjoint Logic Programs: Termination Results and Applications.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

A Tabulation Proof Procedure for Residuated Logic Programming.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Special issue: Guest Editorial [Computational and Mathematical Methods in Science and Engineering 2002 - Best Papers].

[BibT_eX]

[DOI]

Slawomir Zadrozny

Kybernetika, 2003

A Neural Approach to Extended Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

Homogenizing multi-adjoint logic programs.

[BibT_eX]

[DOI]

Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

Towards Biresiduated Multi-adjoint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2003

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2003

2002

Preface.

[BibT_eX]

[DOI]

Stud Logica, 2002

Satisfiability Testing for Boolean Formulas Using Delta-trees.

[BibT_eX]

[DOI]

Stud Logica, 2002

A Multi-Adjoint Approach to Similarity-Based Unification.

[BibT_eX]

[DOI]

Proceedings of the Unification in Non-Classical Logics, 2002

Preface.

[BibT_eX]

[DOI]

Patrik Eklund

Proceedings of the Unification in Non-Classical Logics, 2002

A categorical approach to unification of generalised terms.

[BibT_eX]

[DOI]

Proceedings of the Unification in Non-Classical Logics, 2002

Non-commutativity and Expressive Deductive Logic Databases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Multi-adjoint Logic Programming: A Neural Net Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

A Similarity-Based Unification Model for Flexible Querying.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

A Neural Approach to Abductive Multi-adjoint Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2002

Restricted Delta-Trees in Multiple-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2002

2001

Reductions for non-clausal theorem proving.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Multi-adjoint Logic Programming with Continuous Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Composing Submonads.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

A Multi-adjoint Logic Approach to Abductive Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 17th International Conference, 2001

A Completeness Theorem for Multi-Adjoint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

A Procedural Semantics for Multi-adjoint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2001

2000

A graphical approach to monad compositions.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Reduction Theorems for Boolean Formulas Using Delta-Trees.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

Implicates and reduction techniques for temporal logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1999

Multiple-Valued Tableaux with delta-reductions.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 1999

1998

Reducing signed propositional formulas.

[BibT_eX]

[DOI]

Soft Comput., 1998

1996

Executing Intensional Logic with the TAS Tool.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Increasing the efficiency of automated theorem proving.

[BibT_eX]

[DOI]

Gabriel Aguilera

J. Appl. Non Class. Logics, 1995

A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories.

[BibT_eX]

[DOI]

Acta Informatica, 1995

1994

TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.

[BibT_eX]

[DOI]

Gabriel Aguilera