ML Anthology

Reducing Query Answering to Satisfiability in Nonmonotonic Logics

Riccardo Rosati
AAAI 1998 pp. 853-858
/aaai/1998/rosati1998aaai-reducing/
PDF AAAI Semantic Scholar

Cite

Text

Rosati. "Reducing Query Answering to Satisfiability in Nonmonotonic Logics." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Rosati. "Reducing Query Answering to Satisfiability in Nonmonotonic Logics." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/rosati1998aaai-reducing/)

BibTeX

@inproceedings{rosati1998aaai-reducing,
  title     = {{Reducing Query Answering to Satisfiability in Nonmonotonic Logics}},
  author    = {Rosati, Riccardo},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {853-858},
  url       = {https://mlanthology.org/aaai/1998/rosati1998aaai-reducing/}
}