the proceedings contain 20 papers. the special focus in this conference is on algebraic and logicprogramming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic progr...
ISBN:
(纸本)9783540584315
the proceedings contain 20 papers. the special focus in this conference is on algebraic and logicprogramming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic programs;viewing a program transformation system at work;proving implications by algebraic approximation;sufficient completeness and parameterized proofs by induction;proving behavioural theorems with standard first-order logic;compositional analysis for equational horn programs;equation solving in projective planes and planar ternary rings;concurrent logicprogramming as uniform linear proofs;three-valued completion for abductive logic programs;a sequential reduction strategy;on modularity of termination and confluence properties of conditional rewrite systems;syntactical analysis of total termination;logic programs as term rewriting systems;higher-order minimal function graphs;reasoning about layered, wildcard and product patterns;preserving universal termination through unfold/fold and a logic for variable aliasing in logic programs.
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasonin...
ISBN:
(纸本)9783540632559
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasoning with quantified Boolean constraints;complexity of only knowing;affordable classes of normal logic programs;automated reasoning with non-monotonic logics;simulations between programs as cellular automata;separating disbeliefs from beliefs in autoepistemic reasoning;resolution for skeptical stable semantics;computing non-ground representations of stable models;industry needs for integrated information services;towards a systematic approach to representing knowledge in declarative logicprogramming;a paraconsistent semantics with contradiction support detection;a general framework for revising non-monotonic theories;modular logicprogramming and generalized quantifiers;programs with universally quantified embedded implications;generalized query answering in disjunctive deductive databases;towards a disjunctive logicprogramming system;a deductive system for non-monotonic reasoning;flexible solutions to complex problems;an implementation of the stable model and well-founded semantics for normal lp;an implementation platform for query-answering in default logics and the x-ray system, its implementation and evaluation.
the proceedings contains 18 papers. Topics discussed include simulation models of short rotation forestry, willow wood properties, production and economy, poplar cultivation, seasonal amount, growth and depth distribu...
详细信息
the proceedings contains 18 papers. Topics discussed include simulation models of short rotation forestry, willow wood properties, production and economy, poplar cultivation, seasonal amount, growth and depth distribution of roots, demographic studies of canopy development, biomass fuel, and coppice culture.
this paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. the logic is shown to be sound, complete and decidable. Moreover, it is illustrate...
详细信息
We study how to preserve universal termination besides computed answer substitutions while transforming definite programs. We consider the unfold operation both alone and combined withthe introduction of a new defini...
详细信息
this paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is defined which given a logic program computes a TRS. For a relevant class of logic programs, ca...
详细信息
We describe LC, a formalism based on the proof theory of linear logic, whose aim is to specify concurrent computations and whose language restriction (as compared to other linear logic language) provides a simpler ope...
详细信息
暂无评论