Topic
Answer set programming
About: Answer set programming is a research topic. Over the lifetime, 2517 publications have been published within this topic receiving 46051 citations. The topic is also known as: Answer Set Programming & ASP.
Papers published on a yearly basis
Papers
Book•
1 Jan 2003TL;DR: Chitta Baral demonstrates how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it and presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving.
Abstract: Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and their exploitation requires representation via the development of a declarative interface whose input language is based on logic. Chitta Baral demonstrates how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. Many of the results have never appeared before in book form but are organized here for those wishing to learn more about the subject, either in courses or through self-study.
1,677 citations
TL;DR: The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.
Abstract: The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.
1,142 citations
TL;DR: A novel logic program like language, weight constraint rules, is developed for answer set programming purposes which offers a competitive implementation of the stable model semantics for normal programs and attractive performance for problems where the new types of rules provide a compact representation.
1,097 citations
TL;DR: This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University ofPotsdam.
Abstract: This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.
621 citations
Book•
19 Dec 2012TL;DR: This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems, and introduces ASP's solving technology, modeling language and methodology.
Abstract: Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples. Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions
506 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2025 | 19 |
| 2024 | 42 |
| 2023 | 55 |
| 2022 | 117 |
| 2021 | 121 |
| 2020 | 162 |