On the computational aspect of rule based database updates

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2070, Issue , 2001, Pages 71-81

  Bai, Yun ^a   Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

Automated problem solving; Intelligent databases; Knowledge representation

Indexed keywords

EXPERT SYSTEMS; INTELLIGENT DATABASES; INTELLIGENT SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; PROBLEM SOLVING; SPECIFICATIONS;

COMPUTATIONAL ASPECTS; INFERENCE PROBLEM; PRIORITIZED LOGIC PROGRAMS; RULE-BASED DATABASE; TIME COST;

MODEL CHECKING;

EID: 0009217919     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45517-5_9     Document Type: Conference Paper

References (8)

1. M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, pp365-386, 1991.
2. V. Lifschitz and H. Turner, Splitting a logic program. In Proceedings of Eleventh International Conference on Logic Programming, pp23-37, 1994.
3. J.J. Alferes and et al, Dynamic logic programming. In Proceedings of KR-98, pp98-109, 1998.
4. V. Marek and I. Pivkina and M. Truszcynski, Annotated revision programs. In Proceedings of LPNMR’99, pp49-62, 1999.
5. I. Niemela and P. Simons, Efficient implementation of the well-founded and stable model semantics. In Proceedings of IJCSLP’96, pp 289-303, 1996.
6. V.W. Marek and M. Truszczynski, Autoepistemic logic. Journal of the Association Machinery, 38(3), pp588-619, 1991.
7. C.-M. Wu and Y. Zhang, Implementing prioritized logic programming. In Proceedings of ISMIS’99, pp 85-93, 1999.
8. Y. Zhang and N.Y. Foo, Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS’97), pp69-83, 1997.