3207 search results - page 171 / 642 » A Semantics for HTN Methods |
145
Voted
DOOD
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
117
Voted
ICDE
1993
IEEE
15 years 7 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
145
click to vote
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...
135
Voted
ICCL
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
140
Voted
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Search engines have become the most popular tools for finding information on the Internet. A real-world Semantic Web application can benefit from this by combining its ...