Publisher
Springer International Publishing
Reference39 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alviano,2017
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Balai,2013
3. Balduccini, M., Lierler, Y.: Constraint answer set solver EZCSP and why integration schemas matter. Theory Pract. Log. Program. 17(4), 462–515 (2017)
4. Banbara, M., Kaufmann, B., Ostrowski, M., Schaub, T.: Clingcon: the next generation. TPLP 17(4), 408–461 (2017)
5. Bartholomew, M., Lee, J.: First-order stable model semantics with intensional functions. Artif. Intell. 273, 56–93 (2019)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献