Author:
Patel-Schneider Peter F.,Sebastiani Roberto
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. E. Giunchiglia, F. Giunchiglia, R. Sebastiani, and A. Tacchella. SAT vs. Translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics, 10(2):145–172, 2000.
2. E. Giunchiglia, F. Giunchiglia, and A. Tacchella. SAT Based Decision Procedures for Classical Modal Logics. To appear in Journal of Automated Reasoning., 2001.
3. Lecture Notes in Artificial Intelligence;F. Giunchiglia,1996
4. I. Horrocks. Using an expressive description logic: FaCT or fiction? In Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR‘98), pages 636–647, 1998.
5. Ian Horrocks, Peter F. Patel-Schneider, and Roberto Sebastiani. An analysis of empirical testing for modal decision procedures. Logic Journal of the IGPL, 8(3):293–323, 2000.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimizing a BDD-Based Modal Solver;Automated Deduction – CADE-19;2003