5284 search results - page 621 / 1057 » Ontologizing Semantic Relations |
165
click to vote
CHARME
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
177
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
171
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
185
click to vote
SIGLEX
1991
15 years 10 months ago
1991
Drawing on a growing database of systematic relationships between word-senses, the authors argue that a significant class of these represent Lexical Implication Rules, a set of fo...
175
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Scientific evaluation is based for the most part on citation analysis. The phenomena of citation is not yet well studied. The use of the Contextual Exploration technique that allo...