Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic-Reference-Cited by-同舟云学术

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

Published:2006 Issue: Volume: Page:346-360
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Cabalar Pedro,Odintsov Sergei,Pearce David,Valverde Agustín

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11799573_26.pdf

Reference23 articles.

1. Alcantara, J., Damasio, C., Pereira, L.M.: A Frame-based Characterisation of the Paraconsistent Well-founded Semantics with Explicit Negation (Unpublished draft), available at: http://centria.di.fct.unl.pt/~jfla/publications/

2. Bochman, A.: A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion, II: Semantics for logic programs. Journal of Logic Programming 35, 151–194, 171–194 (1998)

3. Brass, S., Dix, J.: A disjunctive semantics based on unfolding and bottom-up evaluation. In: IFIP 1994 Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases, pp. 83–91 (1994)

4. Cabalar, P., Odintsov, S., Pearce, D.: Logical Foundations of Well-Founded Semantics. In: Proceedings KR 2006 (to appear, 2006)

5. Lecture Notes in Artificial Intelligence;T. Eiter,2003

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

1. Argumentation frameworks with necessities and their relationship with logic programs;Argument & Computation;2023-02-22

2. Fuzzy Equilibrium Logic;ACM Transactions on Computational Logic;2012-10

3. A semantical framework for hybrid knowledge bases;Knowledge and Information Systems;2010-05-09

4. Relativized hyperequivalence of logic programs for modular programming;Theory and Practice of Logic Programming;2009-09-14

5. Well-Founded and Partial Stable Semantics Logical Aspects;Computer Science - Theory and Applications;2009