10568 search results - page 185 / 2114 » Computer Intelligence and Formalization |
143
click to vote
EGICE
2006
15 years 6 months ago
2006
Advances in intelligent agent research, such as curious agents and motivated learning agents, make possible a new kind of intelligent environment: a curious place. Previously, inte...
120
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
130
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
132
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
AAAI
1998
15 years 4 months ago
1998
People frequently complain that it is too difficult to figure out how to get computers to do what they want. However, with a computer system that actually tries to understand what...