A New Method for Consequence Finding and Compilation in Restricted Languages

AAAI 1999 pp. 259-264

/aaai/1999/delval1999aaai-new/

Cite

Text

del Val. "A New Method for Consequence Finding and Compilation in Restricted Languages." AAAI Conference on Artificial Intelligence, 1999.

Markdown

[del Val. "A New Method for Consequence Finding and Compilation in Restricted Languages." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/delval1999aaai-new/)

BibTeX

@inproceedings{delval1999aaai-new,
  title     = {{A New Method for Consequence Finding and Compilation in Restricted Languages}},
  author    = {del Val, Alvaro},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {259-264},
  url       = {https://mlanthology.org/aaai/1999/delval1999aaai-new/}
}