The Design of the Sixth Answer Set Programming Competition

DOI10.1007/978-3-319-23264-5_44MaRDI QIDQ3449235zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Marco Maratea, F. 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

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

Recommendations

• Design and results of the Fifth Answer Set Programming Competition
• The Sixth Answer Set Programming Competition
• The design of the Seventh Answer Set Programming Competition
• The Seventh Answer Set Programming Competition: Design and Results
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• An Answer Set Solver for non-Herbrand Programs: Progress Report

Cites work

• A computational approach to Conway's thrackle conjecture
• Advances in WASP
• Answer set programming and plan generation
• Answer set programming based on propositional satisfiability
• Answer Set Programming: A Primer
• Anytime computation of cautious consequences in answer set programming
• ASSAT: computing answer sets of a logic program by SAT solvers
• Combining Heuristics for Configuration Problems Using Answer Set Programming
• Complex optimization in answer set programming
• Conflict-driven answer set solving: from theory to practice
• Consistent query answering via ASP from different perspectives: theory and practice
• Declarative problem-solving using the DLV system
• Design and results of the Fifth Answer Set Programming Competition
• Detecting inconsistencies in large biological networks with answer set programming
• Extending and implementing the stable model semantics
• GASP: Answer set programming with lazy grounding
• Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 6747915 (Why is no real title available?)
• Improving the normalization of weight rules in answer set programs
• Industrial-size scheduling with ASP+CP
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programs with stable model semantics as a constraint programming paradigm
• Multi-level Algorithm Selection for ASP
• Optimization Methods for the Partner Units Problem
• SAT modulo graphs: acyclicity
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• The DLV system for knowledge representation and reasoning
• Unfolding partiality and disjunctions in stable model semantics

Cited in

(13)

• Paracoherent answer set computation
• The design of the Seventh Answer Set Programming Competition
• Anytime answer set optimization via unsatisfiable core shrinking
• Optimizing answer set computation via heuristic-based decomposition
• The Seventh Answer Set Programming Competition: Design and Results
• The External Interface for Extending WASP
• ASP-Core-2 input language format
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Omission-based abstraction for answer set programs
• Debugging non-ground ASP programs: technique and graphical tools
• Rewriting optimization statements in answer-set programs
• The Sixth Answer Set Programming Competition
• Design and results of the Fifth Answer Set Programming Competition

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

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