ML Anthology

A Framework for Declarative Update Specifications in Logic Programs

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
IJCAI 2001 pp. 649-654
/ijcai/2001/eiter2001ijcai-framework/
Semantic Scholar

Cite

Text

Eiter et al. "A Framework for Declarative Update Specifications in Logic Programs." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Eiter et al. "A Framework for Declarative Update Specifications in Logic Programs." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/eiter2001ijcai-framework/)

BibTeX

@inproceedings{eiter2001ijcai-framework,
  title     = {{A Framework for Declarative Update Specifications in Logic Programs}},
  author    = {Eiter, Thomas and Fink, Michael and Sabbatini, Giuliana and Tompits, Hans},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {649-654},
  url       = {https://mlanthology.org/ijcai/2001/eiter2001ijcai-framework/}
}