Author:
Øhrstrøm Peter,Sandborg-Petersen Ulrik,Thorvaldsen Steinar,Ploug Thomas
Publisher
Springer International Publishing
Reference12 articles.
1. Aristotle: Prior analytics. Translated by A.J. Jenkinson. The internet classics archive (1994–2000). http://classics.mit.edu/Aristotle/prior.html
2. Kabbaj, A., Frasson, C., Kaltenbach, M., Djamen, J.-Y.: A conceptual and contextual object-oriented logic programming: the PROLOG++ language. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F. (eds.) ICCS 1994. LNAI, vol. 835, pp. 251–274. Springer, Heidelberg (2005)
3. Lecture Notes in Computer Science;A Kabbaj,2000
4. Kabbaj, A., Moulin, B., Gancef, J., Nadeau, D., Rouleau, O.: Uses, improvements, and extensions of Prolog+CG: case studies. In: Delugach, H.S., Stumme, G. (eds.) ICCS-ConceptStruct 2001. LNCS (LNAI), vol. 2120, pp. 346–359. Springer, Heidelberg (2001). doi: 10.1007/3-540-44583-8_25
5. Øhrstrøm, P., Sandborg-Petersen, U., Ploug, T.: Syllog - a tool for logic teaching. In: Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010), Mimos Berhad, pp. 42–55 (2010)