6885 search results - page 1312 / 1377 » The micro-structure of use of help |
KI
2007
Springer
14 years 4 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Despite significant advancement in ontology learning, building ontologies remains a task that highly depends on human intelligence, both as a source of domain expertise and for pro...
UIC
2007
Springer
14 years 4 months ago
2007
Springer
Internet and multimedia services are widely-provided in All-IP based networks. There has been growing demand for mobile users to get those services. The Wireless Mesh Network (WMN...
WEBI
2007
Springer
14 years 4 months ago
2007
Springer
Finding and keeping track of other researchers’ publication lists is an essential activity for every researcher, because they often contain citations not found elsewhere and may...
WLP
2007
Springer
14 years 4 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...