Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. H. Aït-Kaci and R. Nasr, LOGIN: A logic programming language with built-in inheritance, J. Logic Programming, 3, pp.185–215, 1986.
2. H. Aït-Kaci and A. Podelski, Toward a Meaning of LIFE, PRL-RP-11, Digital Equipment Corporation, Paris Research Laboratory, 1991.
3. H. Aït-Kaci, B. Dumant, R. Meyer, A. Podelski, and P. Van Roy, The Wild Life Handbook, 1994.
4. H. Aït-Kaci, A. Podelski and S. C. Goldstein, Order-Sorted Feature Theory Unification, J. Logic Programming, Vol.30, No.2, pp.99–124, 1997.
5. E. Armengol and E. Plaza, Induction of Feature Terms with INDIE, ECML-97, pp.33–48, 1997.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献