3207 search results - page 71 / 642 » A Semantics for HTN Methods |
ENTCS
2010
13 years 10 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
CSSE
2008
IEEE
14 years 4 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
Successful employment of semantic web services depends on the availability of high quality ontologies to describe the domains of these services. As always, building such ontologies...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
This paper addresses object perception applied to mobile robotics. Being able to perceive semantically meaningful objects in unstructured environments is a key capability in order...