We define a projection operator in the framework of the temporal logicprogramming. Its syntax mad semantics are presented and illustrated with examples. We also discuss the implementation details of the projection co...
详细信息
In his paper [12] Ross extends the well-founded semantics for normal logic programs [16] to disjunctive logic programs. His definition is top-down and it is closer to a procedural semantics than to the elegant fixpoin...
详细信息
the concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. these operations eliminate a potentially large number of subsumed paths i...
详细信息
Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical ...
详细信息
暂无评论