895 search results - page 95 / 179 » A Spectrum of Applications of Automated Reasoning |
GIS
1999
ACM
15 years 2 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
GIS
1999
ACM
15 years 2 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
ILP
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents an application of Inductive Logic Programming (ILP) and Backpropagation Neural Network (BNN) to the problem of Thai character recognition. In such a learning pr...
LPNMR
1999
Springer
15 years 2 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...