Decision Problem in Autoepistemic Logic (1989)
AUTHORS:
Niemelä Ilkka
BOOKTITLE:
Proceedings of the Workshop on Alternatives of Logic Programming
PAGES:
174--188
@inproceedings{ Niemela89:kuopio, author = {Niemel{\"a}, Ilkka}, publisher = "Kuopion yliopiston painatuskeskus", title = "Decision Problem in Autoepistemic Logic", booktitle = "Proceedings of the Workshop on Alternatives of Logic Programming", address = "Kuopio, Finland", month = "May", year = "1989", organization = "", pages = "174--188" }