Answer Set Programming with External Source Access
From MaRDI portal
Publication:5086220
DOI10.1007/978-3-319-61033-7_7zbMath1491.68191OpenAlexW2624509565MaRDI QIDQ5086220
Thomas Eiter, Antonius Weinzierl, Christoph Redl, Peter Schüller, Tobias Kaminski
Publication date: 1 July 2022
Published in: Reasoning Web. Semantic Interoperability on the Web (Search for Journal in Brave)
Full work available at URL: http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3436
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (4)
Rule Induction and Reasoning over Knowledge Graphs ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Pruning external minimality checking for answer set programs using semantic dependencies
This page was built for publication: Answer Set Programming with External Source Access
