4555 search results - page 265 / 911 » Deductive Algorithmic Knowledge |
121
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
119
click to vote
EWSN
2006
Springer
16 years 2 months ago
2006
Springer
Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
146
click to vote
ACG
2009
Springer
15 years 9 months ago
2009
Springer
One of the main challenges with selective search extensions is designing effective move categories (features). This is a manual trial and error task, which requires both intuition...
141
click to vote
RR
2009
Springer
15 years 9 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
123
click to vote
RULEML
2009
Springer
15 years 9 months ago
2009
Springer
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...