scientific article; zbMATH DE number 7453100

MaRDI QIDQ5020542zbMATH OpenFDO

Authors Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08231, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.9

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Learning and using domain-specific heuristics in ASP solvers
• Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
• Experimenting with Look-Back Heuristics for Hard ASP Programs
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Domain-independent cost-optimal planning in ASP
• scientific article; zbMATH DE number 1890620
• Logic Programming and Nonmonotonic Reasoning

Cites work

• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Automatic network reconstruction using ASP
• Blending lazy-grounding and CDNL search for answer-set solving
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• Combining Heuristics for Configuration Problems Using Answer Set Programming
• Complexity results for answer set programming with bounded predicate arities and implications
• Conflict-driven answer set solving: from theory to practice
• Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
• Design and results of the Fifth Answer Set Programming Competition
• GASP: Answer set programming with lazy grounding
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programs with propositional connectives and aggregates
• Optimization Methods for the Partner Units Problem
• Semantics and complexity of recursive aggregates in answer set programming
• Team-building with answer set programming in the Gioia-Tauro seaport
• The ASP system DLV2
• The DLV system for knowledge representation and reasoning
• The Seventh Answer Set Programming Competition: Design and Results
• The Sixth Answer Set Programming Competition
• Thirteen Definitions of a Stable Model
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing

Cited in

(3)

• Pruning external minimality checking for ASP using semantic dependencies
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• ASP with non-herbrand partial functions: a language and system for practical use

Describes a project that uses

Uses Software

• OMiGA
• DLV2
• Gringo
• Chaff
• GASP
• Clingo
• claspfolio 2
• GitHub

This page was built for publication:

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