The Design of the Sixth Answer Set Programming Competition

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

Marco Maratea, Martin Gebser, 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)

Cites Work

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

Cited In (11)

• Boosting Answer Set Optimization with Weighted Comparator Networks
• Omission-Based Abstraction for Answer Set Programs
• Rewriting optimization statements in answer-set programs
• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• Debugging Non-ground ASP Programs: Technique and Graphical Tools
• Paracoherent answer set computation
• The Seventh Answer Set Programming Competition: Design and Results
• Anytime answer set optimization via unsatisfiable core shrinking
• Design and results of the Fifth Answer Set Programming Competition
• The External Interface for Extending WASP
• The design of the Seventh Answer Set Programming Competition

Recommendations

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

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)