4573 search results - page 647 / 915 » Automated Reasoning |
224
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
166
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
203
click to vote
ICCBR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
177
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn m...
195
click to vote
TIME
2006
IEEE
16 years 1 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...