Sciweavers

89 search results - page 12 / 18
» ijcai 1993
Sort
View
IJCAI
1993
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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