Angel Mora Bonilla

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Topics

Nonmonotonic Inference

Reducing The Search Space

Multiresolution

Top Venues

Int. J. Intell. Syst.

Publications

Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla
Canonical dichotomous direct bases. Inf. Sci. 376 (2017)
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla
Reducing the search space by closure and simplification paradigms. J. Supercomput. 73 (1) (2017)
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla
An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. Int. J. Intell. Syst. 32 (8) (2017)
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla
CAISL: Simplification Logic for Conditional Attribute Implications. CLA (2016)
Pablo Cordero, Manuel Enciso, Angel Mora Bonilla, Manuel Ojeda-Aciego
Bases via Minimal Generators. FCA4AI@IJCAI (2013)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20 (4) (2012)
Manuel Enciso García-Oliveros, Angel Mora Bonilla, Pablo Cordero, Rosario Baena
A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. ICSOFT (1) (2011)
Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez
Improving Moodle with WIRIS and M-QIT. ICEIS (4) (2010)
Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez, Luis Fernando López Anguita
Integration Of Moodle Quizzes. e-Learning (2008)