4224 search results - page 259 / 845 » Reasoning about Choice |
216
click to vote
LPAR
2004
Springer
16 years 19 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
215
click to vote
ICTAI
2003
IEEE
16 years 16 days ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
158
click to vote
ICAIL
2003
ACM
16 years 15 days ago
2003
ACM
SHYSTER-MYCIN combines a case-based legal expert system (SHYSTER) with a rule-based expert system (MYCIN) to form a hybrid legal expert system. MYCIN’s reporting has been improv...
174
click to vote
HICSS
2002
IEEE
16 years 6 days ago
2002
IEEE
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
229
click to vote
DEON
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...