The first answer set programming system competition

Authors:
Martin Gebser;Lengning Liu;Gayathri Namasivayam;André Neumann;Torsten Schaub;Mirosław Truszczyński
Affiliations:
Institut für Informatik, Universität Potsdam, Potsdam, Germany;Department of Computer Science, University of Kentucky, Lexington, KY;Department of Computer Science, University of Kentucky, Lexington, KY;Institut für Informatik, Universität Potsdam, Potsdam, Germany;Institut für Informatik, Universität Potsdam, Potsdam, Germany;Department of Computer Science, University of Kentucky, Lexington, KY
Venue:
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Year:
2007

Citing 7
Cited 37

Negation by default and unstratifiable logic programs

Selected papers of the workshop on Deductive database theory
Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
A Deductive System for Non-Monotonic Reasoning

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)

Complexity results for answer set programming with bounded predicate arities and implications

Annals of Mathematics and Artificial Intelligence
Preferred extensions as stable models*

Theory and Practice of Logic Programming
Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms
Fast Counting with Bounded Treewidth

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Twelve Definitions of a Stable Model

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The DLV Project: A Tour from Theory and Research to Applications and Market

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Lparse Programs Revisited: Semantics and Representation of Aggregates

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computable Functions in ASP: Theory and Implementation

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*

Theory and Practice of Logic Programming
On the relation among answer set solvers

Annals of Mathematics and Artificial Intelligence
Advanced Preprocessing for Answer Set Solving

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Manifold Answer-Set Programs for Meta-reasoning

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Input Language of ASP Grounder Gringo

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Some DLV Applications for Knowledge Management

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Second Answer Set Programming Competition

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
What is answer set programming?

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity

Journal of Artificial Intelligence Research
Answer-set programming with bounded treewidth

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning
Relativized hyperequivalence of logic programs for modular programming

Theory and Practice of Logic Programming
Logic programming for knowledge representation

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Model-based knowledge representation and reasoning via answer set programming

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
SAT(ID): satisfiability of propositional logic extended with inductive definitions

SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Testing and debugging techniques for answer set solver development

Theory and Practice of Logic Programming
Answer set programming

A 25-year perspective on logic programming
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Fundamenta Informaticae
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Fundamenta Informaticae
Manifold answer-set programs and their applications

Logic programming, knowledge representation, and nonmonotonic reasoning
ASP at work: spin-off and applications of the DLV system

Logic programming, knowledge representation, and nonmonotonic reasoning
ASPIDE: integrated development environment for answer set programming

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Equivalence between extended datalog programs -- a brief survey

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Look-back Techniques for ASP Programs with Aggregates

Fundamenta Informaticae
The intelligent grounder of DLV

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning. The aims of the competition were twofold: first, to collect challenging benchmark problems, and second, to provide a platform to assess a broad variety of Answer Set Programming systems. The competition was inspired by similar events in neighboring fields, where regular benchmarking has been a major factor behind improvements in the developed systems and their ability to address practical applications.