4352 search results - page 82 / 871 » A Representation Theorem and Applications |
110
Voted
EURODAC
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper addresses the problem of semantic heterogeneity between data representations with particular emphasis on CAD tool data representations. The combination of powerful mapp...
87
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
105
Voted
TARK
2005
Springer
15 years 6 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
95
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
134
click to vote
AIIA
1991
Springer
15 years 4 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...