Embedding nonground logic programs into autoepistemic logic for knowledge base combination

Publikation: Wissenschaftliche Fachzeitschrift › Originalbeitrag in Fachzeitschrift › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	20:1 - 20:39
Fachzeitschrift	ACM Transactions on Computational Logic (TOCL)
Jahrgang	12
Ausgabenummer	3
Publikationsstatus	Veröffentlicht - 1 Okt. 2011

Zitat

@article{61b0d7c7ef984e13ac485395c3f09870,

title = "Embedding nonground logic programs into autoepistemic logic for knowledge base combination",

author = "Axel Polleres and \{de Bruijn\}, Jos and Thomas Eiter and Hans Tompits",

year = "2011",

month = oct,

day = "1",

language = "English",

volume = "12",

pages = "20:1 -- 20:39",

journal = "ACM Transactions on Computational Logic (TOCL)",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - Embedding nonground logic programs into autoepistemic logic for knowledge base combination

AU - Polleres, Axel

AU - de Bruijn, Jos

AU - Eiter, Thomas

AU - Tompits, Hans

PY - 2011/10/1

Y1 - 2011/10/1

M3 - Journal article

SN - 1529-3785

VL - 12

SP - 20:1 - 20:39

JO - ACM Transactions on Computational Logic (TOCL)

JF - ACM Transactions on Computational Logic (TOCL)

IS - 3

ER -