10568 search results - page 185 / 2114 » Computer Intelligence and Formalization |
190
click to vote
EGICE
2006
15 years 10 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...
167
click to vote
LFCS
2007
Springer
16 years 17 days 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...
175
click to vote
CP
2005
Springer
15 years 12 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...
181
click to vote
WWW
2004
ACM
16 years 7 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 ...
133
click to vote
AAAI
1998
15 years 7 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...