Prolog and ASP inference under one roof

DOI10.1007/978-3-642-40564-8_15zbMATH Open1405.68043OpenAlexW1780080223MaRDI QIDQ2851242FDOQ2851242

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

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

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)

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

Uses Software

• DLVHEX
• aspcud
• ezcsp

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)