ML Anthology

Translating First-Order Theories into Logic Programs

Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
IJCAI 2011 pp. 1126-1131
doi:10.5591/978-1-57735-516-8/IJCAI11-192 /ijcai/2011/zhang2011ijcai-translating/
IJCAI Semantic Scholar

Cite

Text

Zhang et al. "Translating First-Order Theories into Logic Programs." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-192

Markdown

[Zhang et al. "Translating First-Order Theories into Logic Programs." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/zhang2011ijcai-translating/) doi:10.5591/978-1-57735-516-8/IJCAI11-192

BibTeX

@inproceedings{zhang2011ijcai-translating,
  title     = {{Translating First-Order Theories into Logic Programs}},
  author    = {Zhang, Heng and Zhang, Yan and Ying, Mingsheng and Zhou, Yi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1126-1131},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-192},
  url       = {https://mlanthology.org/ijcai/2011/zhang2011ijcai-translating/}
}