Design and results of the Fifth Answer Set Programming Competition
type: Item
instance of: scholarly article
title: Design and results of the Fifth Answer Set Programming Competition
zbMATH Open document ID: 1344.68042
author: Francesco Calimeri
author: Martin Gebser
author: Marco Maratea
author: F. Ricca
published in: Artificial Intelligence
publication date: 2015-12-28T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 6524438
zbMATH Keywords: answer set programming
zbMATH Keywords: solver competition
zbMATH Keywords: computational logic
describes a project that uses: ASSAT
describes a project that uses: SMT-LIB
describes a project that uses: MiniZinc
describes a project that uses: PDDL
describes a project that uses: WASP
describes a project that uses: QBFLIB
describes a project that uses: MiniSat
describes a project that uses: clasp
describes a project that uses: GASP
describes a project that uses: Clingo
describes a project that uses: pyrunlim
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: j.artint.2015.09.008
OpenAlex ID: W2265638991
cites work: Optimization Methods for the Partner Units Problem
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Propositional semantics for disjunctive logic programs
cites work: Normalizing Cardinality Rules Using Merging and Sorting Constructions
cites work: GASP: Answer Set Programming with Lazy Grounding
cites work: Q4798023
cites work: Theory and Applications of Satisfiability Testing
cites work: Declarative problem-solving using the DLV system
cites work: On the computational cost of disjunctive logic programming: Propositional case
cites work: Answer Set Programming: A Primer
cites work: Tight logic programs
cites work: The Intelligent Grounder of DLV
cites work: Logics in Artificial Intelligence
cites work: Semantics and complexity of recursive aggregates in answer set programming
cites work: Design and implementation of aggregate functions in the DLV system
cites work: Q5282991
cites work: Conflict-driven answer set solving: from theory to practice
cites work: Multi-threaded ASP solving with clasp
cites work: Logic programming and knowledge representation---The A-Prolog perspective
cites work: Q3983043
cites work: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
cites work: Answer set programming based on propositional satisfiability
cites work: Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
cites work: Unfolding partiality and disjunctions in stable model semantics
cites work: The DLV system for knowledge representation and reasoning
cites work: Answer set programming and plan generation
cites work: ASSAT: computing answer sets of a logic program by SAT solvers
cites work: Evaluating ASP and commercial solvers on the CSPLib
cites work: Q4702577
cites work: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Q4016561
cites work: Team-building with answer set programming in the Gioia-Tauro seaport
cites work: GRASP: a search algorithm for propositional satisfiability
cites work: Extending and implementing the stable model semantics
DOI: 10.1016/J.ARTINT.2015.09.008
Recommended article: The Seventh Answer Set Programming Competition: Design and Results
Recommended article: The Design of the Sixth Answer Set Programming Competition
Recommended article: The design of the Seventh Answer Set Programming Competition
Recommended article: Achievements in answer set programming
Recommended article: Answer Set Programming: A Declarative Approach to Solving Search Problems
Recommended article: The Sixth Answer Set Programming Competition
description: scientific article; zbMATH DE number 6524438