A Formal Theory of Justifications-Reference-Cited by-同舟云学术

A Formal Theory of Justifications

Published:2015 Issue: Volume: Page:250-264
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Denecker Marc,Brewka Gerhard,Strass Hannes

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-23264-5_22

Reference26 articles.

1. Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. TPLP 7(3), 301–353 (2007)

2. Son, T.C., Pontelli, E.: A constructive semantic characterization of aggregates in answer set programming. TPLP 7(3), 355–375 (2007)

3. Denecker, M., De Schreye, D.: Justification semantics: A unifying framework for the semantics of logic programs. In: LPNMR, pp. 365–379. MIT Press (1993)

4. Denecker, M., Marek, V., Truszczyński, M.: Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 127–144. Springer, New York (2000)

5. Denecker, M., Marek, V., Truszczyński, M.: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192(1), 84–121 (2004)

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

1. Embedding justification theory in approximation fixpoint theory;Artificial Intelligence;2024-06

2. Model Explanation via Support Graphs;Theory and Practice of Logic Programming;2024-02-29

3. Causal reasoning from almost first principles;Synthese;2024-01-04

4. Witnesses for Answer Sets of Logic Programs;ACM Transactions on Computational Logic;2023-01-27

5. An Inferential Theory of Causal Reasoning;Logic, Rationality, and Interaction;2023