Solving logic program conflict through strong and weak forgettings

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 627-634

  Zhang, Yan ^a   Foo, Norman ^b   Wang, Kewen ^c  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL PROPERTIES; CONFLICT SOLVING; LOGIC PROGRAMS; PROPOSITIONAL THEORIES;

ARTIFICIAL INTELLIGENCE; ATOMS; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84880705131     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. S. Brass and J. Dix. Semantics of (disjunctive) logic programs based on partial evaluation. Journal of Logic programming, 40(1):1-46, 1999.
2. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. On properties of update sequences based on causal rejection. Theory and Practice of Logic programming, 2:711-767, 2002. (Pubitemid 135712036)
3. J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In Proceedings of KR2002, pages 239-250, 2002.
4. J. Lang, P. Liberatore, and P. Marquis. Propositional independence - formula-variable independence and forgetting. Journal of Artificial Intelligence Research, 18:391-443, 2003.
5. J.A. Leite. Evolving Knowledge Bases: Specification and Semantics. IOS Press, 2003.
6. V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2(4):426-541, 2001.
7. F. Lin and R. Reiter. Forget it! In Working Notes of AAAI Fall Symposium on Relevance, pages 154-159, 1994.
8. F. Lin. On the strongest necessary and weakest sufficient conditions. Artificial Intelligence, 128:143-159, 2001. (Pubitemid 32421512)
9. C.H. Papadimitriou. Computational Complexity. Addison Wesley, 1994.
10. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Proceedings of LPNMR'99, pages 2-17, 1999.
11. K. Su, G. Lv, and Y. Zhang. Reasoning about knowledge by variable forgetting. In Proceedings of KR2004, pages 576-586, 2004.