ML Anthology

The Denotational Semantics of Horn Clauses as a Production System

Jean-Louis Lassez, Michael J. Maher
AAAI 1983 pp. 229-231
/aaai/1983/lassez1983aaai-denotational/

Abstract

We show how one of Nilsson's tenets on rule-based production systems, when applied to Horn clause programs, leads to a denotational semantics. This formalism, in turn provides a striking illustration of a second Nilsson tenet.

PDF AAAI Semantic Scholar

Cite

Text

Lassez and Maher. "The Denotational Semantics of Horn Clauses as a Production System." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Lassez and Maher. "The Denotational Semantics of Horn Clauses as a Production System." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/lassez1983aaai-denotational/)

BibTeX

@inproceedings{lassez1983aaai-denotational,
  title     = {{The Denotational Semantics of Horn Clauses as a Production System}},
  author    = {Lassez, Jean-Louis and Maher, Michael J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {229-231},
  url       = {https://mlanthology.org/aaai/1983/lassez1983aaai-denotational/}
}