research
∙
03/20/2015
The RatioLog Project: Rational Extensions of Logical Reasoning
Higher-level cognition includes logical reasoning and the ability of que...
share
research
∙
09/24/2013
Automation of Mathematical Induction as part of the History of Logic
We review the history of the automation of mathematical induction...
research
∙
08/22/2013
David Poole's Specificity Revised
In the middle of the 1980s, David Poole introduced a semantical, model-t...
research
∙
04/13/2011