ML Anthology

Fixpoint 3-Valued Semantics for Autoepistemic Logic

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
AAAI 1998 pp. 840-845
/aaai/1998/denecker1998aaai-fixpoint/
PDF AAAI Semantic Scholar

Cite

Text

Denecker et al. "Fixpoint 3-Valued Semantics for Autoepistemic Logic." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Denecker et al. "Fixpoint 3-Valued Semantics for Autoepistemic Logic." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/denecker1998aaai-fixpoint/)

BibTeX

@inproceedings{denecker1998aaai-fixpoint,
  title     = {{Fixpoint 3-Valued Semantics for Autoepistemic Logic}},
  author    = {Denecker, Marc and Marek, V. Wiktor and Truszczynski, Miroslaw},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {840-845},
  url       = {https://mlanthology.org/aaai/1998/denecker1998aaai-fixpoint/}
}