Sciweavers

89 search results - page 12 / 18
» ijcai 1993
Sort
View
IJCAI
1993
13 years 8 months ago
A New Algorithm for Incremental Prime Implicate Generation
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
Teow-Hin Ngair
IJCAI
1993
13 years 8 months ago
HYDRA: A Noise-tolerant Relational Concept Learning Algorithm
Many learning algorithms form concept descriptions composed of clauses, each of which covers some proportion of the positive training data and a small to zero proportion of the ne...
Kamal M. Ali, Michael J. Pazzani
IJCAI
1993
13 years 8 months ago
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. Counterfactual implication models a statement "if p, then q...
Thomas Eiter, Georg Gottlob
IJCAI
1993
13 years 8 months ago
Nonmonotonic Model Inference-A Formalization of Student Modeling
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi
IJCAI
1993
13 years 8 months ago
Learning of Resource Allocation Strategies for Game Playing
Human chess players exhibit a large variation in the amount of time they allocate for each move. Yet, the problem of devising resource allocation strategies for game playing did n...
Shaul Markovitch, Yaron Sella