ML Anthology

A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics

Angelo Montanari, Alberto Policriti
IJCAI 1997 pp. 196-201
/ijcai/1997/montanari1997ijcai-set/
PDF IJCAI Semantic Scholar

Cite

Text

Montanari and Policriti. "A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Montanari and Policriti. "A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/montanari1997ijcai-set/)

BibTeX

@inproceedings{montanari1997ijcai-set,
  title     = {{A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics}},
  author    = {Montanari, Angelo and Policriti, Alberto},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {196-201},
  url       = {https://mlanthology.org/ijcai/1997/montanari1997ijcai-set/}
}