Exploiting partial assignments for efficient evaluation of answer set programs with external source access

MaRDI QIDQ4580278zbMATH OpenFDO

Authors Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

Publication date 14 August 2018

Full work available at URL https://www.jair.org/index.php/jair/article/view/11221

zbMATH Keywords

declarative problem solving approachexternal atoms

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Conflict-driven ASP solving with external sources
• Answer set programming with external sources
• A model building framework for answer set programming with external computations
• Answer set programming with external source access
• Inlining external sources in answer set programs

Cited in

(11)

• Exploiting answer set programming with external sources for meta-interpretive learning
• Pruning external minimality checking for answer set programs using semantic dependencies
• Answer set programming with external sources
• Answer set programming with external source access
• Conflict-driven ASP solving with external sources
• Domain expansion for ASP-programs with external sources
• A model building framework for answer set programming with external computations
• Logic Programming and Nonmonotonic Reasoning
• Exploiting unfounded sets for HEX-program evaluation
• Inlining external sources in answer set programs
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

This page was built for publication: Exploiting partial assignments for efficient evaluation of answer set programs with external source access

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