Decision problem in autoepistemic logic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of the Workshop on Alternatives of Logic Programming, Kuopio, Finland, May 1989
Publisher	Kuopion yliopisto
Pages	174-188
Publication status	Published - 1989
MoE publication type	A4 Conference publication

OpenUrl availability

@inproceedings{0fc016950cfa442d8338766171fcf9f5,

title = "Decision problem in autoepistemic logic",

author = "Ilkka Niemel{\"a}",

year = "1989",

language = "English",

pages = "174--188",

booktitle = "Proceedings of the Workshop on Alternatives of Logic Programming, Kuopio, Finland, May 1989",

publisher = "Kuopion yliopisto",

address = "Finland",

}