Embedding nonground logic programs into autoepistemic logic for knowledge base combination

Publication: Scientific journal › Journal article › peer-review

Original language	English
Pages (from-to)	20:1 - 20:39
Journal	ACM Transactions on Computational Logic (TOCL)
Volume	12
Issue number	3
Publication status	Published - 1 Oct 2011

Cite this

@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 -