121
Voted
ICLP
1998
Springer
15 years 7 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...
99
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
91
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
135
Voted
ICLP
1998
Springer
15 years 7 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 ...
98
Voted
GIS
1998
ACM
15 years 7 months ago
1998
ACM
98
Voted
GIS
1998
ACM
15 years 7 months ago
1998
ACM
115
Voted
GIS
1998
ACM
15 years 7 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...
126
Voted
FTP
1998
Springer
15 years 7 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...
170
Voted
FTP
1998
Springer
15 years 7 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
101
Voted
FLOPS
1998
Springer
15 years 7 months ago
1998
Springer