3207 search results - page 450 / 642 » A Semantics for HTN Methods |
185
click to vote
WAIM
2009
Springer
16 years 1 months ago
2009
Springer
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
154
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
200
click to vote
ECSQARU
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
153
click to vote
FSEN
2009
Springer
16 years 29 days ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
174
click to vote
MKM
2009
Springer
16 years 28 days ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...