1056 search results - page 105 / 212 » ijcai 2007 |
109
click to vote
IJCAI
2003
15 years 9 days ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
IJCAI
2003
15 years 9 days ago
2003
We empirically study phase transitions of the asymmetric Traveling Salesman. Using random instances of up to 1,500 cities, we show that many properties of the problem, including t...
135
click to vote
IJCAI
2003
15 years 9 days ago
2003
Maximum satisfiability (Max-SAT) is more general and more difficult to solve than satisfiability (SAT). In this paper, we first investigate the effectiveness of Walksat, one of th...
124
click to vote
IJCAI
2003
15 years 9 days ago
2003
To support more efficient video database management, this paper explores the concept of video association mining, with which the association patterns are characterized by sequenti...
IJCAI
1997
15 years 8 days ago
1997
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...