4087 search results - page 111 / 818 » Sets in Types, Types in Sets |
MDAI
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, Lebesgue decomposition type theorems for non-additive measure are shown under the conditions of null-additivity, converse null-additivity, weak null-additivity and Ļ...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We deļ¬ne rule-based agent theories that contain preferences ...
MATES
2005
Springer
14 years 2 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We deļ¬ne rule-based agent theories that contain preferences ...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
VISUALIZATION
1992
IEEE
14 years 1 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...