3 search results - page 1 / 1 » Recursion of Logical Operators and Regeneration of Discrete ... |
INFORMATICASI
2000
13 years 9 months ago
2000
APAL
2010
13 years 10 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
CPAIOR
2009
Springer
14 years 4 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...