Publicaciones en las que colabora con Antonio Jose Dos Reis Morgado (5)

2023

  1. 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

  1. Maximal falsifiability

    AI Communications

2013

  1. Iterative and core-guided MaxSAT solving: A survey and assessment

    Constraints, Vol. 18, Núm. 4, pp. 478-534

  2. Maximal falsifiability: Definitions, algorithms, and applications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Iterative SAT solving for minimum satisfiability

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI