the proceedings contain 22 papers. the special focus in this conference is on extensions of logicprogramming. the topics include: Design for AKL with intelligent pruning;birkhoff's HSP-theorem for cumulative logi...
ISBN:
(纸本)9783540580256
the proceedings contain 22 papers. the special focus in this conference is on extensions of logicprogramming. the topics include: Design for AKL with intelligent pruning;birkhoff's HSP-theorem for cumulative logic programs;finite domains and exclusions as first-class citizens;some experimental results in implementing a logic language with multi-head clauses on a transputer architecture;a language with finite sets embedded in the CLP-scheme;finitary partial inductive definitions as a general logic;programming methodologies in GCLA;computing cost estimates for proof strategies;logicprogramming with multiple context management schemes;non-procedural logicprogramming;axioms in definitional calculi;regular search spaces as a foundation of logicprogramming;answer sets and nonmonotonic s4;cut formulae and logicprogramming;higher-order aspects of logicprogramming;representation and inference with consistent temporal propositions;definitional reflection and the completion.
Are higher-order extensions to logicprogramming needed? We suggest a negative answer by showing that higher-order features are already available in pure logicprogramming. It is demonstrated that higher-order lambda ...
详细信息
We present a logicprogramming language where both problem domain and computational knowledge are expressed in logic. A logic program in this language consists of an object-program and a number of meta-programs. the o...
详细信息
Two years experience with prograanmlng in Linear logic has shown that while some problems require the full power of linear context management, for many this much control is too much. In such cases a restriction on eit...
详细信息
In this paper we present a mechanism to define names for proof-wit nesses of formulae and thus to use Gent zen’s cut-rule in logicprogramming. We consider a program to be a set of logical formulae together with a li...
详细信息
Birkhoff’s HSP theorem is that the models of a set of algebraic equations form a variety, i.e. a category of algebras which admits homomorphic images, subalgebras and products. We show here first, that every equation...
详细信息
this paper develops a proof-theoretic semantics based on linear logic for Concurrent Prolog. Several fragments of linear logic are used in order to provide for a suitable translation of Concurrent Prolog clauses, with...
详细信息
We describe how the calculus of partial inductive definitions is used to represent logics. this calculus includes the powerful principle of definitional reflection. We describe two conceptually different approaches to...
详细信息
First, we aim to provide a proof-theoretic reconstruction of logicprogramming, both for definite and for normal programs. this leads us to a better understanding of negation-as-failure (NF) [5] and of other proof-the...
详细信息
暂无评论