JORDI
PLANES CID
CON
Antonio Jose
Dos Reis Morgado
Publicaciones en las que colabora con Antonio Jose Dos Reis Morgado (5)
2023
-
Feature Necessity & Relevancy in ML Classifier Explanations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Maximal falsifiability
AI Communications
2013
-
Iterative and core-guided MaxSAT solving: A survey and assessment
Constraints, Vol. 18, Núm. 4, pp. 478-534
-
Maximal falsifiability: Definitions, algorithms, and applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Iterative SAT solving for minimum satisfiability
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI