Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)

Yi-Dong Shen, Thomas Eiter. Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 5060-5064, ijcai.org, 2017. [doi]

Authors

Yi-Dong Shen

This author has not been identified. Look up 'Yi-Dong Shen' in Google

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google