ML Anthology

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols

Sergio Greco, Cristian Molinaro, Irina Trubitsyna
IJCAI 2013 pp. 926-931
/ijcai/2013/greco2013ijcai-bounded/
IJCAI Semantic Scholar

Cite

Text

Greco et al. "Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Greco et al. "Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/greco2013ijcai-bounded/)

BibTeX

@inproceedings{greco2013ijcai-bounded,
  title     = {{Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols}},
  author    = {Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {926-931},
  url       = {https://mlanthology.org/ijcai/2013/greco2013ijcai-bounded/}
}