ICLP
1998
Springer
14 years 2 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
ICLP
1998
Springer
14 years 2 months ago
1998
Springer
ICLP
1998
Springer
14 years 2 months ago
1998
Springer
ICLP
1998
Springer
14 years 2 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
GIS
1998
ACM
14 years 2 months ago
1998
ACM
GIS
1998
ACM
14 years 2 months ago
1998
ACM
GIS
1998
ACM
14 years 2 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
FTP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
FTP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
FLOPS
1998
Springer
14 years 2 months ago
1998
Springer