5122 search results - page 162 / 1025 » Comparing Consequence Relations |
154
Voted
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
116
click to vote
DLOG
2007
15 years 5 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
119
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
121
Voted
HCI
2007
15 years 5 months ago
2007
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
134
click to vote
HIS
2007
15 years 5 months ago
2007
Meta-Learning has been used to relate the performance of algorithms and the features of the problems being tackled. The knowledge in Meta-Learning is acquired from a set of meta-e...