Evaluation of an Algorithm for the Transversal Hypergraph Problem
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Learning to reason the non monotonic case
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A connectionist framework for reasoning: reasoning with examples
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Substitutional definition of satisfiability in classical propositional logic
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
Hi-index | 0.00 |