3058 search results - page 326 / 612 » From Intelligent Agents to Intelligent Beings |
170
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In application areas like personal information agents user modelstypically maintain sophisticated representations of personal interest profiles. Theserepresentations can be utiliz...
153
click to vote
AAAI
2000
15 years 8 months ago
2000
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
157
click to vote
AAAI
2000
15 years 8 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
136
click to vote
AAAI
2000
15 years 8 months ago
2000
In problem solving, it is often important not only to find a solution but also to be able to explain it. We use the game of Bridge to illustrate how tactics, which formalise domai...
158
click to vote
AAAI
2000
15 years 8 months ago
2000
Recent research has demonstrated the strong performance of hidden Markov models applied to information extraction--the task of populating database slots with corresponding phrases...