3164 search results - page 203 / 633 » On Granular Knowledge Structures |
112
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...
142
click to vote
CIARP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It is argued that the ability to generalise is the most important characteristic of learning and that generalisation may be achieved only if pattern recognition systems l...
129
click to vote
FLAIRS
2006
15 years 5 months ago
2006
This paper presents three new algorithms for the automatic construction of models from Object Oriented Probabilistic RelationalModels. The first two algorithms are based on the kn...
108
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
This paper discusses the application of a previously reported theory of explanation rhetoric (Maybury, 1988b) to the task of explaining constraint violations in a hybrid rule/fram...
137
click to vote
JCIT
2010
14 years 11 months ago
2010
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...