Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. F. Baader and J. H. Siekmann. Unification theory. In: Handbook of Logic in AI and Logic Programming, Vol. 2. Oxford Science Publications, 1994.
2. F. Bry and A. Yahya. Minimal model generation with positive unit hyperresolution tableaux. Technical Report PMS-FB-1996-1, LMU Munic, 96.
3. R. Caferra and N. Peltier. Decision procedures using model building techniques. In Computer Science Logic, pages 130–144. Springer, LNCS 1092, 1995.
4. R. Caferra and N. Peltier. Model building and interactive theory discovery. In TABLEAUX 95, volume 918 of LNAI, pages 154–168. Springer, 1995.
5. D. Chan. Constructive negation based on the completed database. In Proceedings of the International Conference on Logic Programming, pages 111–125, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey on Multi-Agent Based Collaborative Intrusion Detection Systems;Journal of Artificial Intelligence and Soft Computing Research;2021-01-29