{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T06:45:45Z","timestamp":1744958745499},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645740"},{"type":"electronic","value":"9783540693505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64574-8_455","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:26:49Z","timestamp":1153146409000},"page":"687-696","source":"Crossref","is-referenced-by-count":10,"title":["An application of an AI methodology to railway interlocking systems using computer algebra"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Roanes-Lozano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Roanes-Mac\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"70_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, Varieties and Algorithms","author":"D. Cox","year":"1992","unstructured":"Cox, D., Little, J., O'Shea, D.: Ideals, Varieties and Algorithms. Springer-Verlag, Berlin Heidelberg New York (1992)."},{"key":"70_CR2","volume-title":"Curso de Ferrocarriles: Explotaci\u00f3n T\u00e9cnica","author":"M. Losada","year":"1991","unstructured":"Losada, M.: Curso de Ferrocarriles: Explotaci\u00f3n T\u00e9cnica. E.T.S.I. Caminos, Madrid (1991)."},{"key":"70_CR3","first-page":"65","volume":"14","author":"-. E. Roanes","year":"1995","unstructured":"Roanes-L., E., Laita, L.M., Roanes-M., E.: Maple V in A.I.: The Boolean Algebra Associated to a KBS. CAN Nieuwsbrief 14 (1995) 65\u201370.","journal-title":"CAN Nieuwsbrief"},{"key":"70_CR4","unstructured":"Roanes-L., E., Laita, L.M.: Un sistema de enclavamientos independiente de la topolog\u00eda de la estac\u00edon. In: Actas del II Simposium Ingenier\u00eda del Transporte. Vol. 2. Univ. Politecnica de Madrid (1996) 409\u2013416."},{"key":"70_CR5","unstructured":"Roanes-L., E., Laita, L.M.: An Applicable Topology-Independent Model for Railway Interlocking Systems. In: Roanes-L., E., Steinberg, S., Hong, H. (eds.): Non Standard Applications of Computer Algebra. Mathematics and Computers in Simulation (Special Issue) 45\/1 (1998) 175\u2013184."},{"key":"70_CR6","unstructured":"Laita, L.M., Roanes-L., E., Maojo, V.: A Knowledge Based System Verification Application to the Study of Medical Appropriateness Criteria. Preprint (1998)."},{"key":"70_CR7","first-page":"65","volume":"348","author":"L. Villamandos","year":"1993","unstructured":"Villamandos, L.: Sistema inform\u00e1tico concebido por Renfe para disefiar los enclavamientos. Via Libre 348 (1993) 65.","journal-title":"Via Libre"},{"key":"70_CR8","unstructured":"Westwood, J. (ed.): Trains. Octopus Books Ltd., London (1979)."},{"key":"70_CR9","unstructured":"Anonymous: Proyecto y obra del enclavamiento electr\u00f3nico de la estacion de Madrid-Atocha (Proyecto T\u00e9cnico). Siemens, Madrid (1988)."},{"key":"70_CR10","unstructured":"Anonymous: Microcomputer Interlocking Hilversum. Siemens, Munich (1986)."},{"key":"70_CR11","unstructured":"Anonymous: Microcomputer Interlocking Rotterdam. Siemens, Munich (1989)."},{"key":"70_CR12","unstructured":"Anonymous: Puesto de enclavamiento con microcomputadoras de la estacion de Chiasso de los SBB. Siemens, Munich (1989)."}],"container-title":["Lecture Notes in Computer Science","Tasks and Methods in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64574-8_455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T16:42:54Z","timestamp":1549212174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64574-8_455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645740","9783540693505"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-64574-8_455","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}