Theorem Proving for Constructive lambda-Calculus
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Model elimination, logic programming and computing answers
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
| Hi-index | 0.00 |