3515 search results - page 175 / 703 » On the semantics of Strategy Logic |
196
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
199
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
Semantic Web Enabled Web Services (SWWS) will transform the web from a static collection of information into a distributed device of computation on the basis of Semantic Web techn...
214
click to vote
JUCS
2002
15 years 7 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
214
click to vote
ICDE
2002
IEEE
16 years 6 days ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
190
click to vote
SIGIR
1993
ACM
15 years 11 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...