3994 search results - page 191 / 799 » A Linear Logical Framework |
192
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
151
click to vote
FLAIRS
2006
15 years 6 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
124
click to vote
JOLLI
2006
15 years 4 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
147
click to vote
AAAI
2012
13 years 7 months ago
2012
Goal recognition in digital games involves inferring players’ goals from observed sequences of low-level player actions. Goal recognition models support player-adaptive digital ...
136
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...