The Design of the Sixth Answer Set Programming Competition

DOI10.1007/978-3-319-23264-5_44zbMath1418.68028OpenAlexW1787538678MaRDI QIDQ3449235

Marco Maratea, Martin Gebser, Francesco Ricca

Publication date: 4 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_44

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (8)

Anytime answer set optimization via unsatisfiable core shrinking ⋮ Rewriting optimization statements in answer-set programs ⋮ Paracoherent answer set computation ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools ⋮ Optimizing Answer Set Computation via Heuristic-Based Decomposition ⋮ The External Interface for Extending WASP ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks ⋮ Omission-Based Abstraction for Answer Set Programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ASSAT: computing answer sets of a logic program by SAT solvers
• Answer set programming based on propositional satisfiability
• Design and results of the Fifth Answer Set Programming Competition
• Logic programming and knowledge representation---The A-Prolog perspective
• Answer set programming and plan generation
• Extending and implementing the stable model semantics
• Conflict-driven answer set solving: from theory to practice
• Logic programs with stable model semantics as a constraint programming paradigm
• Anytime Computation of Cautious Consequences in Answer Set Programming
• SAT Modulo Graphs: Acyclicity
• Improving the Normalization of Weight Rules in Answer Set Programs
• Industrial-Size Scheduling with ASP+CP
• Optimization Methods for the Partner Units Problem
• Detecting inconsistencies in large biological networks with answer set programming
• A Computational Approach to Conway’s Thrackle Conjecture
• Complex optimization in answer set programming
• Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events
• GASP: Answer Set Programming with Lazy Grounding
• Advances in WASP
• Combining Heuristics for Configuration Problems Using Answer Set Programming
• Multi-level Algorithm Selection for ASP
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• Answer Set Programming: A Primer
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unfolding partiality and disjunctions in stable model semantics
• The DLV system for knowledge representation and reasoning
• Consistent query answering via ASP from different perspectives: Theory and practice
• Logic Programming

This page was built for publication: The Design of the Sixth Answer Set Programming Competition