1581 search results - page 15 / 317 » Mechanizing Inductive Reasoning |
102
click to vote
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
For the development of Semantic Web technology, researchers and developers in the Semantic Web community need to focus on the areas in which human reasoning is particularly difficu...
118
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
CSL
2007
Springer
15 years 5 months ago
2007
Springer
ILP
2005
Springer
15 years 5 months ago
2005
Springer