Titlebook: Logic Programming and Automated Reasoning; 5th International Co Frank Pfenning Conference proceedings 1994 Springer-Verlag Berlin Heidelber

可觸知

懸掛

放棄

Higher-order rigid E-unification,use of combinatory logic to solve higher-order E-unification problems. We improve their results by using general equational theories, and by defining optimizations such as higher-order rigid E-preunification, where flexible terms are used, gaining much efficiency, as in the non-equational case due to Huet.

棲息地

A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs, greatest unfounded set of extended literals is similar with the construction of the greatest unfounded set for normal programs. As a consequence, the connection between the well-founded semantics for normal programs and the well-founded semantics for disjunctive programs is made clearer.

愚蠢人

0302-9743 eferees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.978-3-540-58216-8978-3-540-48573-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

小卷發(fā)

Conference proceedings 1994oshevoi" 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 en

紅潤

LITHE

Devastate

敘述

Proof plans for the correction of false conjectures,ated but far less explored problem: the analysis and correction of false conjectures, especially where that correction involves finding a collection of antecedents that, together with a set of axioms, transform non-theorems into theorems. Most failed search trees are huge, and special care is to be