ML Anthology

Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs

Paul Fodor
AAAI 2008 pp. 1798-1799
/aaai/2008/fodor2008aaai-existentially/
PDF AAAI Semantic Scholar

Cite

Text

Fodor. "Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Fodor. "Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/fodor2008aaai-existentially/)

BibTeX

@inproceedings{fodor2008aaai-existentially,
  title     = {{Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs}},
  author    = {Fodor, Paul},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1798-1799},
  url       = {https://mlanthology.org/aaai/2008/fodor2008aaai-existentially/}
}