7335 search results - page 1046 / 1467 » Scene Based Reasoning |
214
click to vote
IJCAI
1997
15 years 8 months 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...
172
click to vote
IJCAI
1997
15 years 8 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
180
click to vote
WSC
2000
15 years 8 months ago
2000
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...
137
Voted
AAAI
1994
15 years 8 months ago
1994
A description classifier organizes concepts and relations into a taxonomy based on the results of subsumption computations applied to pairs of relation definitions. Until now, des...
168
click to vote
CASCON
1996
15 years 8 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...