Domain expansion for ASP-programs with external sources
From MaRDI portal
Publication:254002
DOI10.1016/j.artint.2016.01.003zbMath1351.68265WikidataQ57549074 ScholiaQ57549074MaRDI QIDQ254002
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Publication date: 8 March 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.01.003
nonmonotonic reasoning; computational logic; answer set programming; external source access; grounding; knowledge representation formalisms
Uses Software