2138 search results - page 183 / 428 » Logical Step-Indexed Logical Relations |
182
click to vote
SIS
2007
15 years 8 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
170
click to vote
COLING
1992
15 years 7 months ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
163
click to vote
IFSA
2007
Springer
16 years 21 days ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
175
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
189
click to vote
IICS
2003
Springer
15 years 11 months ago
2003
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...