A Bird’s-Eye View of Forgetting in Answer-Set Programming-Reference-Cited by-同舟云学术

A Bird’s-Eye View of Forgetting in Answer-Set Programming

Published:2017 Issue: Volume: Page:10-22
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Leite João

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-61660-5_2

Reference45 articles.

1. Goncalves, R., Knorr, M., Leite, J.: The ultimate guide to forgetting in answer set programming. In: Baral, C., Delgrande, J., Wolter, F. (eds.) Proceedings of KR, pp. 135–144. AAAI Press (2016)

2. Gonçalves, R., Knorr, M., Leite, J.: You can’t always forget what you want: on the limits of forgetting in answer set programming. In: Fox, M.S., Kaminka, G.A. (eds.) Proceedings of ECAI. IOS Press (2016)

3. European Parliament: General data protection regulation. Official Journal of the European Union L119/59, May 2016

4. Lin, F., Reiter, R.: How to progress a database. Artif. Intell. 92(1–2), 131–167 (1997)

5. Liu, Y., Wen, X.: On the progression of knowledge in the situation calculus. In: Walsh, T. (ed.) Proceedings of IJCAI, IJCAI/AAAI, pp. 976–982 (2011)

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

1. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs;Theory and Practice of Logic Programming;2022-03-18

2. Abstraction for non-ground answer set programs;Artificial Intelligence;2021-11

3. Omission-Based Abstraction for Answer Set Programs;Theory and Practice of Logic Programming;2020-06-09

4. Forgetting auxiliary atoms in forks;Artificial Intelligence;2019-10

5. A Syntactic Operator for Forgetting that Satisfies Strong Persistence;Theory and Practice of Logic Programming;2019-09