Sciweavers

583 search results - page 74 / 117
» Preferences in Answer Set Programming
Sort
View
POPL
2008
ACM
16 years 1 months ago
Demand-driven alias analysis for C
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
Xin Zheng, Radu Rugina
LPNMR
1993
Springer
15 years 5 months ago
An Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
Andrei Bondarenko, Francesca Toni, Robert A. Kowal...
FROCOS
2009
Springer
15 years 8 months ago
Combining Nonmonotonic Knowledge Bases with External Sources
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Micha...
ECIR
2006
Springer
15 years 2 months ago
Using Query Profiles for Clarification
Abstract. The following paper proposes a new kind of relevance feedback. It shows how so called query profiles can be employed for disambiguation and clarification. Query profiles ...
Henning Rode, Djoerd Hiemstra
CP
2003
Springer
15 years 6 months ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...