{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T20:59:20Z","timestamp":1768337960227,"version":"3.49.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319148021","type":"print"},{"value":"9783319148038","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14803-8_2","type":"book-chapter","created":{"date-parts":[[2015,1,10]],"date-time":"2015-01-10T01:03:21Z","timestamp":1420851801000},"page":"17-30","source":"Crossref","is-referenced-by-count":1,"title":["Computational Understanding and Manipulation of Symmetries"],"prefix":"10.1007","author":[{"given":"Attila","family":"Egri-Nagy","sequence":"first","affiliation":[]},{"given":"Chrystopher L.","family":"Nehaniv","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Cameron, P.J.: Permutation Groups. London Mathematical Society (1999)","DOI":"10.1017\/CBO9780511623677"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Dixon, J.D., Mortimer, B.: Permutation Groups. Graduate Texts in Mathematics, vol. 163. Springer (1996)","DOI":"10.1007\/978-1-4612-0731-3"},{"issue":"1-2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.biosystems.2008.05.018","volume":"94","author":"A. Egri-Nagy","year":"2008","unstructured":"Egri-Nagy, A., Nehaniv, C.L., Rhodes, J.L., Schilstra, M.J.: Automatic analysis of computation in biochemical reactions. BioSystems\u00a094(1-2), 126\u2013134 (2008)","journal-title":"BioSystems"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-662-44199-2_13","volume-title":"Mathematical Software \u2013 ICMS 2014","author":"A. Egri-Nagy","year":"2014","unstructured":"Egri-Nagy, A., Mitchell, J.D., Nehaniv, C.L.: SgpDec: Cascade (De)Compositions of finite transformation semigroups and permutation groups. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol.\u00a08592, pp. 75\u201382. Springer, Heidelberg (2014)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-30500-2_32","volume-title":"Implementation and Application of Automata","author":"A. Egri-Nagy","year":"2005","unstructured":"Egri-Nagy, A., Nehaniv, C.L.: Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory. In: Domaratzki, M., Okhotin, A., Salomaa, K., Yu, S. (eds.) CIAA 2004. LNCS, vol.\u00a03317, pp. 315\u2013316. Springer, Heidelberg (2005)"},{"key":"2_CR7","unstructured":"Egri-Nagy, A., Nehaniv, C.L., Mitchell, J.D.: SgpDec \u2013 software package for hierarchical decompositions and coordinate systems, Version 0.7+ (2013), http:\/\/sgpdec.sf.net"},{"key":"2_CR8","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol.\u00a0B. Academic Press (1976)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Fauconnier, G., Turner, M.: The Way We Think: Conceptual Blending and the Mind\u2019s Hidden Complexities. Basic Books (2003)","DOI":"10.1515\/9783110895698.79"},{"key":"2_CR10","unstructured":"The GAP Group. GAP \u2013 Groups, Algorithms, and Programming, Version 4.7.5 (2014), http:\/\/www.gap-system.org"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-48834-0_15","volume-title":"Computation for Metaphors, Analogy, and Agents","author":"J. Goguen","year":"1999","unstructured":"Goguen, J.: An introduction to algebraic semiotics, with application to user interface design. In: Nehaniv, C.L. (ed.) CMAA 1998. LNCS (LNAI), vol.\u00a01562, pp. 242\u2013291. Springer, Heidelberg (1999)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Malcolm, G.: Software Engineering with OBJ: Algebraic Specification in Action. Springer (2000)","DOI":"10.1007\/978-1-4757-6541-0"},{"key":"2_CR13","unstructured":"Hall, M.: The Theory of Groups. The Macmillan Company, New York (1959)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Holcombe, W.M.L.: Algebraic Automata Theory. Cambridge University Press (1982)","DOI":"10.1017\/CBO9780511525889"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Jones, H.F.: Group Theory, Representations and Physics. Adam Hilger (1990)","DOI":"10.1887\/0750305045"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Joyner, D.: Adventures in Group Theory. John Hopkins University Press (2002)","DOI":"10.56021\/9780801869457"},{"key":"2_CR17","unstructured":"Krohn, K., Rhodes, J.L., Tilson, B.R.: The prime decomposition theorem of the algebraic theory of machines. In: Arbib, M.A. (ed.) Algebraic Theory of Machines, Languages, and Semigroups, ch.\u00a05, pp. 81\u2013125. Academic Press (1968)"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J. Laird","year":"1987","unstructured":"Laird, J., Newell, A., Rosenbloom, P.: SOAR: An architecture for general intelligence. Artificial Intelligence\u00a033(1), 1\u201364 (1987)","journal-title":"Artificial Intelligence"},{"key":"2_CR19","unstructured":"Li, S.Y.W., Blandford, A., Cairns, P., Young, R.M.: Post-completion errors in problem solving. In: Proceedings of the Twenty-Seventh Annual Conference of the Cognitive Science Society, Hillsdale, NJ, Lawrence Erlbaum Associates (2005)"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/CT.1997.617694","volume-title":"Proc. Second International Conference on Cognitive Technology: Humanizing the Information Age","author":"C.L. Nehaniv","year":"1997","unstructured":"Nehaniv, C.L.: Algebraic models for understanding: Coordinate systems and cognitive empowerment. In: Proc. Second International Conference on Cognitive Technology: Humanizing the Information Age, pp. 147\u2013162. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"2_CR21","first-page":"145","volume-title":"Semigroups, Formal Languages and Computer Systems","author":"C.L. Nehaniv","year":"1996","unstructured":"Nehaniv, C.L.: Algebra and formal models of understanding. In: Ito, M. (ed.) Semigroups, Formal Languages and Computer Systems, vol.\u00a0960, pp. 145\u2013154. Kyoto Research Institute for Mathematics Sciences, RIMS Kokyuroku (1996)"},{"key":"2_CR22","unstructured":"Newell, A.: Unified Theories of Cognition. Harvard University Press (1990)"},{"key":"2_CR23","unstructured":"Olver, P.J.: Applications of Lie Groups to Differential Equations, 2nd edn. Springer (2000)"},{"key":"2_CR24","unstructured":"Raman, K.V.: Group Theory and Its Applications to Chemistry. Tata McGraw-Hill (2004)"},{"key":"2_CR25","unstructured":"Reder, L.M., Schunn, C.D.: Metacognition does not imply awareness: Strategy choice is governed by implicit learning and memory. In: Reder, L.M. (ed.) Implicit Memory and Metacognition. Erlbaum, Hillsdale (1996)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Rhodes, J.: Applications of Automata Theory and Algebra via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games. World Scientific Press (2009), Foreword by Hirsch, M.W. edited by Nehaniv, C.L. (Original version: University of California at Berkeley, Mathematics Library, 1971)","DOI":"10.1142\/7107"},{"key":"2_CR27","unstructured":"Robinson, D.J.S.: A Course in the Theory of Groups, 2nd edn. Springer (1995)"},{"key":"2_CR28","unstructured":"Wiggs, C.C., Taylor, C.J.: Mechanical puzzle marketed as Rubik\u2019s Clock. Patent EP0322085 (1989)"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0010-0277(95)00674-3","volume":"57","author":"J. Zhang","year":"1995","unstructured":"Zhang, J., Norman, D.A.: A representational analysis of numeration systems. Cognition\u00a057, 271\u2013295 (1995)","journal-title":"Cognition"}],"container-title":["Lecture Notes in Computer Science","Artificial Life and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14803-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T19:13:21Z","timestamp":1690830801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14803-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319148021","9783319148038"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14803-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}