Induction and decision procedures.

Kapur, Deepak, Giesl, Jürgen, and Subramaniam, Mahadevan. "Induction and decision procedures.." RACSAM 98.1 (2004): 153-180. <http://eudml.org/doc/41045>.

@article{Kapur2004,
abstract = {Mechanization of inductive reasoning is an exciting research area in artificial intelligence and automated reasoning with many challenges. An overview of our work on mechanizing inductive reasoning based on the cover set method for generating induction schemes from terminating recursive function definitions and using decision procedures is presented. This paper particularly focuses on the recent work on integrating induction into decision procedures without compromising their automation.},
author = {Kapur, Deepak, Giesl, Jürgen, Subramaniam, Mahadevan},
journal = {RACSAM},
keywords = {automated reasoning},
language = {eng},
number = {1},
pages = {153-180},
title = {Induction and decision procedures.},
url = {http://eudml.org/doc/41045},
volume = {98},
year = {2004},
}

TY - JOUR
AU - Kapur, Deepak
AU - Giesl, Jürgen
AU - Subramaniam, Mahadevan
TI - Induction and decision procedures.
JO - RACSAM
PY - 2004
VL - 98
IS - 1
SP - 153
EP - 180
AB - Mechanization of inductive reasoning is an exciting research area in artificial intelligence and automated reasoning with many challenges. An overview of our work on mechanizing inductive reasoning based on the cover set method for generating induction schemes from terminating recursive function definitions and using decision procedures is presented. This paper particularly focuses on the recent work on integrating induction into decision procedures without compromising their automation.
LA - eng
KW - automated reasoning
UR - http://eudml.org/doc/41045
ER -