ML Anthology

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription

Michael Bartholomew, Joohyung Lee, Yunsong Meng
IJCAI 2011 pp. 724-730
doi:10.5591/978-1-57735-516-8/IJCAI11-128 /ijcai/2011/bartholomew2011ijcai-first/
IJCAI Semantic Scholar

Cite

Text

Bartholomew et al. "First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-128

Markdown

[Bartholomew et al. "First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/bartholomew2011ijcai-first/) doi:10.5591/978-1-57735-516-8/IJCAI11-128

BibTeX

@inproceedings{bartholomew2011ijcai-first,
  title     = {{First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription}},
  author    = {Bartholomew, Michael and Lee, Joohyung and Meng, Yunsong},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {724-730},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-128},
  url       = {https://mlanthology.org/ijcai/2011/bartholomew2011ijcai-first/}
}