Logical foundations: Personal perspective
share
This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.
READ FULL TEXT
research
∙
03/06/2013
A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
We describe the integration of logical and uncertain reasoning methods t...
research
∙
11/16/2019
Where are the Natural Numbers in Hilbert's Foundations of Geometry?
Hilbert's Foundations of Geometry was perhaps one of the most influentia...
research
∙
10/28/2012
Illustrating a neural model of logic computations: The case of Sherlock Holmes' old maxim
Natural languages can express some logical propositions that humans are ...
research
∙
09/16/2016
Organized Complexity: is Big History a Big Computation?
The concept of "logical depth" introduced by Charles H. Bennett (1988) s...
research
∙
02/19/2014
A normative account of defeasible and probabilistic inference
In this paper, we provide more evidence for the contention that logical ...
research
∙
09/22/2020
Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean
On May 12th, 2020, during the course entitled Artificial Intelligence an...
research
∙
09/16/2020