ML Anthology

Controlling Knowledge Deduction in a Declarative Approach

Hervé Gallaire, Claudine Lasserre
IJCAI 1979 pp. 300
/ijcai/1979/gallaire1979ijcai-controlling/
Semantic Scholar

Cite

Text

Gallaire and Lasserre. "Controlling Knowledge Deduction in a Declarative Approach." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Gallaire and Lasserre. "Controlling Knowledge Deduction in a Declarative Approach." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/gallaire1979ijcai-controlling/)

BibTeX

@inproceedings{gallaire1979ijcai-controlling,
  title     = {{Controlling Knowledge Deduction in a Declarative Approach}},
  author    = {Gallaire, Hervé and Lasserre, Claudine},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {300},
  url       = {https://mlanthology.org/ijcai/1979/gallaire1979ijcai-controlling/}
}