2864 search results - page 372 / 573 » Coordination of Many Agents |
156
click to vote
AAAI
1997
15 years 8 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
144
click to vote
AAAI
1997
15 years 8 months ago
1997
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
153
click to vote
AAAI
1997
15 years 8 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
148
click to vote
AAAI
1994
15 years 8 months ago
1994
' This paper describes a computer accompaniment system capable of providing musical accompaniment for an ensemble of performers. The system tracks the performance of each musi...
169
click to vote
AAAI
1996
15 years 8 months ago
1996
Many applications of knowledge discovery require the knowledge to be consistent with data. Examples include discovering rules for query optimization, database integration, decisio...