3 search results - page 1 / 1 » From Hilbert's Program to a Logic Toolbox |
LPAR
2007
Springer
14 years 5 months ago
2007
Springer
AMAI
2000
Springer
13 years 10 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
SYNTHESE
2011
13 years 5 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...