Solving logic program conflict through strong and weak forgettings-Reference-Cited by-同舟云学术

Solving logic program conflict through strong and weak forgettings

Author:

Zhang Yan,Foo Norman Y.

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference28 articles.

1. Towards a theory of declarative knowledge;Apt,1988

2. J.J. Alferes, J.A. Leite, L.M. Pereira, et al., Dynamic logic programming, in: Proceedings of KR-98, 1998, pp. 98–111

3. Knowledge Representation, Reasoning and Declarative Problem Solving;Baral,2002

4. A general framework for semantics of disjunctive logic programs based on partial evaluation;Brass;Journal of Logic Programming,1998

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

2. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12

4. Knowledge forgetting in propositional μ-calculus;Annals of Mathematics and Artificial Intelligence;2022-09-26

5. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04