1581 search results - page 83 / 317 » Mechanizing Inductive Reasoning |
154
click to vote
EXACT
2008
15 years 8 months ago
2008
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...
146
click to vote
SCIA
2005
Springer
15 years 11 months ago
2005
Springer
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
169
click to vote
LADS
2007
Springer
16 years 13 days ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
172
click to vote
TCAD
2002
15 years 6 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
210
click to vote
MOBIQUITOUS
2008
IEEE
16 years 20 days ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...