A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning

Reference:

Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 473–484, Bonn, Germany, May 1994. Morgan Kaufmann Publishers.

Suggested BibTeX entry:

@inproceedings{Niemela94:kr,
    address = {Bonn, Germany},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning},
    month = {May},
    pages = {473--484},
    publisher = {Morgan Kaufmann Publishers},
    title = {A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning},
    year = {1994},
}