{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:48Z","timestamp":1725664128008},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583288"},{"type":"electronic","value":"9783540386759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58328-9_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:46:46Z","timestamp":1330271206000},"page":"251-274","source":"Crossref","is-referenced-by-count":6,"title":["A conceptual and contextual object-oriented logic programming: The PROLOG++ language"],"prefix":"10.1007","author":[{"given":"Adil","family":"Kabbaj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Frasson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Kaltenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Yves","family":"Djamen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci H. and R. Nasr R. (1986), LOGIN: A logic programming language with built-in inheritance, Journal Logic Programming, 3, pp. 185\u2013215.","journal-title":"Journal Logic Programming"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"A\u00eft-Kaci H. and A. Podelski, Logic programming with functions over order-sorted feature terms, in E. Lamma and P. Mello (Eds.), Extensions of Logic Programming, Springer-Verlag, pp. 100\u2013119, 1992.","DOI":"10.1007\/3-540-56454-3_6"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bl\u00e4sius K. H., Hedtst\u00fcck U. and Rollinger C.-R., Eds., Sorts and Types in Artificial Intelligence, Lecture Notes In Artificial Intelligence, No. 418, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52337-6"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Boksenbaum C., B. Carbonneill, O. Haemmerl\u00e9 et T. Libourel, Conceptual graphs for relational databases, in G. W. Mineau, B. Moulin et J. F. Sowa (eds.), Conceptual Graphs for Knowledge Representation, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56979-0_8"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Carpenter B., The logic of typed feature structures, Cambridge Univ. Press, 1992.","DOI":"10.1017\/CBO9780511530098"},{"issue":"2","key":"17_CR6","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/0950-7051(88)90004-4","volume":"1","author":"M. C. Chan","year":"1988","unstructured":"Chan M. C., B. J. Garner et E. Tsui, Recursive modal unification for reasoning with knowledge using a graph representation, Knowledge-Based Syst., 1:2, pp. 94\u2013104, 1988.","journal-title":"Knowledge-Based Syst."},{"key":"17_CR7","unstructured":"Chosh B. C. and V. Wuwongse, Declarative Semantics of Conceptual Graph Programs, in R. Levinson et G. Ellis (eds), Proc. of the 2 Inter. Workshop on PEIRCE, 1993."},{"key":"17_CR8","unstructured":"Clancey W. J., Knowledge-Based Tutoring: The GUIDON Program, MIT Press, 1987."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Denti E., E. Lamma, P. Mello, A. Natali and A. Omicini, Techniques for implementing Contexts in Logic Programming, in E. Lamma and P. Mello (Eds.), Extensions of Logic Programming, Springer-Verlag, pp. 100\u2013119, 1992.","DOI":"10.1007\/3-540-56454-3_17"},{"key":"17_CR10","unstructured":"Dichev C., Distributed knowledge and data processing, in ICO'93 Proceeding, pp. 272\u2013282, 1993."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Dichev C., Logic programming with worlds, in: Artificial Intelligence: Methodology, Systems, Applications, North-Holland, 1992, pp. 57\u201367.","DOI":"10.1016\/B978-0-444-89752-7.50011-0"},{"key":"17_CR12","unstructured":"Djamen J-Y, M. Kaltenbach and C. Frasson, The interactive planning with PIF, in ITS'92, 1992."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Ellis G. and R. Levinson (eds), Proc. of the 1 Inter. Workshop on PEIRCE: A Conceptual Graphs Workbench, 1993.","DOI":"10.1007\/3-540-57454-9_17"},{"key":"17_CR14","unstructured":"Ellis G., PEIRCE User Manual, 1993."},{"issue":"1","key":"17_CR15","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1147\/rd.301.0070","volume":"30","author":"J. Fargues","year":"1986","unstructured":"Fargues J., Landau M-C, Duguord A. and Catach L. (1986), Conceptual graphs for semantics and knowledge processing, IBM Journal of Research and Development, v. 30:1, pp. 70\u201379.","journal-title":"IBM Journal of Research and Development"},{"key":"17_CR16","unstructured":"Fargues J., CG information retrieval using linear resolution, generalization and graph splitting, in the 4 Int. Workshop on CGS, 1989 (see also a chapter by Fargues in Nagle et al. (eds.), 1992)."},{"key":"17_CR17","unstructured":"Ferber J. and P. Volle, Introduction to an intensional theory of object knowledge representation, in E. Chouraqui (ed), Mod\u00e9lisation de la connaissance et du raisonnement, Compte-rendu des Journ\u00e9es d'\u00e9tudes des 8 et 9 F\u00e9vrier 1988."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Frasson C., G. Gauthier (eds.), Intelligent Tutoring Systems (ITS'92), Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55606-0"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Fukunaga K. and S. Hirose, An experience with a Prolog-based Object-Oriented Language, In OOPSLA'86 Proceedings, pp. 224\u2013231, 1986.","DOI":"10.1145\/960112.28719"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"2","author":"D. M. Gabbay","year":"1985","unstructured":"Gabbay D. M. and U. Reyle, N-Prolog: an extension of prolog with hypothetical implications, J. Logic Programming, 2, pp. 251\u2013284, 1985.","journal-title":"J. Logic Programming"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Garner B. J. and E. Tsui, An extendible graph processor for knowledge engineering, in J. F. Gilmore (ed), Applications of AI 3, 1986.","DOI":"10.1117\/12.964157"},{"issue":"5","key":"17_CR22","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/0950-7051(88)90080-9","volume":"1","author":"B. J. Garner","year":"1988","unstructured":"Garner B. J. and E. Tsui, General purpose inference engine for canonical graph models, Knowledge-Based Systems, 1:5, pp. 266\u2013278, 1988.","journal-title":"Knowledge-Based Systems"},{"key":"17_CR23","unstructured":"Garner B. J., E. T. Tsui, D. Lui, D. Lukose and J. Koh, Extendible Graph Processing in Knowledge Acquisition, Planning and Reasoning, in Nagle et al. (eds.), 1992."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Herzog O. and C.-R. Rollinger (Eds.), Text Understanding in LILOG, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54594-8"},{"key":"17_CR25","volume-title":"M. Sc. Thesis","author":"A. Kabbaj","year":"1987","unstructured":"Kabbaj A., SMGC: un syst\u00e8me de manipulation des graphes conceptuels, M. Sc. Thesis, Dept. Informatique, Universit\u00e9 Laval, 1987, Qu\u00e9bec, Canada. Some part of the thesis appears in B. Moulin et A. Kabbaj, SMGC: A tool for conceptual graphs processing, in The Journal for the integrated study of artificial intelligence, cognitive science and applied epistemology, 7:1, pp. 23\u201347, 1990."},{"key":"17_CR26","unstructured":"Kabbaj A., Le syst\u00e8me de repr\u00e9sentation et manipulation des connaissances: SRMC, Internal Report, DIRO, Universit\u00e9 de Montr\u00e9al, 1993."},{"key":"17_CR27","unstructured":"Kabbaj A., Toward a conceptual actor language, in Mineau et al. (eds.), 1993."},{"key":"17_CR28","unstructured":"Kabbaj A., Declarative programming in Prolog++, submitted to ALP-PLILP'94 Joint Conference, 1994."},{"key":"17_CR29","unstructured":"Kabbaj A., Current practice and research in CAL, Internal Report, DIRO, Universit\u00e9 de Montr\u00e9al, 1994."},{"key":"17_CR30","unstructured":"Kabbaj A. and C. Frasson, Acquisition des connaissances dans le syst\u00e8me SRMC, in ACTI Conf., Limoges, 1993."},{"key":"17_CR31","unstructured":"Kabbaj A. and C. Frasson, Toward a dynamic model of memory, in Mineau et al. (eds.), 1993."},{"key":"17_CR32","unstructured":"Kabbaj A. and C. Frasson, A conceptual algebra for Prolog++, submitted to ALPPLELP'94 Joint Conference, 1994."},{"key":"17_CR33","unstructured":"Kabbaj A. and C. Frasson, A new programming language: Prolog++, Internal Report, DIRO, Universit\u00e9 de Montr\u00e9al, 1994."},{"key":"17_CR34","unstructured":"Kauffmann H. and A. Grumbach, MULTILOG: MULTIple worlds in LOGic programming, in the proceeding of the 7th European Conference on AI, 1986."},{"key":"17_CR35","unstructured":"Kocura P. and K. Kwong Ho, Aspects of Conceptual Graphs Processor Design, in the 7 Int. Workshop on CGS, 1992."},{"key":"17_CR36","unstructured":"Levinson R. and G. Ellis (eds), Proc. of the 2 Inter. Workshop on PEIRCE: A Conceptual Graphs Workbench, 1993."},{"key":"17_CR37","unstructured":"McCabe F. G., L&O: Logic and Objects, Prentice-Hall, 1992."},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Mineau G., B. Moulin and I. Sowa (eds.), Conceptual Graph for Knowledge Representation, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56979-0"},{"key":"17_CR39","unstructured":"Monteiro L. and A. Porto, Contextual Logic Programming, in G. Levi and M. Martelli (Eds.), Proc. 6th Int. Conf. and Symposium on Logic Programming, The MIT Press, 1989."},{"key":"17_CR40","unstructured":"Myaeng S. H. and A. Lopez-Lopez, A Flexible Algorithm for Matching Conceptual Graphs, in the 6 Int Workshop on CGS, 1991 (see also a chapter by S. H. Myaeng in Nagle et al. (eds.), 1992)."},{"key":"17_CR41","unstructured":"Nagle T. E., J. W. Esch et G. Mineau, A Notation for Conceptual Structure Graph Matchers, in the 5 Int. Workshop on CGS, 1990 (see a chapter of the authors in Nagle et al. (eds.), 1992)."},{"key":"17_CR42","unstructured":"Nagle T. E., J. A. Nagle, L. L. Gerholz and P. W. Eklund, Conceptual Structures: Current research and practice, Ellis Horwood, 1992."},{"key":"17_CR43","doi-asserted-by":"crossref","unstructured":"Pletat U. and K. von Luck, Knowledge Representation in LILOG, in Bl\u00e4sius et al. (eds.), 1990.","DOI":"10.1007\/3-540-52337-6_22"},{"key":"17_CR44","unstructured":"Rao A. S. and N. Y. Foo, CONGRES: Conceptual Graph Reasoning System, Proc. IEEE, 1987."},{"key":"17_CR45","unstructured":"J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley."},{"key":"17_CR46","doi-asserted-by":"crossref","unstructured":"Sowa J. F. (1992), Conceptual Graphs as a universal knowledge representation, in E. Y. Rodin (ed), Special Issue on Semantic networks in artificial intelligence, in an International Journal computers & mathematics with applications, 23:2\u20139, 1992.","DOI":"10.1016\/0898-1221(92)90137-7"},{"issue":"4","key":"17_CR47","first-page":"43","volume":"1","author":"K. Marcke Van","year":"1987","unstructured":"Van Marcke K., KRS: An Object Oriented Representation Language, Revue d'IA, 1:4, pp. 43\u201368, 1987.","journal-title":"Revue d'IA"},{"key":"17_CR48","doi-asserted-by":"crossref","unstructured":"Voinov A. V., Netlog \u2014 A Concept Oriented Logic Programming Language, in A. Voronkov (ed.), Logic Programming and Automated Reasoning, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0013074"},{"key":"17_CR49","doi-asserted-by":"crossref","unstructured":"Woods W. A. et J. G. Schmolze, The KL-ONE family, in E. Y. Rodin (ed), Special Issue on Semantic networks in artificial intelligence, in an International Journal computers & mathematics with applications, 23:2\u20139, 1992.","DOI":"10.1016\/0898-1221(92)90139-9"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Current Practices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58328-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:35Z","timestamp":1605647975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58328-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583288","9783540386759"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/3-540-58328-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}