3207 search results - page 595 / 642 » A Semantics for HTN Methods |
CADE
1998
Springer
14 years 1 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
GI
1997
Springer
14 years 28 days ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
FM
2006
Springer
14 years 13 days ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
AIMSA
2010
Springer
13 years 10 months ago
2010
Springer
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...
IADIS
2004
13 years 10 months ago
2004
This paper focuses on the information management systems of the dynamic World Wide Web. Many individual web pages, such as news portals, provide periodic information and public an...