First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)

Amelia Harrison, Yuliya Lierler. First-Order Modular Logic Programs and their Conservative Extensions (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 4859-4863, ijcai.org, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.