A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning

Reference:

Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. Journal of Automated Reasoning, 14:3–42, 1995.

Suggested BibTeX entry:

@article{Niemela95:jar,
    author = {Ilkka Niemel{\"a}},
    journal = {Journal of Automated Reasoning},
    pages = {3--42},
    title = {A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning},
    volume = {14},
    year = {1995},
}