Answer set programming with external source access

DOI10.1007/978-3-319-61033-7_7MaRDI QIDQ5086220zbMATH OpenOpenAlexFDO

Authors Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

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

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• Answer set programming with external sources
• Conflict-driven ASP solving with external sources
• Logic Programming and Nonmonotonic Reasoning
• Exploiting partial assignments for efficient evaluation of answer set programs with external source access
• A model building framework for answer set programming with external computations

Cited in

(14)

• Pruning external minimality checking for answer set programs using semantic dependencies
• Domain expansion for ASP-programs with external sources
• HEX programs with action atoms
• Answer Set Programming with Resources
• Combining nonmonotonic knowledge bases with external sources
• Exploiting partial assignments for efficient evaluation of answer set programs with external source access
• A model building framework for answer set programming with external computations
• Conflict-driven ASP solving with external sources
• Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
• Adding Metalogic Features to Knowledge Representation Languages*
• Answer set programming with external sources
• Logic Programming and Nonmonotonic Reasoning
• Rule Induction and Reasoning over Knowledge Graphs
• Declarative approaches to counterfactual explanations for classification

This page was built for publication: Answer set programming with external source access

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086220)