ML Anthology

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

Markus Krötzsch, Sebastian Rudolph
IJCAI 2011 pp. 963-968
doi:10.5591/978-1-57735-516-8/IJCAI11-166 /ijcai/2011/krotzsch2011ijcai-extending/
IJCAI Semantic Scholar

Cite

Text

Krötzsch and Rudolph. "Extending Decidable Existential Rules by Joining Acyclicity and Guardedness." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-166

Markdown

[Krötzsch and Rudolph. "Extending Decidable Existential Rules by Joining Acyclicity and Guardedness." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/krotzsch2011ijcai-extending/) doi:10.5591/978-1-57735-516-8/IJCAI11-166

BibTeX

@inproceedings{krotzsch2011ijcai-extending,
  title     = {{Extending Decidable Existential Rules by Joining Acyclicity and Guardedness}},
  author    = {Krötzsch, Markus and Rudolph, Sebastian},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {963-968},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-166},
  url       = {https://mlanthology.org/ijcai/2011/krotzsch2011ijcai-extending/}
}