WFLP
2000
Springer
15 years 8 months ago
2000
Springer
158
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
121
click to vote
ECSQARU
1995
Springer
15 years 8 months ago
1995
Springer
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...