ML Anthology

Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques

Paul Fodor
AAAI 2008 pp. 1800-1801
/aaai/2008/fodor2008aaai-querying/
PDF AAAI Semantic Scholar

Cite

Text

Fodor. "Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Fodor. "Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/fodor2008aaai-querying/)

BibTeX

@inproceedings{fodor2008aaai-querying,
  title     = {{Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques}},
  author    = {Fodor, Paul},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1800-1801},
  url       = {https://mlanthology.org/aaai/2008/fodor2008aaai-querying/}
}