Angel Mora

MaRDI QIDQ246590zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simplification logic for the management of unknown information Information Sciences	2024-04-14	Paper
Lexicon-based sentiment analysis in texts using formal concept analysis International Journal of Approximate Reasoning	2023-06-20	Paper
Scalable Visual Analytics in FCA Complex data analytics with formal concept analysis	2022-12-12	Paper
Directness in Fuzzy Formal Concept Analysis 1512.68324	2022-12-06	Paper
A new kind of implication to reason with unknown information	2022-03-21	Paper
Clustering and identification of core implications	2022-03-21	Paper
Canonical dichotomous direct bases Information Sciences	2020-01-07	Paper
A logical approach for direct-optimal basis of implications	2019-07-03	Paper
Direct-optimal basis computation by means of the fusion of simplification rules Discrete Applied Mathematics	2018-10-23	Paper
Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis Mathematical Methods in the Applied Sciences	2016-11-01	Paper
Tableau reductions: towards an optimal decision procedure for the modal necessity Journal of Applied Logic	2016-09-09	Paper
Automated prover for attribute dependencies in data with grades International Journal of Approximate Reasoning	2016-03-04	Paper
Optimization in Engine Design via Formal Concept Analysis using Negative Attributes	2016-01-08	Paper
Simulation of wireline sonic logging measurements acquired with borehole-eccentered tools using a high-order adaptive finite element method Journal of Computational Physics	2011-07-13	Paper
Implementing a relational theorem prover for modal logic K International Journal of Computer Mathematics	2011-06-15	Paper
A new deduction system for deciding validity in modal logic K Logic Journal of the IGPL	2011-05-18	Paper
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning International Journal of Computer Mathematics	2009-11-10	Paper
Advances in Artificial Intelligence – SBIA 2004 Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 1974020 (Why is no real title available?)	2003-09-03	Paper

Research outcomes over time

This page was built for person: Angel Mora