ML Anthology

Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions

Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta
IJCAI 2007 pp. 161-166
/ijcai/2007/patterson2007ijcai-grounding/
PDF IJCAI Semantic Scholar

Cite

Text

Patterson et al. "Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Patterson et al. "Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/patterson2007ijcai-grounding/)

BibTeX

@inproceedings{patterson2007ijcai-grounding,
  title     = {{Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions}},
  author    = {Patterson, Murray and Liu, Yongmei and Ternovska, Eugenia and Gupta, Arvind},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {161-166},
  url       = {https://mlanthology.org/ijcai/2007/patterson2007ijcai-grounding/}
}