1020 search results - page 131 / 204 » Tight Semantics for Logic Programs |
147
Voted
EWDW
1990
15 years 7 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
147
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
156
Voted
RR
2010
Springer
15 years 1 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
146
Voted
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
113
Voted
ICLP
1994
Springer
15 years 7 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...