2776 search results - page 120 / 556 » System-Level Abstraction Semantics |
165
click to vote
AWCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Because of emergence of Semantic Web, It make possible for machines to understand the meaning of resources on the Web. The widespread availability of machine understandab...
116
click to vote
CHARME
1999
Springer
15 years 8 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...
142
click to vote
PEPM
1993
ACM
15 years 8 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...
130
click to vote
ECAI
2006
Springer
15 years 8 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...
126
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...