3207 search results - page 176 / 642 » A Semantics for HTN Methods |
115
click to vote
COLING
2002
15 years 3 months ago
2002
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequen...
148
Voted
IJHPCA
2002
15 years 3 months ago
2002
Distributed cognition of dynamic processes is commonly observed in mobile groups of animates like schools of fish, hunting lions, or in human teams for sports or military maneuvers...
127
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
128
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
128
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...