{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:24:50Z","timestamp":1725564290885},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153921"},{"type":"electronic","value":"9783642153938"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15393-8_22","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:21:58Z","timestamp":1283671318000},"page":"190-199","source":"Crossref","is-referenced-by-count":0,"title":["A Mechanism for Converting Circuit Grammars to Definite Clauses"],"prefix":"10.1007","author":[{"given":"Takushi","family":"Tanaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F.C.N. Pereira","year":"1980","unstructured":"Pereira, F.C.N., Warren, D.H.D.: Definite Clause Grammars for Language Analysis. Artificial Intell.\u00a013, 231\u2013278 (1980)","journal-title":"Artificial Intell."},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(91)90002-7","volume":"10","author":"T. Tanaka","year":"1991","unstructured":"Tanaka, T.: Definite Clause Set Grammars: A Formalism for Problem Solving. J. Logic Programming\u00a010, 1\u201317 (1991)","journal-title":"J. Logic Programming"},{"key":"22_CR3","unstructured":"Tanaka, T., Bartenstein, O.: DCSG-Converters in Yacc\/Lex and Prolog. In: Proc. 12th Int. Conference on Applications of Prolog, pp. 44\u201349 (1999)"},{"key":"22_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1007\/978-3-540-74827-4_107","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"T. Tanaka","year":"2007","unstructured":"Tanaka, T.: A Logic Grammar for Circuit Analysis - Problems of Recursive Definition. In: Apolloni, et al. (eds.) KES 2007, Part II. LNCS (LNAI), vol.\u00a04693, pp. 852\u2013860. Springer, Heidelberg (2007)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1504\/IJRIS.2009.026717","volume":"1","author":"T. Tanaka","year":"2009","unstructured":"Tanaka, T.: Circuit grammar: knowledge representation for structure and function of electronic circuits. Int. J. Reasoning-based Intelligent Systems\u00a01, 56\u201367 (2009)","journal-title":"Int. J. Reasoning-based Intelligent Systems"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-642-04592-9_41","volume-title":"KES 2009","author":"T. Tanaka","year":"2009","unstructured":"Tanaka, T.: Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar. In: Vel\u00e1squez, J.D., R\u00edos, S.A., Howlett, R.J., Jain, L.C. (eds.) KES 2009. LNCS, vol.\u00a05712, pp. 325\u2013332. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15393-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:52:53Z","timestamp":1619772773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15393-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153921","9783642153938"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15393-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}