Constructive tightly grounded autoepistemic reasoning

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

Original language	English
Title of host publication	12th international joint conference on Artificial intelligence, Sydney, Australia, August 1991. Proceedings
Publisher	Morgan Kaufmann Publishers
Pages	399-404
Volume	1
Publication status	Published - 1991
MoE publication type	A4 Conference publication

Cite this

@inproceedings{79efcab4ecbf40919b0c5ec7b9028851,

title = "Constructive tightly grounded autoepistemic reasoning",

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

year = "1991",

language = "English",

volume = "1",

pages = "399--404",

booktitle = "12th international joint conference on Artificial intelligence, Sydney, Australia, August 1991. Proceedings",

publisher = "Morgan Kaufmann Publishers",

address = "United States",

}