![]() ![]() ACM 54(12), 92–103 (2011)Ĭui, R., Zhang, Z., Zhao, K.: ESParser: an epistemic specification grounder. (eds.) Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018) (2018)īrewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. ![]() Software & documentation available for download at īichler, M., Morak, M., Woltran, S.: selp: a single-shot epistemic logic program solver. Cambridge University Press, Cambridge (2003)īichler, M., Morak, M., Woltran, S.: selp (2018) TU Wien. Springer, Berlin (2011)īaral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. (eds.): Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning-Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Computer Science, vol. See for informationīalduccini, M., Son, T.C. (eds.) Proceedings of the 7th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014) (2014)īalduccini, M.: sismodels (2001), Texas Tech University. Software & documentation available for download at īalai, E., Kahl, P.: Epistemic logic programs with sorts. ASP Standardization Working Group: ASP-Core-2 input language format, version 2.01c. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |