1995 search results - page 107 / 399 » What's the Problem |
101
click to vote
EATCS
2000
15 years 3 months ago
2000
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
130
click to vote
IJCAI
2003
15 years 5 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
128
click to vote
CN
1998
15 years 3 months ago
1998
The World Wide Web currently has a huge amount of data, with practically no classification information, and this makes it extremely difficult to handle effectively. It has been re...
157
click to vote
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
From the user’s point of view, setting the parameters of a genetic algorithm (GA) is far from a trivial task. Moreover, the user is typically not interested in population sizes,...
110
Voted
STACS
2000
Springer
15 years 7 months ago
2000
Springer
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...