2395 search results - page 45 / 479 » Reasoning in Semantic Wikis |
108
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
109
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
AIED
2007
Springer
15 years 7 months ago
2007
Springer
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
POLICY
2007
Springer
15 years 7 months ago
2007
Springer
