2386 search results - page 301 / 478 » Representing and Reasoning with Preferences |
176
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
161
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specifie...
169
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
150
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
181
click to vote
WLP
2004
Springer
15 years 12 months ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...