1127 search results - page 128 / 226 » Theory Extension in ACL2(r) |
159
click to vote
EWCBR
1993
Springer
15 years 10 months ago
1993
Springer
Problem solving in weak theory domains should compensate for the lack of strong theories by combining the various other knowledge types involved. Such methods should be able to eff...
164
click to vote
DFG
2007
Springer
15 years 10 months ago
2007
Springer
: Interval arithmetic was introduced by Ramon Moore [Moo66] in the 1960s as an approach to bound rounding errors in mathematical computation. The theory of interval analysis emerge...
171
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
175
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
157
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates an extension of classification trees to deal with uncertain information where uncertainty is encoded in possibility theory framework. Class labels in data s...