2414 search results - page 173 / 483 » Reasoning Support for OWL-E |
171
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
158
Voted
CP
2005
Springer
15 years 11 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
160
Voted
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
One of the key research issues with moving objects databases (MOD) is the uncertainty management problem. In this paper, we discuss how the uncertainty of network constrained movin...
134
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
One approach to agent communication is to insist that agents not only send messages, but support them with reasons why those messages are appropriate. This is argumentation-based c...
167
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...