14 citations · 60 across the 17 of their papers we have counts for
Showing 2013 · cs.AIShow all
2 papers · 2 filters
cs.AI2013★ 4 cited
Automation of Mathematical Induction as part of the History of Logic
J Strother Moore, Claus-Peter Wirth
We review the history of the automation of mathematical induction
cs.AI2013★ 1 cited
David Poole's Specificity Revised
Claus-Peter Wirth, Frieder Stolzenburg
In the middle of the 1980s, David Poole introduced a semantical, model-theoretic notion of specificity to the artificial-intelligence community. Since then it has found further app…