Towards automatic autoepistemic reasoning

Ilkka Niemelä

doi:10.1007/BFb0018457

Towards automatic autoepistemic reasoning

Ilkka Niemelä

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

3 Citations (Web of Science)

Original language	English
Title of host publication	Logics in AI
Subtitle of host publication	European Workshop JELIA 1990 Amsterdam, The Netherlands, September 10–14, 1990. Proceedings
Editors	J. van Eijck
Publisher	Springer
Pages	428-443
Number of pages	16
ISBN (Electronic)	978-3-540-46982-7
ISBN (Print)	978-3-540-53686-4
DOIs	https://doi.org/10.1007/BFb0018457
Publication status	Published - 1991
MoE publication type	A4 Conference publication
Event	European Workshop on Logics in Artificial Intelligence - Amsterdam, Netherlands Duration: 10 Sept 1990 → 14 Sept 1990

Publication series

Name	Lecture Notes in Computer Science
Volume	478
ISSN (Print)	0302-9743

Workshop

Workshop	European Workshop on Logics in Artificial Intelligence
Abbreviated title	JELIA
Country/Territory	Netherlands
City	Amsterdam
Period	10/09/1990 → 14/09/1990

Access to Document

10.1007/BFb0018457

Cite this

@inproceedings{43e10938393f4328a067a642d36c402e,

title = "Towards automatic autoepistemic reasoning",

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

year = "1991",

doi = "10.1007/BFb0018457",

language = "English",

isbn = "978-3-540-53686-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "428--443",

editor = "\{van Eijck\}, J.",

booktitle = "Logics in AI",

address = "Germany",

note = "European Workshop on Logics in Artificial Intelligence, JELIA ; Conference date: 10-09-1990 Through 14-09-1990",

}

Niemelä, I 1991, Towards automatic autoepistemic reasoning. in J van Eijck (ed.), Logics in AI: European Workshop JELIA 1990 Amsterdam, The Netherlands, September 10–14, 1990. Proceedings. Lecture Notes in Computer Science, vol. 478, Springer, pp. 428-443, European Workshop on Logics in Artificial Intelligence, Amsterdam, Netherlands, 10/09/1990. https://doi.org/10.1007/BFb0018457

Towards automatic autoepistemic reasoning. / Niemelä, Ilkka.
Logics in AI: European Workshop JELIA 1990 Amsterdam, The Netherlands, September 10–14, 1990. Proceedings. ed. / J. van Eijck. Springer, 1991. p. 428-443 (Lecture Notes in Computer Science; Vol. 478).

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

TY - GEN

T1 - Towards automatic autoepistemic reasoning

AU - Niemelä, Ilkka

PY - 1991

Y1 - 1991

U2 - 10.1007/BFb0018457

DO - 10.1007/BFb0018457

M3 - Conference article in proceedings

SN - 978-3-540-53686-4

T3 - Lecture Notes in Computer Science

SP - 428

EP - 443

BT - Logics in AI

A2 - van Eijck, J.

PB - Springer

T2 - European Workshop on Logics in Artificial Intelligence

Y2 - 10 September 1990 through 14 September 1990

ER -