{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:54Z","timestamp":1725664254093},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615347"},{"type":"electronic","value":"9783540687306"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61534-2_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:53:19Z","timestamp":1330293199000},"page":"75-99","source":"Crossref","is-referenced-by-count":4,"title":["Linguistic Geometry tools generate optimal solutions"],"prefix":"10.1007","author":[{"given":"Boris","family":"Stilman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"key":"5_CR1","volume-title":"Springer Series in Symbolic Computation","author":"M.M. Botvinnik","year":"1984","unstructured":"Botvinnik, M.M. (1984). Computers in Chess: Solving Inexact Search Problems. Springer Series in Symbolic Computation, New York: Springer-Verlag."},{"key":"5_CR2","first-page":"1030","volume":"6","author":"M. Botvinnik","year":"1983","unstructured":"Botvinnik, M., Petriyev, E., Reznitskiy, A., et al. (1983). Application of New Method for Solving Search Problems For Power Equipment Maintenance Scheduling. Economics and Mathematical Methods (1030\u20131041), 6, (in Russian).","journal-title":"Economics and Mathematical Methods"},{"key":"5_CR3","first-page":"323","volume-title":"Handbook of Mathematical Psychology","author":"N. Chomsky","year":"1963","unstructured":"Chomsky, N. (1963). Formal Properties of Grammars. in Handbook of Mathematical Psychology, eds. R.Luce, R.Bush, E. Galanter., vol. 2 (323\u2013418). New York: Wiley."},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0020-0255(71)80008-7","volume":"3","author":"J. Feder","year":"1971","unstructured":"Feder, J. (1971). Plex languages. Inform. Sciences, 3,(225\u2013241).","journal-title":"Inform. Sciences"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E. and Nilsson, N.J. (1971). STRIPS: A New Approach to the Application of Theorem Proving in Problem Solving. Artificial Intelligence 2 (189\u2013208).","journal-title":"Artificial Intelligence"},{"key":"5_CR6","volume-title":"Syntactic Pattern Recognition and Applications","author":"K.S. Fu","year":"1982","unstructured":"Fu, K.S. (1982). Syntactic Pattern Recognition and Applications, Prentice Hall, Englewood Cliffs."},{"key":"5_CR7","volume-title":"The Mathematical Theory of Context-Free Languages","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S. (1966). The Mathematical Theory of Context-Free Languages, McGraw Hill, New York."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E. (1968). Semantics of Context-Free Languages. Mathematical Systems Theory, (127\u2013146), 2.","journal-title":"Mathematical Systems Theory"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J. (1980). Circumscription-A Form of Non-Monotonic Reasoning. Artificial Intelligence, (27\u201339), 13.","journal-title":"Artificial Intelligence"},{"key":"5_CR10","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J. and Hayes, P.J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence (463\u2013502), 4.","journal-title":"Machine Intelligence"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1145\/365230.365258","volume":"9","author":"R.N. Narasimhan","year":"1966","unstructured":"Narasimhan, R.N. (1966). Syntax-Directed Interpretation of Classes of Pictures. Comm. of ACM (166\u2013173), 9.","journal-title":"Comm. of ACM"},{"key":"5_CR12","volume-title":"Principles of Artificial Intelligence","author":"N.J. Nilsson","year":"1980","unstructured":"Nilsson, N.J. (1980). Principles of Artificial Intelligence, Palo Alto, CA: Tioga Publ."},{"key":"5_CR13","volume-title":"Structural Pattern Recognition","author":"T. Pavlidis","year":"1977","unstructured":"Pavlidis, T. (1977). Structural Pattern Recognition, New York: Springer-Verlag."},{"key":"5_CR14","unstructured":"Rosenfeld, A. (1979). Picture Languages, Formal Models for Picture Recognition, Academic Press."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/321495.321504","volume":"1","author":"D.J. Rozenkrantz","year":"1969","unstructured":"Rozenkrantz, D.J. (1969). Programmed Grammars and Classes of Formal Languages, J. of ACM (107\u2013131), 1.","journal-title":"J. of ACM"},{"key":"5_CR16","unstructured":"Sacerdoti, E.D. (1975). The Nonlinear Nature of Plans, Proc. Int. Joint Conference on Artificial Intelligence."},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/S0019-9958(69)90017-5","volume":"19","author":"A.C. Shaw","year":"1969","unstructured":"Shaw, A.C. (1969). A Formal Picture Description Scheme as a Basis for Picture Processing System, Information and Control (9\u201352), 19.","journal-title":"Information and Control"},{"key":"5_CR18","unstructured":"Shinar, J., (1990). Analysis of Dynamic Conflicts by Techniques of Art. Intelligence, INRIA Report, Antipolis."},{"key":"5_CR19","first-page":"83","volume-title":"1976 US Computer Chess Championship","author":"B. Stilman","year":"1977","unstructured":"Stilman, B. (1977). The Computer Learns. in Levy, D., 1976 US Computer Chess Championship (83\u201390). Computer Science Press, Woodland Hills, CA."},{"key":"5_CR20","unstructured":"Stilman, B. (1985). Hierarchy of Formal Grammars for Solving Search Problems. In Artificial Intelligence. Results and Prospects, Proc. of the Int. Workshop (63\u201372), Moscow, (in Russian)."},{"issue":"7","key":"5_CR21","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0898-1221(93)90049-2","volume":"26","author":"B. Stilman","year":"1993","unstructured":"Stilman, B. (1993a). A Linguistic Approach to Geometric Reasoning, Int. J. Computers and Mathematics with Applications (29\u201357), 26(7).","journal-title":"Int. J. Computers and Mathematics with Applications"},{"issue":"8","key":"5_CR22","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0898-1221(93)90331-O","volume":"26","author":"B. Stilman","year":"1993","unstructured":"Stilman, B. (1993b). Network Languages for Complex Systems, Int. J. Computers and Mathematics with Applications (51\u201379), 26(8).","journal-title":"Int. J. Computers and Mathematics with Applications"},{"issue":"1","key":"5_CR23","doi-asserted-by":"crossref","first-page":"57","DOI":"10.3233\/ICA-1993-1105","volume":"1","author":"B. Stilman","year":"1993","unstructured":"Stilman, B. (1993c). Syntactic Hierarchy for Robotic Systems, Integrated Computer-Aided Engineering(57\u201381), 1(1).","journal-title":"Integrated Computer-Aided Engineering"},{"issue":"4","key":"5_CR24","first-page":"333","volume":"1","author":"B. Stilman","year":"1993","unstructured":"Stilman, B. (1993d). A Formal Language for Hierarchical Systems Control, Languages of Design (333\u2013356), 1(4).","journal-title":"Languages of Design"},{"issue":"2","key":"5_CR25","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0898-1221(94)90037-X","volume":"27","author":"B. Stilman","year":"1994","unstructured":"Stilman, B. (1994a). Translations of Network Languages. Int. J. Computers and Mathematics with Applications (65\u201398), 27(2).","journal-title":"Int. J. Computers and Mathematics with Applications"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Stilman, B. (1994b). A Formal Model for Heuristic Search. Proc. of the 22nd Annual ACM Computer Science Conf., (380\u2013389), March 8\u201310, Phoenix, AZ.","DOI":"10.1145\/197530.197658"},{"issue":"4","key":"5_CR27","first-page":"403","volume":"11","author":"B. Stilman","year":"1994","unstructured":"Stilman, B. (1994c). Heuristic Networks for Space Exploration, Telematics and Informatics, Int. J. on Telecommunication & Information Technology, 11(4), (403\u2013428).","journal-title":"Telematics and Informatics, Int. J. on Telecommunication & Information Technology"},{"issue":"No.2","key":"5_CR28","first-page":"89","volume":"1","author":"B. Stilman","year":"1994","unstructured":"Stilman, B., (1994d) A Linguistic Geometry for Control Systems Design, Int. J. of Computers and Their Applications, (89\u2013110), Vol. 1, No. 2, Dec. 1994.","journal-title":"Int. J. of Computers and Their Applications"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Stilman, B., (1995a) Deep Search in Linguistic Geometry, SYMPOSIUM ON LINGUISTIC GEOMETRY AND SEMANTIC CONTROL, Proc. of the First World Congress on Intelligent Manufacturing: Processes and Systems, (868\u2013879), Mayaguez, Puerto Rico, Feb. 1995.","DOI":"10.1007\/978-94-011-7108-3_6"},{"key":"5_CR30","first-page":"279","volume-title":"A Linguistic Geometry for 3D Strategic Planning","author":"B. Stilman","year":"1995","unstructured":"Stilman, B., (1995b) A Linguistic Geometry for 3D Strategic Planning, Proc. of the 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies, (279\u2013295), NASA Goddard Space Flight Center, Greenbelt, MD, USA, May 1995."},{"key":"5_CR31","unstructured":"Stilman, B., (1995c) A Linguistic Geometry for Multiagent Systems, Proc. of The 8th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems-IEA\/AIE, (3\u201312), Melbourne, Australia, June 1995."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Stilman, B., (1995d) Total Concurrency and Uncertainty in Linguistic Geometry, Proc. of the IEEE International Symposium on Intelligent Control, (79\u201384), Monterey, CA, USA, August 1995.","DOI":"10.1109\/ISIC.1995.525041"},{"issue":"3","key":"5_CR33","first-page":"91","volume":"31","author":"B. Stilman","year":"1996","unstructured":"Stilman, B., (1996a) Network Languages for Intelligent Control, An International Journal: Computers & Mathematics with Applications, (91\u2013118), 31(3).","journal-title":"An International Journal: Computers & Mathematics with Applications"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Stilman, B., (1996b) Network Languages for Concurrent Multiagent Systems, An International journal: Computers & Mathematics with Applications., (to appear).","DOI":"10.1016\/S0898-1221(97)00102-8"},{"key":"5_CR35","unstructured":"Stilman, B., (1996c) From Serial to Concurrent Motions in Multiagent Systems: A Linguistic Geometry Approach, Journal of Systems Engineering, (to appear)."},{"key":"5_CR36","unstructured":"Yakhnis, V., Stilman, B., (1995a) Foundations of Linguistic Geometry: Complex Systems and Winning Conditions, SYMPOSIUM ON LINGUISTIC GEOMETRY AND SEMANTIC CONTROL, Proc. of the First World Congress on Intelligent Manufacturing: Processes and Systems, (843\u2013854), Mayaguez, Puerto Rico, Feb. 1995."},{"key":"5_CR37","unstructured":"Yakhnis, V., Stilman, B., (1995b) A Multi-Agent Graph-Game Approach to Theoretical Foundations of Linguistic Geometry, Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI 95), Paris, France, July 1995."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Knowledge Representation as Interlingua"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61534-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:13:22Z","timestamp":1687288402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61534-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615347","9783540687306"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-61534-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}