Towards an Integration of Answer Set and Constraint Solving-Reference-Cited by-同舟云学术

Towards an Integration of Answer Set and Constraint Solving

Published:2005 Issue: Volume: Page:52-66
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Baselice S.,Bonatti P. A.,Gelfond M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11562931_7.pdf

Reference21 articles.

1. Lecture Notes in Artificial Intelligence;M. Balduccini,2001

2. Baselice, S.: Integrazione di tecniche di Answer Set Programming e Constraint Solving. In: Tesi di laurea, Università degli studi di Napoli Federico II, Naples, Italy (October 2004)

3. Cadoli, M., Donini, F.M., Schaerf, M.: Is intractability of nonmonotonic reasoning a real drawback? Artificial Intelligence 88(1-2), 215–251 (1996)

4. Aiello, L.C., Massacci, F.: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Logic 2(4), 542–580 (2001)

5. Cholewiński, P., Marek, V., Mikitiuk, A., Truszczyński, M.: Experimenting with nonmonotonic reasoning. In: Proceedings of the 12th International Conference on Logic Programming, ICLP 1995, pp. 267–281. MIT Press, Cambridge (1995)

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

1. Metric dynamic equilibrium logic;Journal of Applied Non-Classical Logics;2023-08-14

2. Answer Set Planning: A Survey;Theory and Practice of Logic Programming;2022-04-01

3. Metric Temporal Answer Set Programming over Timed Traces;Logic Programming and Nonmonotonic Reasoning;2022

4. People, Ideas, and the Path Ahead;Practical Aspects of Declarative Languages;2022

5. A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders;Theory and Practice of Logic Programming;2019-12-02