
On Exploiting Hitting Sets for Model Reconciliation
Author(s) -
Stylianos Loukas Vasileiou,
Alessandro Previti,
William Yeoh
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i7.16807
Subject(s) - computer science , solver , cardinality (data modeling) , context (archaeology) , knowledge base , plan (archaeology) , set (abstract data type) , netlist , base (topology) , theoretical computer science , artificial intelligence , programming language , mathematics , data mining , history , paleontology , mathematical analysis , archaeology , embedded system , biology