Sciweavers

881 search results - page 89 / 177
» Solving satisfiability problems with preferences
Sort
View
JUCS
2010
127views more  JUCS 2010»
13 years 7 months ago
A Selection Process Based on Additive Consistency to Deal with Incomplete Fuzzy Linguistic Information
: In group decision making situations, there may be cases in which experts do not have an in-depth knowledge of the problem to be solved and, as a result, they may present incomple...
Francisco Javier Cabrerizo, Ruben Heradio, Ignacio...
ENTCS
2007
84views more  ENTCS 2007»
13 years 8 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
AIPS
2006
13 years 10 months ago
Planning for PDDL3 - An OCSP Based Approach
Recent research in AI Planning is focused on improving the quality of the generated plans. PDDL3 incorporates hard and soft constraints on goals and the plan trajectory. Plan traj...
Bharat Ranjan Kavuluri, Naresh Babu Saladi, Deepak...
ECAI
2006
Springer
14 years 15 days ago
Compact Representation of Sets of Binary Constraints
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...
Jussi Rintanen
ICDE
2002
IEEE
164views Database» more  ICDE 2002»
14 years 10 months ago
Towards Meaningful High-Dimensional Nearest Neighbor Search by Human-Computer Interaction
Nearest Neighbor search is an important and widely used problem in a number of important application domains. In many of these domains, the dimensionality of the data representati...
Charu C. Aggarwal