1636 search results - page 85 / 328 » Type-Theoretic Functional Semantics |
176
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
108
Voted
AAAI
1994
15 years 5 months ago
1994
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
127
Voted
WCE
2007
15 years 4 months ago
2007
— This paper shows how GIS could be used to support decision making in emergency risk management. Paper describes GinisEmergency tool, which is based on existing semantic interop...
118
click to vote
ENTCS
2007
15 years 3 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
160
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
An important issue arising from Peer-to-Peer applications is how to accurately and efficiently retrieve a set of K best matching data objects from different sources while minimizi...