The Seventh Answer Set Programming Competition: Design and Results
From MaRDI portal
Publication:4957192
DOI10.1017/S1471068419000061zbMath1472.68026arXiv1904.09134MaRDI QIDQ4957192
Marco Maratea, Martin Gebser, Francesco Ricca
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.09134
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)
Related Items (11)
FOLASP: FO(·) as Input Language for Answer Set Solvers ⋮ Parallel Logic Programming: A Sequel ⋮ Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy ⋮ Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination ⋮ A machine learning system to improve the performance of ASP solving based on encoding selection ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints ⋮ Paracoherent answer set computation ⋮ Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming ⋮ Graph-based construction of minimal models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semi-equilibrium models for paracoherent answer set programs
- AI*IA 2013: Advances in artificial intelligence. XIIIth international conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4--6, 2013. Proceedings
- Learning discrete decomposable graphical models via constraint optimization
- Design and results of the Fifth Answer Set Programming Competition
- Integrating answer set programming and constraint logic programming
- Logic programming and knowledge representation---The A-Prolog perspective
- Answer set programming and plan generation
- On the computational cost of disjunctive logic programming: Propositional case
- Propositional semantics for disjunctive logic programs
- Logic programs with stable model semantics as a constraint programming paradigm
- New models for generating hard random Boolean formulas and disjunctive logic programs
- The design of the Seventh Answer Set Programming Competition
- The ASP system DLV2
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming
- Improving the Normalization of Weight Rules in Answer Set Programs
- Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
- A fixpoint characterization of abductive logic programs
- Advances in WASP
- Progress in clasp Series 3
- Multi-level Algorithm Selection for ASP
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
- Answer Set Programming: A Primer
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Answer Set Programming Modulo Acyclicity*
- Optimizing phylogenetic supertrees using answer set programming
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
- Stable-unstable semantics: Beyond NP with normal logic programs
- ASPeRiX, a first-order forward chaining approach for answer set computing
- CASP solutions for planning in hybrid domains
- Rewriting optimization statements in answer-set programs
- The DLV system for knowledge representation and reasoning
- The Sixth Answer Set Programming Competition
- Twelve Definitions of a Stable Model
- Engineering an Incremental ASP Solver
This page was built for publication: The Seventh Answer Set Programming Competition: Design and Results