A Theory of Clausal Discovery

IJCAI 1993 pp. 1058-1063

/ijcai/1993/raedt1993ijcai-theory/

Cite

Text

De Raedt and Bruynooghe. "A Theory of Clausal Discovery." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[De Raedt and Bruynooghe. "A Theory of Clausal Discovery." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/raedt1993ijcai-theory/)

BibTeX

@inproceedings{raedt1993ijcai-theory,
  title     = {{A Theory of Clausal Discovery}},
  author    = {De Raedt, Luc and Bruynooghe, Maurice},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {1058-1063},
  url       = {https://mlanthology.org/ijcai/1993/raedt1993ijcai-theory/}
}