1318 search results - page 98 / 264 » The formal semantics of the timeER model |
153
click to vote
IJCAI
1989
15 years 7 months ago
1989
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
146
click to vote
COMCOM
1998
15 years 6 months ago
1998
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
222
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
186
click to vote
ACL
1989
15 years 7 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
162
click to vote
KAIS
2006
15 years 6 months ago
2006
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...