ML Anthology

Logic Program Termination Analysis Using Atom Sizes

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
IJCAI 2015 pp. 2833-2839
/ijcai/2015/calautti2015ijcai-logic/
IJCAI Semantic Scholar

Cite

Text

Calautti et al. "Logic Program Termination Analysis Using Atom Sizes." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Calautti et al. "Logic Program Termination Analysis Using Atom Sizes." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/calautti2015ijcai-logic/)

BibTeX

@inproceedings{calautti2015ijcai-logic,
  title     = {{Logic Program Termination Analysis Using Atom Sizes}},
  author    = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2833-2839},
  url       = {https://mlanthology.org/ijcai/2015/calautti2015ijcai-logic/}
}