1699 search results - page 204 / 340 » On the Expressive Power of QLTL |
150
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
173
click to vote
DCW
2000
Springer
15 years 10 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
167
click to vote
AUSAI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
189
click to vote
CP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
164
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...