Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Synthesising terminating tableau calculi for relational logics
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Using tableau to decide description logics with full role negation and identity
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |