WASP: A Native ASP Solver Based on Constraint Learning-Reference-Cited by-同舟云学术

WASP: A Native ASP Solver Based on Constraint Learning

Published:2013 Issue: Volume: Page:54-66
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Alviano Mario,Dodaro Carmine,Faber Wolfgang,Leone Nicola,Ricca Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40564-8_6

Reference26 articles.

1. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)

2. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems 22, 364–418 (1997)

3. Lecture Notes in Computer Science;M. Alviano,2011

4. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Twentieth International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 386–392. Morgan Kaufmann Publishers (2007)

5. Lecture Notes in Artificial Intelligence;Y. Lierler,2003

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

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

2. Efficient Constraint Learning For Stream Reasoning;2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI);2023-11-06

3. Explainable Answer-set Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12

4. Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells;Annals of Mathematics and Artificial Intelligence;2023-07-31

5. From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems;Proceedings of the ACM on Programming Languages;2023-01-09