307 search results - page 13 / 62 » On Hierarchical Reasoning in Combinations of Theories |
148
click to vote
ELP
1991
15 years 5 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
91
Voted
SMI
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
122
click to vote
ECSQARU
2001
Springer
15 years 6 months ago
2001
Springer
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
AAAI
1990
15 years 3 months ago
1990
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...
122
Voted
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
In this paper, we show how a user profile can be enhanced when a more detailed description of the products is included. Two main assumptions have been considered: the first implie...