Author:
Aït-Kaci Hassan,Sasaki Yutaka
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Hassan Aït-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986.
2. Hassan Aït-Kaci and Andreas Podelski. Towards a meaning of LIFE. Logic Program., 16(3–4): 195–234, July-August 1993.
3. Hassan Aït-Kaci, Andreas Podelski, and Seth Copen Goldstein. Order-sorted feature theory unification. Journal of Logic Programming, 30(2):99–124, 1997.
4. Franz Baader, Ralf Kusters and Ralf Molitor. Computing Least Common Sub-sumers in Description Logics with Existential Restrictions. Proccedings of the Sixteenth International Joint Conference on Artificial Intelligence, pages 96–101, 1999.
5. Bob Carpenter. The Logic of Typed Feature Structures, volume 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1992.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献