4573 search results - page 544 / 915 » Automated Reasoning |
124
Voted
PLILP
1993
Springer
15 years 9 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
161
click to vote
NMELP
1994
15 years 9 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
156
click to vote
PLILP
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
166
click to vote
GIS
1992
ACM
15 years 9 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
143
Voted
KR
1992
Springer
15 years 9 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...