Prolog and ASP inference under one roof

DOI10.1007/978-3-642-40564-8_15MaRDI QIDQ2851242zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini, Yuliya Lierler, Peter Schüller

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_15

zbMATH Keywords

answer set programmingProloggrounding bottleneck

Mathematics Subject Classification ID

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

Recommendations

• Integrating grounding in the search process for answer set computing
• Answer Set Programming: A Primer
• GASP: Answer set programming with lazy grounding
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Answer set programming based on propositional satisfiability

Cited in

(7)

• Relating constraint answer set programming languages and algorithms
• Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system
• Performance tuning in answer set programming
• Partial compilation of ASP programs
• Blending lazy-grounding and CDNL search for answer-set solving
• GASP: Answer set programming with lazy grounding
• Integrating grounding in the search process for answer set computing

Describes a project that uses

Uses Software

• ezcsp
• aspcud
• DLVHEX

This page was built for publication: Prolog and ASP inference under one roof

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