Towards generalized rule-based updates

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 82-88

  Zhang, Yan ^a   Foo, Norman Y ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET SEMANTICS; EXTENDED LOGIC; FORMAL SEMANTICS; GENERAL KNOWLEDGE; INCOMPLETE KNOWLEDGE; MINIMAL CHANGE PROPERTIES; PRIORITIZED LOGIC PROGRAMS; RULE BASED;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

LOGIC PROGRAMMING;

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

References (6)

1. C. Baral. Rule based updates on simple knowledge bases. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI'94), pages 136-141. AAAI Press, 1994.
2. G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research, 14:19-36, 1996. (Pubitemid 126646146)
3. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-386,1991.
4. M. Marek and M. Truszcznski. Update by means of inference rules. In Proceedings of JELIA '94, Lecture Notes in Artificial Intelligence, 1994.
5. f Lecture Notes in Artificial Intelligence, pages 156-174, 1995.
6. Y. Zhang and N.Y. Foo. Prioritized logic programming and reasoning about change. Technical report, University of Western Sydney, Nepean, 1997.