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

DOI10.1145/1929954.1929957zbMath1351.68273OpenAlexW2157081549WikidataQ58049436 ScholiaQ58049436MaRDI QIDQ2946639

Hans Tompits, Axel Polleres, Thomas Eiter, Jos de Bruijn

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.9899

zbMATH Keywords

rulesontologiesstable model semanticsfirst-order autoepistemic logicknowledge combination

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (7)

A Unifying Perspective on Knowledge Updates ⋮ Сравнение моделей относительного движения группы космических аппаратов ⋮ On the relation between SPARQL1.1 and Answer Set Programming ⋮ Reasoning on with Defeasibility in ASP ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Determining inference semantics for disjunctive logic programs ⋮ The loop formula based semantics of description logic programs

Uses Software

• swrl

This page was built for publication: Embedding nonground logic programs into autoepistemic logic for knowledge-base combination