Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning-Reference-Cited by-同舟云学术

Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning

Published:2000 Issue: Volume: Page:127-144
ISSN:
Container-title:Logic-Based Artificial Intelligence
language:
Short-container-title:

Author:

Denecker Marc,Marek Victor,Truszczyński Mirosław

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-1567-8_6

Reference22 articles.

1. Baral, C. and Subrahmanian, V. (1991). Dualities between alternative semantics for logic programming and nonmonotonic reasoning (extended abstract). In A. Nerode, W. Marek, and V.S. Subrahmanian, editors, Logic programming and non-monotonic reasoning (Washington, DC, 1991), pages 69–86, Cambridge, MA. MIT Press.

2. Bochman, A. (1996). Biconsequence Relations for Nonmonotonic Reasoning. In L. Carlucci Aiello, J. Doyle, and S. Shapiro, editors, Principles of Knowledge Representation and Reasoning, Proceedings of the Fifth International Conference (KR96), pages 482–492, Morgan Kaufmann Publishers.

3. Bochman, A. (1998a). A Logical Foundation for Logic Programming I: Biconsequence Relations. Journal of Logic Programming 35:151–170.

4. Bochman, A. (1998b). A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. Journal of Logic Programming 35:171–194.

5. Bidoit, N. and Froidevaux, C. (1991). Negation by default and unstratifiable logic programs. Theoretical Computer Science, 78(1, (Part B)):85–112.

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

1. An encoding of abstract dialectical frameworks into higher-order logic;Journal of Logic and Computation;2024-01-11

2. Towards a Unifying View on Monotone Constructive Definitions;Lecture Notes in Computer Science;2024

3. Approximation Fixpoint Theory in Coq;Lecture Notes in Computer Science;2024

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

5. Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates;Theory and Practice of Logic Programming;2023-07