3353 search results - page 258 / 671 » Laver and set theory |
158
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
168
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Positioning multiple sensors for acquisition of a a given environment is one of the fundamental research areas in various fields, such as military scouting, computer vision and ro...
200
click to vote
LPNMR
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
160
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
This paper deals with a model of decision– making in two stages. In the first stage from a set of expertises one chooses the most rational ones, while in the second stage one o...
162
click to vote
AAAI
2006
15 years 8 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...