2023 search results - page 271 / 405 » Human Agents and Intelligent Agents: An Experiment on the In... |
202
click to vote
AAAI
2000
15 years 7 months ago
2000
We describe MarketSAT, a highly decentralized, marketbased algorithm for propositional satisfiability. The approach is based on a formulation of satisfiability as production on a ...
158
click to vote
AAAI
1997
15 years 7 months ago
1997
Constraint satisfaction research has focussed on consistency checking using k-consistency and its variations such as arc-consistency, and path-consistency. We define a new form of...
151
click to vote
AAAI
1997
15 years 7 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
141
click to vote
AAAI
1994
15 years 7 months ago
1994
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
144
click to vote
AAAI
1996
15 years 7 months ago
1996
of it suffer from a number of limitations, including: The effectiveness of an analogical reasoner depends upon its ability to select a relevant analogical source. In many problem d...