scientific article; zbMATH DE number 7453100
From MaRDI portal
Publication:5020542
Konstantin Schekotihin, Richard Taupe, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.08231
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Semantics and complexity of recursive aggregates in answer set programming
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Design and results of the Fifth Answer Set Programming Competition
- Conflict-driven answer set solving: from theory to practice
- Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
- Blending lazy-grounding and CDNL search for answer-set solving
- The ASP system DLV2
- Complexity results for answer set programming with bounded predicate arities and implications
- Team-building with answer set programming in the Gioia-Tauro seaport
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- Logic programs with propositional connectives and aggregates
- Optimization Methods for the Partner Units Problem
- Automatic network reconstruction using ASP
- GASP: Answer Set Programming with Lazy Grounding
- Combining Heuristics for Configuration Problems Using Answer Set Programming
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Thirteen Definitions of a Stable Model
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
- ASPeRiX, a first-order forward chaining approach for answer set computing
- The Seventh Answer Set Programming Competition: Design and Results
- The DLV system for knowledge representation and reasoning
- The Sixth Answer Set Programming Competition
This page was built for publication:
