ML Anthology

Extending Decidable Cases for Rules with Existential Variables

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
IJCAI 2009 pp. 677-682
/ijcai/2009/baget2009ijcai-extending/
PDF IJCAI Semantic Scholar

Cite

Text

Baget et al. "Extending Decidable Cases for Rules with Existential Variables." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Baget et al. "Extending Decidable Cases for Rules with Existential Variables." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/baget2009ijcai-extending/)

BibTeX

@inproceedings{baget2009ijcai-extending,
  title     = {{Extending Decidable Cases for Rules with Existential Variables}},
  author    = {Baget, Jean-François and Leclère, Michel and Mugnier, Marie-Laure and Salvat, Eric},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {677-682},
  url       = {https://mlanthology.org/ijcai/2009/baget2009ijcai-extending/}
}