Sciweavers

111 search results - page 4 / 23
» ijcai 1997
Sort
View
IJCAI
1997
13 years 7 months ago
Nonmonotonic Reasoning and Multiple Belief Revision
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
IJCAI
1997
13 years 7 months ago
Challenge: What is the Impact of Bayesian Networks on Learning?
Nir Friedman, Moisés Goldszmidt, David Heck...
IJCAI
1997
13 years 7 months ago
A Four-Valued Fuzzy Propositional Logic
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...
Umberto Straccia
IJCAI
1997
13 years 7 months ago
Strategies in Rigid-Variable Methods
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
Andrei Voronkov