Implementing prioritized logic programming

AI Communications

Volumn 14, Issue 4, 2001, Pages 183-196

  Zhang, Yan ^a   Wu, Cheng Min ^a   Bai, Yun ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; KNOWLEDGE ENGINEERING; POLYNOMIALS; SEMANTICS;

PRIORITIZED LOGIC PROGRAMS (PLP);

LOGIC PROGRAMMING;

EID: 0035739327     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. On the computational aspect of logical database updates
2. Well-founded semantics for extended logic programs with dynamic preferences
3. Preferred answer sets for extended logic programs
4. Efficient implementation of the well-founded and stable model semantics
5. Classical negation in logic programs and disjunctive databases
6. Implementing prioritized logic programming
7. Answer sets for prioritized logic programs
8. Representing defeasible constraints and observations in action theories
9. Monotonicity in rule based update