Ángel Mora

Proceedings of the Formal Concept Analysis - 16th International Conference, 2021

2020

Parameterized simplification logic I: reasoning with implications and classes of closure operators.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.

[BibT_eX]

[DOI]

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

A conversational recommender system for diagnosis using fuzzy rules.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2020

2019

Minimal generators, an affordable approach by means of massive computation.

[BibT_eX]

[DOI]

Fernando Benito Picazo

J. Supercomput., 2019

An Approach to Visualize Implications.

[BibT_eX]

[DOI]

Proceedings of the Supplementary Proceedings of ICFCA 2019 Conference and Workshops, 2019

2018

Direct-optimal basis computation by means of the fusion of simplification rules.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2018

Directness in Fuzzy Formal Concept Analysis.

[BibT_eX]

[DOI]

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

Towards Simplification Logic for Graded Attribute Implications with General Semantics.

[BibT_eX]

[DOI]

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

2017

Reducing the search space by closure and simplification paradigms.

[BibT_eX]

[DOI]

Fernando Benito Picazo

J. Supercomput., 2017

Canonical dichotomous direct bases.

[BibT_eX]

[DOI]

Inf. Sci., 2017

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2017

Formation of the D-basis from implicational systems using Simplification logic.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2017

2016

Tableau reductions: Towards an optimal decision procedure for the modal necessity.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Automated prover for attribute dependencies in data with grades.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2016

CAISL: Simplification Logic for Conditional Attribute Implications.

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

Knowl. Based Syst., 2015

A Normal Form for Fuzzy Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

From an Implicational System to its Corresponding D-basis.

[BibT_eX]

[DOI]

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

2014

A tableaux-like method to infer all minimal keys.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Negative Attributes and Implications in Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Information Technology and Quantitative Management, 2014

Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism.

[BibT_eX]

[DOI]

Fernando Benito Picazo

Proceedings of the ICSOFT-EA 2014, 2014

A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis.

[BibT_eX]

[DOI]

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

The Direct-optimal Basis via Reductions.

[BibT_eX]

[DOI]

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

2013

Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference SOCO'13-CISIS'13-ICEUTE'13, 2013

Automated Inference with Fuzzy Functional Dependencies over Graded Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2013

Automated Reasoning to Infer all Minimal Keys.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 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

Improving Recommender Systems with Simplification Logic to Manage Implications with Grades.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Context-aware Recommendation using Fuzzy Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Quality Improvement in Data Models with SLFD-based OCL Constraints.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Computing non-redundant sets of functional dependencies via simplification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 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

Closure via functional dependence simplification.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2012

Relational dual tableau decision procedure for modal logic K.

[BibT_eX]

[DOI]

Angel Mora-Bonilla

Log. J. IGPL, 2012

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.

[BibT_eX]

[DOI]

Proceedings of the Modeling Decisions for Artificial Intelligence, 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

Implementing a relational theorem prover for modal logic.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2011

Ideal non-deterministic operators as a formal framework to reduce the key finding problem.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2011

A new deduction system for deciding validity in modal logic K.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.

[BibT_eX]

[DOI]

Manuel Enciso García-Oliveros

Proceedings of the Advances in Computational Intelligence, 2011

A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms.

[BibT_eX]

Angel Mora-Bonilla

Rosario Baena

Proceedings of the ICSOFT 2011, 2011

Specification and inference of fuzzy attributes.

[BibT_eX]

[DOI]

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

2010

A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.

[BibT_eX]

Proceedings of the ICSOFT 2010, 2010

Improving Moodle with WIRIS and M-QIT.

[BibT_eX]

Enrique Mérida Casermeiro

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira, Portugal, June 8, 2010

2009

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

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2009

A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.

[BibT_eX]

[DOI]

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

2008

Non-deterministic ideal operators: An adequate tool for formalization in Data Bases.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2008

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.

[BibT_eX]

[DOI]

Enrique Mérida Casermeiro

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Integration Of Moodle Quizzes.

[BibT_eX]

Angel Mora-Bonilla

Luis Fernando López Anguita

Proceedings of the IADIS International Conference e-Learning 2008, 2008

2006

A new closure algorithm based in logic: SLFD-Closure versus classical closures.

[BibT_eX]

[DOI]

Inteligencia Artif., 2006

A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

2004

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.

[BibT_eX]

[DOI]