The proceedings contain 28 papers. The special focus in this conference is the Principles and Practice of Constraint programming. The topics include: A substitution operation for constraints;contradicting conventional...
ISBN:
(纸本)9783540586012
The proceedings contain 28 papers. The special focus in this conference is the Principles and Practice of Constraint programming. The topics include: A substitution operation for constraints;contradicting conventional wisdom in constraint satisfaction;nogood backmarking with min-conflict repair in constraint satisfaction and optimization;global consistency for continuous constraints;locally simultaneous constraint satisfaction;analyzing and debugging hierarchies of multi-way local propagation constraints;inferring 3-dimensional constraints with DEVI;beyond finite domains;applications in constraint logicprogramming with strings;some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logicprogramming systeml;encapsulated search and constraint programming in oz;towards a concurrent semantics based analysis of CC and CLP;CC programs with both in- aud non-determinism: a concurrent semantics;efficient and complete tests for database integrity constraint checking;foundations of aggregation constraints;constraint-generating dependencies;constraint objects;artificial intelligence specification and verification of constraint-based dynamic systems;GSAT and dynamic backtracking;foundations of indefinite constraint databases;on the design of constraint satisfaction problems;experiences with constraint-based array dependence analysis;set constraints: results, applications and future directions;logic-based methods for optimization and commercial applications of constraint programming.
We informally discuss several issues related to the parallel execution of logicprogramming systems and concurrent logicprogramming systems, and their generalization to constraint programming. We propose a new view o...
详细信息
The proceedings contain 12 papers. The special focus in this conference is on extensions of logicprogramming. The topics include: Methodology andprogramming techniques in GCLA II;extended logic-plus-functional progr...
ISBN:
(纸本)9783540554981
The proceedings contain 12 papers. The special focus in this conference is on extensions of logicprogramming. The topics include: Methodology andprogramming techniques in GCLA II;extended logic-plus-functional programming;open logic theories;a finitary version of the calculus of partial inductive definitions;a logicprogramming approach to implementing higher-order term rewriting;an overview of the andorra kernel language;logical and computational invariants of programs;implementing λ-calculus reduction strategies in extended logicprogramming languages;terminological reasoning and partial inductive definitions;GCLA II a definitional approach to control;natural semantics and some of its meta-theory in elf and the near-horn approach to disjunctive logicprogramming.
extensions of logic and functional programming are integrated in RELFUN. Its valued clauses comprise Horn clauses (‘true’-valued) and clauses with a distinguished ‘foot’ premise (returning arbitrary values). Both ...
详细信息
We will demonstrate various implementation techniques in the language GCLA. First an introduction to GCLA is given, followed by some examples of program developments, to demonstrate the development methodology. Other ...
详细信息
The handling of evolving knowledge as well as of incomplete knowledge is one of the main issues in knowledge representation systems. On the one hand, evolving knowledge in logicprogramming can be modeled by providing...
详细信息
We study the implementation of four reduction strategies for the untyped λ-calculus in the logicprogramming language λProlog and restricted sublanguages. The higher-order features of these languages provide very na...
详细信息
This paper describes the logicprogramming language GCLA II, its operational semantics and parts of its theoretical foundations. GCLA II is a generalization of the language GCLA (Generalized Horn Clause Language) augm...
详细信息
Term rewriting has proven to be an important technique in theorem proving. In this paper, we illustrate that rewrite systems and strategies for higher-order term rewriting, which includes the usual notion of first-ord...
详细信息
暂无评论