The following pages link to Angel Mora (Q246590):
Displaying 21 items.
- (Q313006) (redirect page) (← links)
- Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
- (Q551054) (redirect page) (← links)
- Simulation of wireline sonic logging measurements acquired with borehole-eccentered tools using a high-order adaptive finite element method (Q551055) (← links)
- Direct-optimal basis computation by means of the fusion of simplification rules (Q1800392) (← links)
- A new kind of implication to reason with unknown information (Q2117119) (← links)
- Clustering and identification of core implications (Q2117127) (← links)
- Canonical dichotomous direct bases (Q2282305) (← links)
- Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis (Q2831029) (← links)
- A new deduction system for deciding validity in modal logic K (Q3000420) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning (Q3643171) (← links)
- (Q4422114) (← links)
- (Q4967187) (← links)
- Scalable Visual Analytics in FCA (Q5054985) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311225) (← links)
- Automated prover for attribute dependencies in data with grades (Q5963137) (← links)
- Lexicon-based sentiment analysis in texts using formal concept analysis (Q6099554) (← links)
- Simplification logic for the management of unknown information (Q6127881) (← links)
- Optimization in Engine Design via Formal Concept Analysis using Negative Attributes (Q6269090) (← links)
- Directness in Fuzzy Formal Concept Analysis (Q6485389) (← links)
