1056 search results - page 106 / 212 » ijcai 2007 |
IJCAI
1997
15 years 9 days ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
IJCAI
1997
15 years 9 days ago
1997
Localization is the problem of determining the position of a mobile robot from sensor data. Most existing localization approaches are passive, i.e., they do not exploit the opport...
IJCAI
1997
15 years 9 days ago
1997
Agents that operate in a multi-agent system can benefit significantly from adapting to other agents while interacting with them. This work presents a general architecture for a ...
101
click to vote
IJCAI
1997
15 years 9 days ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
IJCAI
1997
15 years 9 days ago
1997
We characterise the set of subalgebras of Allen's algebra which have a tractable satisfiability problem, and in addition contain certain basic relations. The conclusion is th...