Composite Distributive Lattices as Annotation Domains for Mediators
Annals of Mathematics and Artificial Intelligence
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Finding Tractable Formulas in NNF
CL '00 Proceedings of the First International Conference on Computational Logic
Composite Distributive Lattices as Annotation Domains for Mediators
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A New Algebraic Tool for Automatic Theorem Provers
Annals of Mathematics and Artificial Intelligence
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Compilation for critically constrained knowledge bases
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
A syntactical approach to belief update
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |