Manuel Ojeda-Aciego

According to our database1, Manuel Ojeda-Aciego
  • authored at least 142 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A multimodal logic for closeness.
Journal of Applied Non-Classical Logics, 2017

Fuzzy Mathematical Models for Computer Science and Decision Making.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2017

The Chu construction and generalized formal concept analysis.
Int. J. General Systems, 2017

On reductants in the framework of multi-adjoint logic programming.
Fuzzy Sets and Systems, 2017

On the construction of adjunctions between a fuzzy preposet and an unstructured set.
Fuzzy Sets and Systems, 2017

A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Modelling fuzzy partitions with fuzzy answer sets.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Galois connections in computational intelligence: A short survey.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Towards intuitionistic L-fuzzy formal t-concepts.
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.
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.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

Towards relational fuzzy adjunctions.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016
Concept lattices and their applications.
Int. J. General Systems, 2016

On homogeneous L-bonds and heterogeneous L-bonds.
Int. J. General Systems, 2016

On the Dedekind-MacNeille completion and formal concept analysis based on multilattices.
Fuzzy Sets and Systems, 2016

On fuzzy relations, adjunctions, and functional fuzzy relations.
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.
Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016

Towards a Sequent Calculus for Formal Contexts.
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.
Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

2015
The Notion of Weak-Contradiction: Definition and Measures.
IEEE Trans. Fuzzy Systems, 2015

Knowledge discovery in social networks by using a logic-based treatment of implications.
Knowl.-Based Syst., 2015

On Fuzzy Preordered Sets and Monotone Galois Connections.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.
Proceedings of the Formal Concept Analysis - 13th International Conference, 2015

ƒ-inclusion indexes between fuzzy sets.
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.
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.
Inf. Sci., 2014

On basic conditions to generate multi-adjoint concept lattices via Galois connections.
Int. J. General Systems, 2014

A logic framework for reasoning with movement based on fuzzy qualitative representation.
Fuzzy Sets and Systems, 2014

On residuation in multilattices: Filters, congruences, and homomorphisms.
Fuzzy Sets and Systems, 2014

Revising the link between L-Chu correspondences and completely lattice L-ordered sets.
Ann. Math. Artif. Intell., 2014

Multi-adjoint concept lattices with heterogeneous conjunctors and hedges.
Ann. Math. Artif. Intell., 2014

On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.
Proceedings of the Rough Sets and Current Trends in Computing, 2014

Monadic Formal Concept Analysis.
Proceedings of the Rough Sets and Current Trends in Computing, 2014

Revisiting Reductants in the Multi-adjoint Logic Programming Framework.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Generating Isotone Galois Connections on an Unstructured Codomain.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

On the Existence of Isotone Galois Connections between Preorders.
Proceedings of the Formal Concept Analysis - 12th International Conference, 2014

New links between mathematical morphology and fuzzy property-oriented concept lattices.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Ordering Objects via Attribute Preferences.
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

2013
Dual multi-adjoint concept lattices.
Inf. Sci., 2013

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation.
Proceedings of the Advances in Computational Intelligence, 2013

On Galois Connections and Soft Computing.
Proceedings of the Advances in Computational Intelligence, 2013

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

Concept-Forming Operators on Multilattices.
Proceedings of the Formal Concept Analysis, 2013

A measure of contradiction based on the notion of N-weak-contradiction.
Proceedings of the FUZZ-IEEE 2013, 2013

On the measure of incoherent information in extended multi-adjoint logic programs.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2013

On minimal requirements to obtain fuzzy concept-forming operators.
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

CRL-Chu Correspondences.
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

Isotone L-bonds.
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

Computing Left-Minimal Direct Basis of implications.
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.
Int. J. Comput. Math., 2012

The Category of L-Chu Correspondences and the Structure of L-Bonds.
Fundam. Inform., 2012

On multi-adjoint concept lattices based on heterogeneous conjunctors.
Fuzzy Sets and Systems, 2012

Finitary coalgebraic multisemilattices and multilattices.
Applied Mathematics and Computation, 2012

Linking L-Chu Correspondences and Completely Lattice L-ordered Sets.
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.
Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

Computing Minimal Generators from Implications: a Logic-guided Approach.
Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

2011
Measuring Inconsistency in Fuzzy Answer Set Semantics.
IEEE Trans. Fuzzy Systems, 2011

A PDL Approach for Qualitative Velocity.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2011

On L-fuzzy Chu correspondences.
Int. J. Comput. Math., 2011

Preface.
Electr. Notes Theor. Comput. Sci., 2011

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.
Proceedings of the Fuzzy Logic and Applications - 9th International Workshop, 2011

A Static Preprocess for Improving Fuzzy Thresholded Tabulation.
Proceedings of the Advances in Computational Intelligence, 2011

Non-deterministic Algebraic Structures for Soft Computing.
Proceedings of the Advances in Computational Intelligence, 2011

On the use of fuzzy stable models for inconsistent classical logic programs.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2011

2010
Multi-adjoint t-concept lattices.
Inf. Sci., 2010

A coalgebraic approach to non-determinism: Applications to multilattices.
Inf. Sci., 2010

Measuring Instability in Normal Residuated Logic Programs: Discarding Information.
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.
Proceedings of the FUZZ-IEEE 2010, 2010

Towards Attribute Reduction in Multi-adjoint Concept Lattices.
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.
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.
SIAM J. Comput., 2009

Fuzzy congruence relations on nd-groupoids.
Int. J. Comput. Math., 2009

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
Int. J. Comput. Math., 2009

Formal concept analysis via multi-adjoint concept lattices.
Fuzzy Sets and Systems, 2009

Thresholded Tabulation in a Fuzzy Logic Setting.
Electr. Notes Theor. Comput. Sci., 2009

Congruence relations on some hyperstructures.
Ann. Math. Artif. Intell., 2009

On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs.
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009

Fuzzy Logic, Soft Computing, and Applications.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

On Congruences and Homomorphisms on Some Non-deterministic Algebras.
Proceedings of the IJCCI 2009, 2009

On the measure of incoherence in extended residuated logic programs.
Proceedings of the FUZZ-IEEE 2009, 2009

On the Representation Theorem of Multi-Adjoint Concept Lattices.
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.
Proceedings of the Current Topics in Artificial Intelligence, 2009

2008
Editorial.
Fuzzy Sets and Systems, 2008

Relating generalized concept lattices and concept lattices for non-commutative conjunctors.
Appl. Math. Lett., 2008

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.
Proceedings of the Advances in Artificial Intelligence, 2008

Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs.
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.
J. Applied Logic, 2007

Fuzzy logic programming via multilattices.
Fuzzy Sets and Systems, 2007

Powersets of terms and composite monads.
Fuzzy Sets and Systems, 2007

A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming.
Proceedings of the Applications of Fuzzy Sets Theory, 2007

On Reachability of Minimal Models of Multilattice-Based Logic Programs.
Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

On Multi-adjoint Concept Lattices: Definition and Representation Theorem.
Proceedings of the Formal Concept Analysis, 5th International Conference, 2007

Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices.
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.
Proceedings of the Current Topics in Artificial Intelligence, 2007

2006
A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

Relational Approach to Order-of-Magnitude Reasoning.
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.
Fundam. Inform., 2005

Multi-lattices as a Basis for Generalized Fuzzy Logic Programming.
Proceedings of the Fuzzy Logic and Applications, 6th International Workshop, 2005

Interval-Valued Neural Multi-adjoint Logic Programs.
Proceedings of the Mechanisms, 2005

A note on partially ordered generalized terms.
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.
Proceedings of the Current Topics in Artificial Intelligence, 2005

2004
A neural implementation of multi-adjoint logic programming.
J. Applied Logic, 2004

Similarity-based unification: a multi-adjoint approach.
Fuzzy Sets and Systems, 2004

Similarities between powersets of terms.
Fuzzy Sets and Systems, 2004

tascpl: TAS Solver for Classical Propositional Logic.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Sorted Multi-adjoint Logic Programs: Termination Results and Applications.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.
Proceedings of the Advances in Artificial Intelligence, 2004

A Tabulation Proof Procedure for Residuated Logic Programming.
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].
Kybernetika, 2003

A Neural Approach to Extended Logic Programs.
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

Homogenizing multi-adjoint logic programs.
Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

Towards Biresiduated Multi-adjoint Logic Programming.
Proceedings of the Current Topics in Artificial Intelligence, 2003

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning.
Proceedings of the Current Topics in Artificial Intelligence, 2003

2002
Preface.
Studia Logica, 2002

Satisfiability Testing for Boolean Formulas Using Delta-trees.
Studia Logica, 2002

A Multi-Adjoint Approach to Similarity-Based Unification.
Electr. Notes Theor. Comput. Sci., 2002

Preface.
Electr. Notes Theor. Comput. Sci., 2002

A categorical approach to unification of generalised terms.
Electr. Notes Theor. Comput. Sci., 2002

Non-commutativity and Expressive Deductive Logic Databases.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Multi-adjoint Logic Programming: A Neural Net Approach.
Proceedings of the Logic Programming, 18th International Conference, 2002

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics.
Proceedings of the Advances in Artificial Intelligence, 2002

A Similarity-Based Unification Model for Flexible Querying.
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

A Neural Approach to Abductive Multi-adjoint Reasoning.
Proceedings of the Artificial Intelligence: Methodology, 2002

Restricted Delta-Trees in Multiple-Valued Logics.
Proceedings of the Artificial Intelligence: Methodology, 2002

2001
Reductions for non-clausal theorem proving.
Theor. Comput. Sci., 2001

Multi-adjoint Logic Programming with Continuous Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

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

A Multi-adjoint Logic Approach to Abductive Reasoning.
Proceedings of the Logic Programming, 17th International Conference, 2001

A Completeness Theorem for Multi-Adjoint Logic Programming.
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

Similarity-based unification: a multi-adjoint approach.
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

A Procedural Semantics for Multi-adjoint Logic Programming.
Proceedings of the Progress in Artificial Intelligence, 2001

2000
A graphical approach to monad compositions.
Electr. Notes Theor. Comput. Sci., 2000

Reduction Theorems for Boolean Formulas Using Delta-Trees.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999
Implicates and reduction techniques for temporal logics.
Ann. Math. Artif. Intell., 1999

Multiple-Valued Tableaux with delta-reductions.
Proceedings of the International Conference on Artificial Intelligence, 1999

1998
Reducing signed propositional formulas.
Soft Comput., 1998

Implicates and Reduction Techniques for Temporal Logics.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1996
Executing Intensional Logic with the TAS Tool.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Increasing the efficiency of automated theorem proving.
Journal of Applied Non-Classical Logics, 1995

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

1994
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

TAS-D++ vs tablas semanticas.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...