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...
详细信息
this volume presents the proceedings of the 5thinternational Conference on logicprogramming and automatedreasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. ...
详细信息
ISBN:
(数字)9783540485735
ISBN:
(纸本)9783540582168
this volume presents the proceedings of the 5thinternational Conference on logicprogramming and automatedreasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. the lpar conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.;this proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. the papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.
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 ...
详细信息
暂无评论