2766 search results - page 158 / 554 » Hybridizing a Logical Framework |
152
click to vote
ENTCS
2008
15 years 4 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
119
click to vote
JIIS
2006
15 years 4 months ago
2006
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
131
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
144
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
130
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...