Logic program-based updates

ACM Transactions on Computational Logic

Volumn 7, Issue 3, 2006, Pages 421-472

  Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

Computational complexity; Conflict resolution; Logic program based update; Prioritized logic programming

Indexed keywords

CONFLICT RESOLUTION; LOGIC PROGRAM BASED UPDATE; NONTRIVIAL SOLUTIONS; PRIORITIZED LOGIC PROGRAMMING; SYNTACTIC SENSITIVITY;

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; PROBLEM SOLVING; SEMANTICS; SYNTACTICS;

LOGIC PROGRAMMING;

EID: 33748298848     PISSN: 15293785     EISSN: 15293785     Source Type: Journal    
DOI: 10.1145/1149114.1149115     Document Type: Article

References (42)

1. ALFERES, J., LEITE, J., PEREIRA, L., PRZYMUSINSKA, H., AND PRZYMUSINSKI, T. 1998. Dynamic logic programming. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR-98). 98-109.
2. ALFERES, J. AND PEREIRA, L. 2000. Updates plus preference. In Proceedings of JELIA2000.
3. ALFERES, J., PEREIRA, L., PRZYMUSINSKA, H., AND PRZYMUSINSKI, T. 2002. Lups - A language for up-dating logic programs. Artific. Intell. 138, 87-116.
4. ALVES, M., LAURENT, D., AND SPYRATOS, N. 1995. Update rules in datalog programs. In Proceedings of the 1995 Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'95). 71-84.
5. BARAL, C. 1994. Rule based updates on simple knowledge bases. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-94). 136-141.
6. BEN-ELIYAHU, R. AND DECHTER, R. 1994. Prepositional semantics for disjunctive logic programs. Ann. Math. Artific. Intell. 12, 53-87.
7. BOUTILIER, C. 1996. Abduction to plausible causes: An event-based model of belief update. Artific. Intell. 83, 143-166.
8. BREWKA, G. 1996. Well-founded semantics for extended logic programs with dynamic preferences. J. Artific. Intell. Res. 4, 19-36.
9. BREWKA, G. AND EITER, T. 1999. Preferred answer sets for extended logic programs. Artific. Intell. 109, 297-356.
10. CRESCINI, V. AND ZHANG, Y. 2006. Policyupdater: A system for dynamic access control. Int. J. Inform. Secur. B, 145-165.
11. DE VOS, M. AND VERMEIR, D. 2000. A logic for modeling decision making with dynamic preferences. In Proceedings of JELIA 2000. 391-406.
12. DEKHTYAR, M., DIKOVSKY, A., AND SPYRATOS, N. 1998. On logically justified updates. In Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98).
13. DELGRANDE, J., SCHAUB, T., AND TOMPITS, H. 2000. Logic programs with compiled preferences. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000). 392-398.
14. EITER, T., FINK, M., SABBATINI, G., AND TOMPITS, H. 2002. On properties of update sequences based on causal rejection. Theory Pract. Logic Programm. 2, 711-767.
15. EITER, T., GOTTLOB, G., AND LEONE, N. 1997a. Abduction from logic programs: Semantics and complexity. Theoret. Comput. Sci. 189, 129-177.
16. EITER, T., LEONE, N., MATEIS, C., PFEIFER, G., AND SCARCELLO, F. 1997b. A deductive system for non-monotonic reasoning. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). 363-374.
17. ENGELFREIT, J. 1998. Monotonicity and persistence in preferential logics. J. Artific. Intell. Res. 8, 1-12.
18. GAREY, M. AND JOHNSON, D. 1979. Computers and Intractability. W. H. Freeman and Co., San Francisco, CA.
19. GELFOND, M. AND LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generat. Comput. 9, 365-386.
20. GUESSOUM, A. AND LLOYD, J. 1991. Updating knowledge bases II. New Generat. Comput. 10, 73-100.
21. HERZIG, A. AND RIFI, O. 1999. Propositional belief base update and minimal change. Artific. Intell. 115, 107-138.
22. KAKAS, A. AND MANCARELLA, P. 1990. Database updates through abduction. In Proceedings of the 16th VLDB Conference. 650-661.
23. KATSUNO, H. AND MENDELZON, A. 1991. On the difference between updating a knowledge database and revising it. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91). 387-394.
24. LIFSCHITZ, V. AND TURNER, H. 1994. Splitting a logic program. In Proceedings of the Eleventh International Conference on Logic Programming. 23-37.
25. MAREK, V. AND TRUSZCZYŃSKI, M. 1991. Autoepistemic logic. J. Assoc. Comput. Mach. 38, 587-618.
26. MAREK, V. AND TRUSZCZYŃSKI, M. 1994. Revision program. In Proceedings of JELIA '94.
27. MAREK, V. AND TRUSZCZYŃSKI, M. 1998. Revision programming. Theoret. Comput. Sci. 190, 241-277.
28. NEMELA, I. AND SIMONS, P. 1996. Efficient implementation of the well-founded and stable model semantics. In Proceedings of the International Joint Conference and Symposium on Logic Programming (IJCSLP'96). 289-303.
29. PAPADIMITRIOU, C. 1994. Computational Complexity. Addison-Wealey, Reading, MA.
30. PRZYMUSINSKI, T. AND TURNER, H. 1997. Update by means of inference rules. J. Logic Programm. 30, 125-143.
31. RAO, P., SAGONAS, K., SWIFT, T., WARREN, D., AND FREIRE, J. 1997. XSB: A system for efficiently computing WFS. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). 2-17.
32. SAKAMA, C. AND INOUE, K. 1999. Updating extended logic programs through abduction. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99). 147-161.
33. SCHAUB, T. AND WANG, K. 2001. A comparative study of logic programs with preference. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI01). 597-602.
34. WINSLETT, M. 1988. Reasoning about action using a possible models approach. In Proceedings of AAAI-88. 89-93.
35. ZHANG, Y. 1999. Monotonicity in rule based update. In Proceedings of the 1999 International Conference on Logic Programming (ICLP'99). 471-485.
36. ZHANG, Y. 2001. The complexity of logic program updates. In Proceedings of the 14th Australian Joint Conference on Artificial Intelligence (AI2001). 630-643.
37. ZHANG, Y. 2003a. Minimal change and maximal coherence for epistemic logic program updates. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03). 112-117.
38. ZHANG, Y. 2003b. Two results for prioritized logic programming. Theory Pract. Logic Programm. 3, 2, 223-242.
39. ZHANG, Y. AND FOO, N. 1997. Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium. (ILPS'97). 69-83.
40. ZHANG, Y. AND FOO, N. 1998. Updating logic programs. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98). 403-407.
41. ZHANG, Y. AND FOO, N. 2001. Towards generalized rule-based updates. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97). 82-88.
42. ZHANG, Y., WU, C.-M., AND BAI, Y. 2001. Implementing prioritized logic programming. AI Commun. 14, 4, 183-196.