David
Barroso Iglesias
Publicaciones en las que colabora con David Barroso Iglesias (3)
2013
-
On the implementation of a fuzzy dl solver over infinite-valued product logic with smt solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
A FORMAL MODEL AND A SUPPORT SYSTEM FOR THE CONTINUOUS EVALUATION OF COMPETENCES
4TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED 2010)
2009
-
A formal model of competence-based assessment
Frontiers in Artificial Intelligence and Applications