Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning (1996)
AUTHORS:
Niemelä Ilkka
BOOKTITLE:
PAGES:
251-289
@incollection{ Niemela96:doherty_ini, editor = "Doherty, Patrick", author = {Niemel{\"a}, Ilkka}, chapter = "", publisher = "CSLI Publications", title = "Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning", booktitle = "Partiality, Modality and Non-monotonicity", year = "1996", month = "", note = "", address = "Stanford, CA", pages = "251--289" }