1581 search results - page 31 / 317 » Mechanizing Inductive Reasoning |
FLAIRS
2001
15 years 3 months ago
2001
Thenumber,the size, andthe dynamicsof lntemetinformationsourcesbears abundantevidenceof the need of automationin informationextraction(IE). Thispaper deals withthe questionof hows...
100
click to vote
JAR
2008
15 years 1 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
JAR
2006
15 years 1 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
114
click to vote
EXACT
2008
15 years 4 months ago
2008
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
KBS
2008
15 years 1 months ago
2008
Banks currently have a great interest in internal audits to reduce risks, to prevent themselves from insolvency, and to take quick action for financial incidents. This study prese...