Publisher
Springer International Publishing
Reference21 articles.
1. Alviano, M., Dodaro, C.: Model enumeration via assumption literals. Fundam. Informaticae 167(1–2), 31–58 (2019)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alviano,2015
3. Alviano, M., Dodaro, C., Ricca, F.: Anytime computation of cautious consequences in answer set programming. Theory Pract. Log. Program. 14(4–5), 755–770 (2014). https://doi.org/10.1017/S1471068414000325
4. Alviano, M., Dodaro, C., Ricca, F.: A maxsat algorithm using cardinality constraints of bounded size. In: Proceedings of IJCAI, pp. 2677–2683. AAAI Press (2015). http://ijcai.org/Abstract/15/379
5. Amendola, G., Dodaro, C., Faber, W., Ricca, F.: Paracoherent answer set computation. Artif. Intell. 299, 103519 (2021). https://doi.org/10.1016/j.artint.2021.103519
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献