887 search results - page 65 / 178 » A Science of Reasoning |
109
Voted
AMC
2006
15 years 19 days 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 ...
96
Voted
SIGPLAN
2008
15 years 14 days 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...
95
Voted
SYNTHESE
2008
15 years 14 days 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...
108
Voted
KBS
1998
15 years 7 days 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...
ICLP
1989
Springer
15 years 4 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...