Cautious Autoepistemic Reasoning Applied to General Logic Programs

T. Janhunen

Cautious Autoepistemic Reasoning Applied to General Logic Programs

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

Original language	English
Title of host publication	The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994
Editors	M. Penttonen
Place of Publication	Joensuu
Publisher	University of Joensuu
Pages	33-46
Publication status	Published - 1994
MoE publication type	A4 Article in a conference publication

Keywords

autoepistemic logic
logic programming
well-founded semantics

OpenUrl availability

Full text

Cite this

@inproceedings{90f75b4e17374a81a47c65c83f4d94b9,

title = "Cautious Autoepistemic Reasoning Applied to General Logic Programs",

keywords = "autoepistemic logic, logic programming, well-founded semantics, autoepistemic logic, logic programming, well-founded semantics, autoepistemic logic, logic programming, well-founded semantics",

author = "T. Janhunen",

year = "1994",

language = "English",

pages = "33--46",

editor = "M. Penttonen",

booktitle = "The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994",

publisher = "University of Joensuu",

address = "Finland",

}

TY - GEN

T1 - Cautious Autoepistemic Reasoning Applied to General Logic Programs

AU - Janhunen, T.

PY - 1994

Y1 - 1994

KW - autoepistemic logic

KW - logic programming

KW - well-founded semantics

KW - autoepistemic logic

KW - logic programming

KW - well-founded semantics

KW - autoepistemic logic

KW - logic programming

KW - well-founded semantics

M3 - Conference contribution

SP - 33

EP - 46

BT - The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994

A2 - Penttonen, M.

PB - University of Joensuu

CY - Joensuu

ER -