Contents of Report
[Data of Report]
Report Number:
TM1183
Date of Registration:
1992.07
English Title:
Proceesings of FGCS '92 WORKSHOP on Constraint Logic Programming
Japanese Title:
***
English Author:
F.Mizoguchi,A.Aiba
Japanese:
***
Name of Organization to which author belongs:
TOKYO SCIENCE UNIV,ICOT
PDF:
tm1183.pdf
[Contents]
1
On Solution Compactness and Models of Clark's Axioms
.... 6
2
An Event Structure Semantics for Concurrent Constraint Programming
.... 11
3
The CORE approach to Constraint Logic Programming
.... 14
4
Parallel Constraint Logic Programming Language GDCC
.... 18
5
A Practical Approach to the Global Analysis of Constraint Logic Programs
.... 23
6
Impose Constraints in a Multi-User,Dynamically Changing Enviroment
.... 24
7
Constraint Logic Programming with Priority -Expanded abstract-
.... 27
8
Anticipatory Pruning Networas in CLP language
.... 31
9
Approximation in the Framework of Generalised Propagation
.... 36
10
Constraint Satisfaaction and Optimization Using Suffiicent Conditions for Constraint Violation
.... 41
11
Representing Situations if Forward Planning with Boolean Arrays
.... 46
End
.... 50
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda