Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Propositional default logics made easier: computational complexity of model checking
Theoretical Computer Science
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
Learning with feature description logics
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Abductive and default reasoning: a computational core
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Knowledge compilation using horn approximations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Reasoning with characteristic models
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
| Hi-index | 0.00 |