801 search results - page 87 / 161 » Reasoning with Reasons in Case-Based Comparisons |
161
click to vote
IEAAIE
1998
Springer
15 years 10 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
145
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
159
click to vote
RR
2007
Springer
16 years 12 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
148
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
167
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....