4573 search results - page 647 / 915 » Automated Reasoning |
157
click to vote
TARK
2009
Springer
15 years 10 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...
111
Voted
TPHOL
2007
IEEE
15 years 10 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...
148
click to vote
ICCBR
2007
Springer
15 years 10 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...
127
Voted
TARK
2007
Springer
15 years 10 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...
130
click to vote
TIME
2006
IEEE
15 years 10 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...