Michael Bartholomew, Joohyung Lee, Yunsong Meng. First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 724-730, IJCAI/AAAI, 2011. [doi]
@inproceedings{BartholomewLM11,
title = {First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription},
author = {Michael Bartholomew and Joohyung Lee and Yunsong Meng},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-128.pdf},
tags = {semantics},
researchr = {https://researchr.org/publication/BartholomewLM11},
cites = {0},
citedby = {0},
pages = {724-730},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}