Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Proceedings of the 1999 international conference on Logic programming
Air-crew scheduling through abduction
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
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
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
A framework for representing and solving NP search problems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic programming approaches for representing and solving constraint satisfaction problems
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
What Next for ASP? (A Not-Entirely-Well-Informed Opinion)
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Using Lightweight Inference to Solve Lightweight Problems
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
Catching the ouroboros: On debugging non-ground answer-set programs
Theory and Practice of Logic Programming
Testing and debugging techniques for answer set solver development
Theory and Practice of Logic Programming
The system kato: Detecting cases of plagiarism for answer-set programs
Theory and Practice of Logic Programming
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
A 25-year perspective on logic programming
A normal form for linear temporal equilibrium logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
An approximative inference method for solving ∃¬so satisfiability problems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A dynamic-programming based ASP-solver
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
Thirteen definitions of a stable model
Fields of logic and computation
Answer set programming's contributions to classical logic: an analysis of ASP methodology
Logic programming, knowledge representation, and nonmonotonic reasoning
Challenges in answer set solving
Logic programming, knowledge representation, and nonmonotonic reasoning
Compact translations of non-disjunctive answer set programs to propositional clauses
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
Stepping through an answer-set program
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Random vs. structure-based testing of answer-set programs: an experimental comparison
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Industrial-size scheduling with ASP+CP
LPNMR'11 Proceedings of the 11th international conference on Logic programming 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
A portfolio solver for answer set programming: preliminary report
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Cluster-based ASP solving with claspar
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
Over-subscription planning with boolean optimization: an assessment of state-of-the-art solutions
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Equivalence between extended datalog programs -- a brief survey
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Enfragmo: a system for modelling and solving search problems with logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
Armin: Automatic Trance Music Composition using Answer Set Programming
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
The intelligent grounder of DLV
Correct Reasoning
An approximative inference method for solving ∃∀SO satisfiability problems
Journal of Artificial Intelligence Research
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
This paper reports on the Second Answer Set Programming Competition . The competitions in areas of Satisfiability checking, Pseudo-Boolean constraint solving and Quantified Boolean Formula evaluation have proven to be a strong driving force for a community to develop better performing systems. Following this experience, the Answer Set Programming competition series was set up in 2007, and ran as part of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). This second competition, held in conjunction with LPNMR 2009, differed from the first one in two important ways. First, while the original competition was restricted to systems designed for the answer set programming language , the sequel was open to systems designed for other modeling languages, as well. Consequently, among the contestants of the second competition were a CLP(FD) team and three model generation systems for (extensions of) classical logic. Second, this latest competition covered not only satisfiability problems but also optimization ones. We present and discuss the set-up and the results of the competition.