427 search results - page 7 / 86 » Inductive reasoning about effectful data types |
EWCBR
1994
Springer
13 years 11 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
DAGM
2004
Springer
14 years 25 days ago
2004
Springer
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
ICDT
2003
ACM
14 years 20 days ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
CACM
2008
13 years 7 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
FLAIRS
2008
13 years 9 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...