895 search results - page 154 / 179 » A Spectrum of Applications of Automated Reasoning |
183
click to vote
EWCBR
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Critiquing is a powerful style of feedback for case-based recommender systems. Instead of providing detailed feature values, users indicate a directional preference for a...
190
Voted
ICLP
2004
Springer
16 years 26 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
203
Voted
KR
2004
Springer
16 years 25 days ago
2004
Springer
We consider complex scheduling problems that can be captured as optimization under hard and soft constraints. The objective of such an optimization problem is to satisfy as many h...
204
Voted
LOPSTR
2004
Springer
16 years 25 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
201
Voted
IEEEICCI
2003
IEEE
16 years 23 days ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...