Claus-Peter Wirth | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Frieder Stolzenburg
12 publications
Claudia Schon
10 publications
Ulrich Furbach
8 publications
J Strother Moore
5 publications
Karl-Heinz Weis
2 publications

research

∙ 03/20/2015

The RatioLog Project: Rational Extensions of Logical Reasoning

Higher-level cognition includes logical reasoning and the ability of que...

0 Ulrich Furbach, et al. ∙

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...

0 J Strother Moore, et al. ∙

research

∙ 08/22/2013

David Poole's Specificity Revised

In the middle of the 1980s, David Poole introduced a semantical, model-t...

0 Claus-Peter Wirth, et al. ∙

research

∙ 04/13/2011

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice

Free variables occur frequently in mathematics and computer science with...

0 Claus-Peter Wirth, et al. ∙