Angel Mora

Available identifiers

zbMath Open mora.angelDBLP96/10224WikidataQ107997661 ScholiaQ107997661MaRDI QIDQ246590

List of research outcomes

Publication	Date of Publication	Type
Simplification logic for the management of unknown information	2024-04-14	Paper
Lexicon-based sentiment analysis in texts using formal concept analysis	2023-06-20	Paper
Scalable Visual Analytics in FCA	2022-12-12	Paper
Directness in Fuzzy Formal Concept Analysis	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	2020-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4967187	2019-07-03	Paper
Direct-optimal basis computation by means of the fusion of simplification rules	2018-10-23	Paper
Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis	2016-11-01	Paper
Tableau reductions: towards an optimal decision procedure for the modal necessity	2016-09-09	Paper
Automated prover for attribute dependencies in data with grades	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	2011-07-13	Paper
Implementing a relational theorem prover for modal logic	2011-06-15	Paper
A new deduction system for deciding validity in modal logic K	2011-05-18	Paper
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning	2009-11-10	Paper
Advances in Artificial Intelligence – SBIA 2004	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4422114	2003-09-03	Paper

Research outcomes over time

This page was built for person: Angel Mora