The Conflict-Driven Answer Set Solver clasp: Progress Report-Reference-Cited by-同舟云学术

The Conflict-Driven Answer Set Solver clasp: Progress Report

Published:2009 Issue: Volume: Page:509-514
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Gebser Martin,Kaufmann Benjamin,Schaub Torsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04238-6_50

Reference30 articles.

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

2. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Veloso, M. (ed.) Proc. of IJCAI 2007, pp. 386–392. AAAI Press, Menlo Park (2007)

3. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set enumeration. In: [28], pp. 136–148

4. http://potassco.sourceforge.net/

5. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: [28], pp. 260–265

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

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

2. IASCAR: Incremental Answer Set Counting by Anytime Refinement;Theory and Practice of Logic Programming;2024-02-21

3. A framework for step-wise explaining how to solve constraint satisfaction problems;Artificial Intelligence;2021-11

4. DynASP2.5: Dynamic Programming on Tree Decompositions in Action;Algorithms;2021-03-02

5. InterLock;Proceedings of the 39th International Conference on Computer-Aided Design;2020-11-02