3207 search results - page 157 / 642 » A Semantics for HTN Methods |
153
click to vote
ILP
2007
Springer
15 years 9 months ago
2007
Springer
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...
95
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
130
click to vote
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
121
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
151
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...