Higher order generalization and its application in program verification
Annals of Mathematics and Artificial Intelligence
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
E-generalization using grammars
Artificial Intelligence
Re-representation in a Logic-Based Model for Analogy Making
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
The re-representation problem in a logic-based framework for analogy making
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
E-generalization using grammars
Artificial Intelligence
Solving proportional analogies by E-generalization
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Restricted higher-order anti-unification for analogy making
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
| Hi-index | 0.00 |