Author:
Zhang Zhizheng,Zhang Shutao
Publisher
Springer International Publishing
Reference21 articles.
1. Baral, C., Gelfond, M., Rushton, J.N.: Probabilistic reasoning with answer sets. TPLP 9(1), 57–144 (2009)
2. Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)
3. Faber, W., Pfeifer, G., Leone, N., Dellarmi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. 8(5–6), 545–580 (2008)
4. Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187–188, 52–89 (2012)
5. Fine, K.: In so many possible worlds. Notre Dame J. Formal Logic 13, 516–520 (1972)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Epistemic Specifications with Probabilities;2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI);2017-11
2. Answer Set Programming with Graded Modality;Logic Programming and Nonmonotonic Reasoning;2017