1581 search results - page 74 / 317 » Mechanizing Inductive Reasoning |
134
click to vote
ICTAI
2007
IEEE
16 years 15 days ago
2007
IEEE
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
158
click to vote
AAAI
2007
15 years 8 months ago
2007
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
154
click to vote
FLAIRS
2004
15 years 7 months ago
2004
In this paper, we propose a cautious cooperative learning approach using distributed case-based reasoning. Our approach consists of two learning mechanisms: individual and coopera...
170
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
193
click to vote
ACL2
2006
ACM
16 years 5 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...