Answer set programming

Authors:
Piero Bonatti;Francesco Calimeri;Nicola Leone;Francesco Ricca
Affiliations:
Dept. of Phisical Sciences-Sec. Informatics, University of Naples "Federico II", Napoli, Italy;Dept. of Mathematics, University of Calabria, Rende, CS, Italy;Dept. of Mathematics, University of Calabria, Rende, CS, Italy;Dept. of Mathematics, University of Calabria, Rende, CS, Italy
Venue:
A 25-year perspective on logic programming
Year:
2010

Citing 104
Cited 6

Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming
A fixpoint semantics for disjunctive logic programs

Journal of Logic Programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
The art of Prolog (2nd ed.): advanced programming techniques

The art of Prolog (2nd ed.): advanced programming techniques
Contributions to the stable model semantics of logic programs with negation

Theoretical Computer Science
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation

Information and Computation
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Answer set planning

Proceedings of the 1999 international conference on Logic programming
A machine program for theorem-proving

Communications of the ACM
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Logics with aggregate operators

Journal of the ACM (JACM)
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Declarative problem-solving using the DLV system

Logic-based artificial intelligence
Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Nested expressions in logic programs

Annals of Mathematics and Artificial Intelligence
Resolution for Skeptical Stable Model Semantics

Journal of Automated Reasoning
WFS + Branch and Bound = Stable Models

IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints

IEEE Transactions on Knowledge and Data Engineering
Semantics of Disjunctive Deductive Databases

ICDT '92 Proceedings of the 4th International Conference on Database Theory
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates

Proceedings of the 17th International Conference on Logic Programming
Reasoning with Infinite Stable Models II: Disjunctive Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Census Data Repair: a Challenging Application of Disjunctive Logic Programming

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An A-Prolog Decision Support System for the Space Shuttle

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Multiagent Compromises, Joint Fixpoints, and Stable Models

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Omega-Restricted Logic Programs

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving ASP Instantiators by Join-Ordering Methods

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
ASSAT: computing answer sets of a logic program by SAT solvers

Eighteenth national conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Enhancing disjunctive logic programming systems by SAT checkers

Artificial Intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity

ACM Transactions on Computational Logic (TOCL)
Diagnostic reasoning with A-Prolog

Theory and Practice of Logic Programming
Reasoning with infinite stable models

Artificial Intelligence
An agent system reasoning about the web and the user

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Abductive logic programs with penalization: semantics, complexity and implementation

Theory and Practice of Logic Programming
The INFOMIX system for advanced integration of incomplete and inconsistent data

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
PDL with Preferences

POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Normal forms for answer sets programming

Theory and Practice of Logic Programming
On the existence of stable models of non-stratified logic programs

Theory and Practice of Logic Programming
Unfolding partiality and disjunctions in stable model semantics

ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing
Exploiting agents in e-learning and skills management context

AI Communications
A backjumping technique for disjunctive logic programming

AI Communications
Answer Set Programming Based on Propositional Satisfiability

Journal of Automated Reasoning
Pruning Operators for Disjunctive Logic Programming Systems

Fundamenta Informaticae
Qualitative Uncertainty Orderings Revised

Electronic Notes in Theoretical Computer Science (ENTCS)
A Constructive semantic characterization of aggregates in answer set programming

Theory and Practice of Logic Programming
Well-founded and stable semantics of logic programs with aggregates

Theory and Practice of Logic Programming
Magic Sets and their application to data integration

Journal of Computer and System Sciences
Learning rules with negation for text categorization

Proceedings of the 2007 ACM symposium on Applied computing
Experimenting with recursive queries in database and logic programming systems

Theory and Practice of Logic Programming
Comparative uncertainty: Theory and automation

Mathematical Structures in Computer Science
On look-ahead heuristics in disjunctive logic programming

Annals of Mathematics and Artificial Intelligence
Enhancing DLV instantiator by backjumping techniques

Annals of Mathematics and Artificial Intelligence
Dynamic scheduling in parallel answer set programming solvers

SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers

Journal of Algorithms
Erratum: Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75--111]

Artificial Intelligence
Qualitative Constraint Enforcement in Advanced Policy Specification

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Enhancing a DLP System for Advanced Database Applications

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Reasoning Using Knots

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
On finitely recursive programs1

Theory and Practice of Logic Programming
Logic programming with social features1

Theory and Practice of Logic Programming
Modeling preferences and conditional preferences on resource consumption and production in ASP

Journal of Algorithms
On the relation among answer set solvers

Annals of Mathematics and Artificial Intelligence
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

Journal of Experimental & Theoretical Artificial Intelligence
Logic Programs with Multiple Chances

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures

Journal of Logic and Computation
OntoDLV

Journal of Logic and Computation
Proceedings of the 25th International Conference on Logic Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
One More Decidable Class of Finitely Ground Programs

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Fusion of Logic Programming and Description Logics

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Answer Set Programming with Constraints Using Lazy Grounding

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP-Based System for e-Tourism

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP System with Functions, Lists, and Sets

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP-Based Data Integration System

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System

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
The Second Answer Set Programming Competition

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Credulous resolution for answer set programming

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with infinite stable models

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A uniform integration of higher-order reasoning and external evaluations in answer-set programming

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Declarative and computational properties of logic programs with aggregates

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A parallel ASP instantiator based on DLV

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Normal Form Nested Programs

Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
GASP: Answer Set Programming with Lazy Grounding

Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
The first answer set programming system competition

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
On the complexity of answer set programming with aggregates

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
GrinGo: a new grounder for answer set programming

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
FDNC: decidable non-monotonic disjunctive logic programs with function symbols

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Answer Set Programming with Resources

Journal of Logic and Computation
On the relation between answer set and sat procedures (or, between cmodels and smodels)

ICLP'05 Proceedings of the 21st international conference on Logic Programming
Towards an integration of answer set and constraint solving

ICLP'05 Proceedings of the 21st international conference on Logic Programming
A social semantics for multi-agent systems

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
SMODELSA: a system for computing answer sets of logic programs with aggregates

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CMODELS: SAT-based disjunctive answer set solver

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An ASP-based system for team-building in the gioia-tauro seaport

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages

Constraint logic programming

A 25-year perspective on logic programming
Knowledge representation and non-monotonic reasoning

A 25-year perspective on logic programming
Logic programming languages for databases and the web

A 25-year perspective on logic programming
25 years of applications of logic programming in Italy

A 25-year perspective on logic programming
Agent-supported collaboration and interoperability for networked enterprises: Modeling interactions and service compositions

Computers in Industry
Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae - Concurrency Specification and Programming CS&P

Quantified Score

Hi-index	0.00

Visualization

Abstract

Answer Set Programming (ASP), referred to also as Disjunctive Logic Programming under the stable model semantics (DLP), is a powerful formalism for Knowledge Representation and Reasoning. ASP has been the subject of intensive research studies, and, also thanks to the availability of some efficient ASP systems, has recently gained quite some popularity and is applied also in relevant industrial projects. The Italian logic programming community has been very active in this area, some ASP results achieved in Italy are widely recognized as milestones on the road to the current state of the art. After a formal definition of ASP, this chapter surveys the main contribution given by the Italian community to the ASP field in the last 25 years.