2308 search results - page 295 / 462 » Representing Symbolic Reasoning |
166
click to vote
JIT
2004
Springer
15 years 11 months ago
2004
Springer
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
196
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
173
click to vote
LPNMR
2004
Springer
15 years 11 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...
157
click to vote
NMR
2004
Springer
15 years 11 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...
168
click to vote
NMR
2004
Springer
15 years 11 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...