{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:01Z","timestamp":1725467581990},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647911"},{"type":"electronic","value":"9783540686736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054920","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:10:55Z","timestamp":1153977055000},"page":"270-284","source":"Crossref","is-referenced-by-count":4,"title":["Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure"],"prefix":"10.1007","author":[{"given":"Tru H.","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter N.","family":"Creasy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","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. & Nasr, R. (1986), Login: A Logic Programming Language with Built-in Inheritance. J. of Logic Programming, 3: 185\u2013215.","journal-title":"J. of Logic Programming"},{"key":"20_CR2","volume-title":"Fril \u2014 Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"J.F. Baldwin","year":"1995","unstructured":"Baldwin, J.F. & Martin, T.P. & Pilsworth, B.W. (1995), Fril \u2014 Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, New York."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(92)90055-3","volume":"55","author":"C. Beierle","year":"1992","unstructured":"Beierle, C. & Hedtstuck, U. & Pletat, U. & Schmitt, P.H. & Siekmann, J. (1992), An Order-Sorted Logic for Knowledge Representation Systems. J. of Artificial Intelligence, 55: 149\u2013191.","journal-title":"J. of Artificial Intelligence"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Cao, T.H. & Creasy, P.N. & Wuwongse, V. (1997), Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs. In Lukose, D. et al. (Eds.): Conceptual Structures \u2014 Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 386\u2013400.","DOI":"10.1007\/BFb0027885"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Cao, T.H. & Creasy, P.N. & Wuwongse, V. (1997), Fuzzy Types and Their Lattices. In Proc. of the 6th IEEE International Conference on Fuzzy Systems, pp. 805\u2013812.","DOI":"10.1109\/FUZZY.1997.622813"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Cao, T.H. & Creasy, P.N. (1997), Universal Marker and Functional Relation: Semantics and Operations. In Lukose, D. et al. (Eds.): Conceptual Structures \u2014 Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 416\u2013430.","DOI":"10.1007\/BFb0027887"},{"key":"20_CR7","unstructured":"Cao, T.H. (1997), Annotated Fuzzy Logic Programs. Int. J. of Fuzzy Sets and Systems. To appear."},{"key":"20_CR8","unstructured":"Cao, T.H & Creasy, P.N. (1997), Fuzzy Conceptual Graph Programs and Their Fixpoint Semantics. Tech. Report No. 424, Department of CS&EE, University of Queensland."},{"key":"20_CR9","unstructured":"Cao, T.H. (1998), Annotated Fuzzy Logic Programs for Soft Computing. In Proc. of the 2nd International Conference on Computational Intelligence and Multimedia Applications, World Scientific, pp. 459\u2013464."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Carpenter, B. (1992), The Logic of Typed Feature Structures with Applications to Unification Grammars, Logic Programs and Constraint Resolution. Cambridge University Press.","DOI":"10.1017\/CBO9780511530098"},{"key":"20_CR11","unstructured":"Chevallet, J-P. (1992), Un Mod\u00e8le Logique de Recherche d'Informations Appliqu\u00e9 au Formalisme des Graphes Conceptuels. Le Prototype ELEN et Son Exp\u00e9rimentation sur un Corpus de Composants Logiciels. PhD Thesis, Universit\u00e9 Joseph Fourier."},{"key":"20_CR12","unstructured":"Dubois, D. & Lang, J. & Prade, H., (1994) Possibilistic Logic. In Gabbay, D.M. et al. (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, pp. 439\u2013514."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Genest, D. & Chein, M. (1997), An Experiment in Document Retrieval Using Conceptual Graphs. In Lukose, D. et al. (Eds.): Conceptual Structures \u2014 Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 489\u2013504.","DOI":"10.1007\/BFb0027893"},{"issue":"No.9","key":"20_CR14","first-page":"1208","volume":"E78-D","author":"B.C. Ghosh","year":"1995","unstructured":"Ghosh, B.C. & Wuwongse, V. (1995), Conceptual Graph Programs and Their Declarative Semantics. IEICE Trans, on Information and Systems, Vol. E78-D, No. 9, pp. 1208\u20131217.","journal-title":"IEICE Trans, on Information and Systems"},{"key":"20_CR15","unstructured":"Ghosh, B.C. (1996), Conceptual Graph Language \u2014 A Language of Logic and Information in Conceptual Structures. PhD Thesis, Asian Institute of Technology."},{"key":"20_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"General Lattice Theory","author":"G. Gr\u00e4tzer","year":"1978","unstructured":"Gr\u00e4tzer, G. (1978), General Lattice Theory. Academic Press, New York."},{"key":"20_CR17","unstructured":"Ho, K.H.L. (1994), Learning Fuzzy Concepts By Examples with Fuzzy Conceptual Graphs. In Proc. of the 1st. Australian Conceptual Structures Workshop."},{"key":"20_CR18","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E. & Ullman, J.D. (1979), Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Massachusetts."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Kerdiles, G. & Salvat, E. (1997), A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. In Lukose, D. et al. (Eds.): Conceptual Structures \u2014 Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 371\u2013385.","DOI":"10.1007\/BFb0027884"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. & Subrahmanian, V.S. (1992), Theory of Generalized Annotated Logic Programming and Its Applications. J. of Logic Programming, 12: 335\u2013367.","journal-title":"J. of Logic Programming"},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/978-94-011-0215-5_11","volume-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets","author":"F. Klawonn","year":"1995","unstructured":"Klawonn, F. (1995), Prolog Extensions to Many-Valued Logics. In H\u00f6hle, U. & Klement, E.P. (Eds.): Non-Classical Logics and Their Applications to Fuzzy Subsets, Kluwer Academic Publishers, Dordrecht, pp. 271\u2013289."},{"key":"20_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. (1987), Foundations of Logic Programming. Springer-Verlag, Berlin."},{"key":"20_CR23","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1002\/int.4550040205","volume":"4","author":"P. Magrez","year":"1989","unstructured":"Magrez, P. & Smets, P. (1989), Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems. Int. J. of Intelligent Systems, 4: 181\u2013200.","journal-title":"Int. J. of Intelligent Systems"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Mineau, G.W. (1994), Views, Mappings and Functions: Essential Definitions to the Conceptual Graph Theory. In Tepfenhart, W.M. & Dick, J.P. & Sowa, J.F. (Eds.): Conceptual Structures \u2014 Current Practices, LNAI No. 835, Springer-Verlag, pp. 160\u2013174.","DOI":"10.1007\/3-540-58328-9_11"},{"key":"20_CR25","unstructured":"Morton, S. (1987), Conceptual Graphs and Fuzziness in Artificial Intelligence. PhD Thesis, University of Bristol."},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0888-613X(89)90005-4","volume":"3","author":"M. Mukaidono","year":"1989","unstructured":"Mukaidono, M. & Shen, Z. & Ding, L. (1989), Fundamentals of Fuzzy Prolog. Int. J. of Approximate Reasoning, 3: 179\u2013194.","journal-title":"Int. J. of Approximate Reasoning"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Myaeng, S.H. & Khoo, C. (1993), On Uncertainty Handling in Plausible Reasoning with Conceptual Graphs. In Pfeiffer, H.D. & Nagle, T.E. (Eds.): Conceptual Structures \u2014 Theory and Implementation, LNAI No. 754, Springer-Verlag, pp. 137\u2013147.","DOI":"10.1007\/3-540-57454-9_11"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Salvat, E. & Mugnier, M.L. (1996), Sound and Complete Forward and Backward Chainings of Graph Rules. In Eklund, P.W. & Ellis, G. & Mann, G. (Eds.): Conceptual Structures \u2014 Knowledge Representation as Interlingua, LNAI No. 1115, Springer-Verlag, pp. 248\u2013262.","DOI":"10.1007\/3-540-61534-2_16"},{"key":"20_CR29","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F. (1984), Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Massachusetts."},{"key":"20_CR30","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/B978-1-4832-0771-1.50011-4","volume-title":"Principles of Semantic Networks \u2014 Explorations in the Representation of Knowledge","author":"J.F. Sowa","year":"1991","unstructured":"Sowa, J.F. (1991), Towards the Expressive Power of Natural Languages. In Sowa, J.F. (Ed.): Principles of Semantic Networks \u2014 Explorations in the Representation of Knowledge, Morgan Kaufmann Publishers, San Mateo, CA, pp. 157\u2013189."},{"key":"20_CR31","unstructured":"Sowa, J.F. (1997), Matching Logical Structure to Linguistic Structure. In Houser, N. & Roberts, D.D. & Van Evra, J. (Eds.): Studies in the Logic of Charles Sanders Peirce, Indiana University Press, pp. 418\u2013444."},{"key":"20_CR32","unstructured":"Umano, M. (1987), Fuzzy Set Prolog. In Preprints of the 2nd International Fuzzy Systems Association Congress, pp. 750\u2013753."},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Wuwongse, V. & Manzano, M. (1993), Fuzzy Conceptual Graphs. In Mineau, G.W. & Moulin, B. & Sowa, J.F. (Eds.): Conceptual Graphs for Knowledge Representation, LNAI No. 699, Springer-Verlag, pp. 430\u2013449.","DOI":"10.1007\/3-540-56979-0_24"},{"key":"20_CR34","doi-asserted-by":"crossref","unstructured":"Wuwongse, V. & Cao, T.H. (1996), Towards Fuzzy Conceptual Graph Programs. In Eklund, P.W. & Ellis, G. & Mann, G. (Eds.): Conceptual Structures \u2014 Knowledge Representation as Interlingua, LNAI No. 1115, Springer-Verlag, pp. 263\u2013276.","DOI":"10.1007\/3-540-61534-2_17"},{"key":"20_CR35","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A. (1965), Fuzzy Sets. J. of Information and Control, 8: 338\u2013353.","journal-title":"J. of Information and Control"},{"key":"20_CR36","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/S0020-7373(78)80003-0","volume":"10","author":"L.A. Zadeh","year":"1978","unstructured":"Zadeh, L.A. (1978), PRUF\u2014A Meaning Representation Language for Natural Languages. Int. J. of Man-Machine Studies, 10: 395\u2013460.","journal-title":"Int. J. of Man-Machine Studies"},{"key":"20_CR37","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1080\/03081079008935102","volume":"17","author":"L.A. Zadeh","year":"1990","unstructured":"Zadeh, L.A. (1990), The Birth and Evolution of Fuzzy Logic. Int. J. of General Systems, 17: 95\u2013105.","journal-title":"Int. J. of General Systems"},{"key":"20_CR38","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/91.493904","volume":"4","author":"L.A. Zadeh","year":"1996","unstructured":"Zadeh, L.A. (1996), Fuzzy Logic = Computing with Words. IEEE Trans, on Fuzzy Systems, 4: 103\u2013111.","journal-title":"IEEE Trans, on Fuzzy Systems"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T11:40:38Z","timestamp":1549885238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/bfb0054920","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}