Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. P. Baumgartner, U. Furbach, and I. Niemela. Hyper-tableaux. In Logics in AI, JELIA '96. Springer, 1996.
2. C. Bourely, R. Caferra, and N. Peltier. A method for building models automatically. Experiments with an extension of Otter. In Proceedings of CADE-12, pages 72–86. Springer, 1994. LNAI 814.
3. F. Bry and A. Yahya. Minimal model generation with positive unit hyperresolution tableaux. In Proceeding of Tableaux'96, LNAI 1071, pages 143–159. Springer, 1996.
4. R. Caferra and N. Peltier. Model building and interactive theory discovery. In Proceeding of Tableaux'95, LNAI 918, pages 154–168. Springer, 1995.
5. R. Caferra and N. Peltier. Decision procedures using model building techniques. In Proceeding of Computer Science Logic, GSL'95, pages 130–144. Springer, LNCS 1092, 1996.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献