Prioritized Autoepistemic Logic

J. Rintanen

Prioritized Autoepistemic Logic

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

Original language	English
Title of host publication	The Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994
Place of Publication	Berlin
Pages	232-246
Publication status	Published - 1994
MoE publication type	A4 Article in a conference publication

Keywords

autoepistemic logic
computational complexity
priorities

Cite this

@inproceedings{a7e9ca98896e40d3bc52d9962edbcb61,

title = "Prioritized Autoepistemic Logic",

keywords = "autoepistemic logic, computational complexity, priorities, autoepistemic logic, computational complexity, priorities, autoepistemic logic, computational complexity, priorities",

author = "J. Rintanen",

year = "1994",

language = "English",

pages = "232--246",

booktitle = "The Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994",

}

TY - GEN

T1 - Prioritized Autoepistemic Logic

AU - Rintanen, J.

PY - 1994

Y1 - 1994

KW - autoepistemic logic

KW - computational complexity

KW - priorities

KW - autoepistemic logic

KW - computational complexity

KW - priorities

KW - autoepistemic logic

KW - computational complexity

KW - priorities

M3 - Conference contribution

SP - 232

EP - 246

BT - The Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994

CY - Berlin

ER -