Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference18 articles.
1. Aït-Kaci, H. and Nasr, R., “LOGIN: A Logic Programming Language with Built-in Inheritance,”Journal of Logic Programming, Vol. 3, No. 3, pp. 185–215, 1986.
2. Aït-Kaci, H. and Podelski, A., “Towards a Meaning of LIFE,”Journal of Logic Programming, Vol. 16, No. 3-4, pp. 195–234, 1993.
3. DFKI Technical Memo TM-90-04;F. Baader,1990
4. Beierle, C., Hedtsück, U., Pletat, U., Schmitt, P. H. and Siekmann, J., “An Order-sorted Logic for Knowledge Representation Systems,”Artificial Intelligence, 55, pp. 149–191, 1992.
5. Cohn, A. G., “A More Expressive Formulation of Many Sorted Logic,”Journal of Automated Reasoning, 3, pp. 113–200, 1987.