Explicit versus implicit representations of subsets of the Herbrand universe
Theoretical Computer Science
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Automated Model Building: From Finite to Infinite Models
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Constructing infinite models represented by tree automata
Annals of Mathematics and Artificial Intelligence
Model representation over finite and infinite signatures
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |