Evaluation Techniques and Systems for Answer Set Programming: a Survey-Reference-Cited by-同舟云学术

Evaluation Techniques and Systems for Answer Set Programming: a Survey

Published:2018-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
language:
Short-container-title:

Author:

Gebser Martin¹,Leone Nicola²,Maratea Marco³,Perri Simona²,Ricca Francesco²,Schaub Torsten¹

Affiliation:

1. University of Potsdam, Germany

2. University of Calabria, Italy

3. University of Genova, Italy

Abstract

Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this paper we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.

Publisher

International Joint Conferences on Artificial Intelligence Organization

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. B2SAT: A Bare-Metal Reduction of B to SAT;Lecture Notes in Computer Science;2024-09-13

2. Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

3. Design and implementation of modern CDCL ASP solvers;Intelligenza Artificiale;2024-05-25

4. Clingo2DSR - A clingo-based software system for declarative spatial reasoning;Spatial Cognition & Computation;2024-03-29

5. An Efficient Solver for ASP(Q);Theory and Practice of Logic Programming;2023-07