ML Anthology

Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity

Riccardo Rosati
AAAI 1997 pp. 430-435
/aaai/1997/rosati1997aaai-reasoning/
PDF AAAI Semantic Scholar

Cite

Text

Rosati. "Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Rosati. "Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/rosati1997aaai-reasoning/)

BibTeX

@inproceedings{rosati1997aaai-reasoning,
  title     = {{Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity}},
  author    = {Rosati, Riccardo},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {430-435},
  url       = {https://mlanthology.org/aaai/1997/rosati1997aaai-reasoning/}
}