Splitting Epistemic Logic Programs-Reference-Cited by-同舟云学术

Splitting Epistemic Logic Programs

Published:2019 Issue: Volume: Page:120-133
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Cabalar Pedro,Fandinno Jorge,Fariñas del Cerro Luis

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-20528-7_10

Reference13 articles.

1. Cabalar, P., Fandinno, J., Fariñas del Cerro, L.: Splitting epistemic logic programs. In: Proceedings of the 17th International Workshop on Non-monotonic Reasoning (NMR 2018), pp. 81–89 (2018)

2. Fariñas del Cerro, L., Herzig, A., Su, E.I.: Epistemic equilibrium logic. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2964–2970. AAAI Press (2015)

3. Gelfond, M.: Strong introspection. In: Dean, T.L., McKeown, K. (eds.) Proceedings of the AAAI Conference, vol. 1, pp. 386–391. AAAI Press/The MIT Press (1991)

4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Gelfond,2011

5. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP 1988), pp. 1070–1080 (1988)

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

1. Epistemic Logic Programs: A Study of Some Properties;Theory and Practice of Logic Programming;2024-02-05

2. Epistemic Logic Programs: A Study of Some Properties;Logic Programming and Nonmonotonic Reasoning;2022

3. Thirty years of Epistemic Specifications;Theory and Practice of Logic Programming;2021-11-08

4. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs;Theory and Practice of Logic Programming;2021-09

5. Splitting Epistemic Logic Programs;Theory and Practice of Logic Programming;2020-05-05