A Decision Procedure for Stratified Autoepistemic Logic

I. Niemelä; J. Rintanen

A Decision Procedure for Stratified Autoepistemic Logic

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

Original language	English
Title of host publication	Suomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992
Subtitle of host publication	Proceedings of the Finnish Artificial Intelligence Conference
Publisher	Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society
Pages	202-211
Publication status	Published - 1992
MoE publication type	A4 Article in a conference publication

Keywords

autoepistemic logic
automated theorem proving
tractability

Cite this

@inproceedings{fe8f8220bbc14f3c9e805925d1ee11d7,

title = "A Decision Procedure for Stratified Autoepistemic Logic",

keywords = "autoepistemic logic, automated theorem proving, tractability, autoepistemic logic, automated theorem proving, tractability, autoepistemic logic, automated theorem proving, tractability",

author = "I. Niemel{\"a} and J. Rintanen",

year = "1992",

language = "English",

pages = "202--211",

booktitle = "Suomen Teko{\"a}lytutkimuksen P{\"a}iv{\"a}t, Espoo, 9.-11.6.1992",

publisher = "Suomen Teko{\"a}lyseura ry - Finnish Artificial Intelligence Society",

}

A Decision Procedure for Stratified Autoepistemic Logic. / Niemelä, I.; Rintanen, J.

Suomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992: Proceedings of the Finnish Artificial Intelligence Conference. Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society, 1992. p. 202-211.

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

TY - GEN

T1 - A Decision Procedure for Stratified Autoepistemic Logic

AU - Niemelä, I.

AU - Rintanen, J.

PY - 1992

Y1 - 1992

KW - autoepistemic logic

KW - automated theorem proving

KW - tractability

KW - autoepistemic logic

KW - automated theorem proving

KW - tractability

KW - autoepistemic logic

KW - automated theorem proving

KW - tractability

M3 - Conference contribution

SP - 202

EP - 211

BT - Suomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992

PB - Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society

ER -