887 search results - page 65 / 178 » A Science of Reasoning |
87
Voted
AMC
2006
14 years 10 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
SIGPLAN
2008
14 years 10 months ago
2008
Liberal arts curricula emphasize breadth of a student's educational experience, critical reasoning, and intellectual discourse to a greater degree than pre-professional train...
77
Voted
SYNTHESE
2008
14 years 10 months ago
2008
Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invari...
84
Voted
KBS
1998
14 years 10 months ago
1998
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
67
Voted
ICLP
1989
Springer
15 years 2 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...