2386 search results - page 71 / 478 » Representing and Reasoning with Preferences |
FUIN
2010
14 years 7 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
IJCAI
1989
14 years 11 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
71
Voted
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
This paper reports our experience with representing and reasoning with context information within the CARE middleware. CARE was developed to support context-aware service adaptati...
ECAI
2004
Springer
15 years 1 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
TSMC
2010
14 years 4 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...