6794 search results - page 513 / 1359 » Semantics of Visual Languages |
220
click to vote
AAAI
2012
13 years 9 months ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...
159
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
175
click to vote
TLCA
2005
Springer
16 years 15 days ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
188
click to vote
ECAI
2004
Springer
16 years 12 days ago
2004
Springer
This paper presents an ontology-based approach for web querying, using semantic metadata. We propose a query language based on ontologies and emphasize its ability to express appro...
176
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...