The Design of the Sixth Answer Set Programming Competition
From MaRDI portal
Publication:3449235
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
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)
Related Items
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
