1917 search results - page 130 / 384 » Experimenting with Nonmonotonic Reasoning |
GIS
1999
ACM
15 years 5 months ago
1999
ACM
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involv...
102
click to vote
ILP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
110
click to vote
AIME
1997
Springer
15 years 5 months ago
1997
Springer
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
118
click to vote
LOPSTR
1997
Springer
15 years 5 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
PLILP
1994
Springer
15 years 5 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...