The Sixth Answer Set Programming Competition

DOI10.1613/JAIR.5373zbMATH Open1418.68030OpenAlexW2755687384WikidataQ129489078 ScholiaQ129489078MaRDI QIDQ5371008FDOQ5371008

Martin Gebser, Marco Maratea, F. Ricca

Publication date: 24 October 2017

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5373

Mathematics Subject Classification ID

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

Cited In (22)

• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
• Design and results of the second international competition on computational models of argumentation
• The Design of the Sixth Answer Set Programming Competition
• Incremental Answer Set Programming with Overgrounding
• ASP-Core-2 Input Language Format
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• plasp 3: Towards Effective ASP Planning
• Beyond NP: Quantifying over Answer Sets
• Paracoherent answer set computation
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• The Seventh Answer Set Programming Competition: Design and Results
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Design and results of the Fifth Answer Set Programming Competition
• Title not available (Why is that?)
• Testing in ASP: revisited language and programming environment
• The External Interface for Extending WASP
• Better Paracoherent Answer Sets with Less Resources
• A machine learning system to improve the performance of ASP solving based on encoding selection
• Solving problems in the polynomial hierarchy with ASP(Q)
• The design of the Seventh Answer Set Programming Competition
• Shared aggregate sets in answer set programming
• Graph-based construction of minimal models

This page was built for publication: 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 Q5371008)