4555 search results - page 41 / 911 » Deductive Algorithmic Knowledge |
117
click to vote
IPC
2007
IEEE
15 years 8 months ago
2007
IEEE
Context reasoning refers to the process of giving high-level context deduction from a set of low-level contexts. It plays an indispensable role in ubiquitous computing. Most exist...
114
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
144
Voted
AIIA
1991
Springer
15 years 5 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
120
click to vote
CLEF
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
138
click to vote
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...