4573 search results - page 647 / 915 » Automated Reasoning |
200
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...
150
click to vote
TPHOL
2007
IEEE
16 years 28 days 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...
180
click to vote
ICCBR
2007
Springer
16 years 24 days 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...
159
click to vote
TARK
2007
Springer
16 years 23 days 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...
172
click to vote
TIME
2006
IEEE
16 years 20 days 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...