Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Constructing infinite models represented by tree automata
Annals of Mathematics and Artificial Intelligence
A taxonomy of theorem-proving strategies
Artificial intelligence today
Zap: automated theorem proving for software analysis
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A logical approach to data-aware automated sequence generation
Transactions on Computational Science XV
| Hi-index | 0.00 |