Author:
Cabalar Pedro,Pearce David,Valverde Agustín
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47, 3–41 (2006)
2. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc. of the Fifth International Conference on Logic Programming, ICLP 1988, Seattle, WA, USA, pp. 1070–1080. The MIT Press, Cambridge, Massachusetts (1988)
3. Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic 2(4), 526–541 (2001)
4. Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007, vol. 4483, pp. 260–265. Springer, Heidelberg (2007)
5. Lecture Notes in Artificial Intelligence;P. Ferraris,2005
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Syntactic ASP forgetting with forks;Artificial Intelligence;2024-01
2. A Brief History of Updates of Answer-Set Programs;Theory and Practice of Logic Programming;2022-03-22
3. Syntactic ASP Forgetting with Forks;Logic Programming and Nonmonotonic Reasoning;2022
4. Forgetting in Answer Set Programming – A Survey;Theory and Practice of Logic Programming;2021-12-27
5. On Syntactic Forgetting Under Uniform Equivalence;Logics in Artificial Intelligence;2021