3207 search results - page 295 / 642 » A Semantics for HTN Methods |
145
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
123
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
137
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
177
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
130
click to vote
ICCL
1998
IEEE
15 years 9 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...