{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T22:15:48Z","timestamp":1778883348274,"version":"3.51.4"},"reference-count":82,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":8600,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1990,1]]},"DOI":"10.1016\/0743-1066(90)90055-a","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"145-185","source":"Crossref","is-referenced-by-count":33,"title":["An expert system for harmonizing chorales in the style of J.S. Bach"],"prefix":"10.1016","volume":"8","author":[{"given":"Kemal","family":"Ebci\u0307o\u011flu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(90)90055-A_BIB1","series-title":"Principles of Compiler Design","author":"Aho","year":"1977"},{"key":"10.1016\/0743-1066(90)90055-A_BIB2","series-title":"Essay on the True Art of Playing Keyboard Instruments","author":"Bach","year":"1949"},{"key":"10.1016\/0743-1066(90)90055-A_BIB3","series-title":"Verso una Grammatica della Melodia","author":"Baroni","year":"1976"},{"key":"10.1016\/0743-1066(90)90055-A_BIB4","series-title":"Pr\u00e9cis d'Harmonie Tonale","author":"Bitsch","year":"1957"},{"key":"10.1016\/0743-1066(90)90055-A_BIB5","series-title":"Report 8\/81","article-title":"Revision of Top-Down Logical Reasoning through Intelligent Backtracking","author":"Bruynooghe","year":"1981"},{"key":"10.1016\/0743-1066(90)90055-A_BIB6","series-title":"Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project","year":"1984"},{"issue":"No. 2","key":"10.1016\/0743-1066(90)90055-A_BIB7","doi-asserted-by":"crossref","DOI":"10.1145\/356770.356773","article-title":"Non-deterministic Algorithms","volume":"11","author":"Cohen","year":"1979","journal-title":"Comput. Surveys"},{"key":"10.1016\/0743-1066(90)90055-A_BIB8","series-title":"School of Practical Composition","author":"Czerny","year":"1979"},{"key":"10.1016\/0743-1066(90)90055-A_BIB9","series-title":"Machine Intelligence 8","article-title":"An Overview of Production Systems","author":"Davis","year":"1976"},{"key":"10.1016\/0743-1066(90)90055-A_BIB10","series-title":"Mathematical Theory of Program Correctness","author":"de Bakker","year":"1979"},{"key":"10.1016\/0743-1066(90)90055-A_BIB11","article-title":"Back to Backtracking: Controlling the ATMS","author":"de Kleer","year":"1986","journal-title":"Proceedings of the Fifth National Conference on Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB12","series-title":"Cours de Composition Musicale","author":"D'Indy","year":"1912"},{"key":"10.1016\/0743-1066(90)90055-A_BIB13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A Truth Maintenance System","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB14","series-title":"Trait\u00e9 d'Harmonie Th\u00e9orique et Pratique","author":"Dubois","year":"1921"},{"key":"10.1016\/0743-1066(90)90055-A_BIB15","series-title":"Trait\u00e9 de l'Accompagnement au Piano","author":"Durand","year":"1890"},{"key":"10.1016\/0743-1066(90)90055-A_BIB16","series-title":"Trait\u00e9 de Composition Musicale","author":"Durand","year":"1898"},{"key":"10.1016\/0743-1066(90)90055-A_BIB17","series-title":"M.S. Thesis","article-title":"Strict Counterpoint: A Case Study in Musical Composition by Computers","author":"Ebcio\u011flu","year":"1979"},{"key":"10.1016\/0743-1066(90)90055-A_BIB18","series-title":"Proceedings of the 1980 International Computer Music Conference(Queens College, New York","article-title":"Computer Counterpoint","author":"Ebcio\u011flu","year":"1981"},{"key":"10.1016\/0743-1066(90)90055-A_BIB19","series-title":"Research Report RC12628","article-title":"Report on the CHORAL Project: An Expert System for Harmonizing Four-Part Chorales","author":"Ebcio\u011flu","year":"1987"},{"key":"10.1016\/0743-1066(90)90055-A_BIB20","article-title":"An Efficient Logic Programming Language and its Application to Music","author":"Ebcio\u011flu","year":"1987","journal-title":"Proceedings of the 4th ICLP"},{"key":"10.1016\/0743-1066(90)90055-A_BIB21","doi-asserted-by":"crossref","DOI":"10.1145\/255305.255317","article-title":"A Compilation Technique for Software Pipelining of Loops with Conditional Jumps","author":"Ebcio\u011flu","year":"1987","journal-title":"Proceedings of the 20th Annual Workshop on Microprogramming (MICRO-20)"},{"key":"10.1016\/0743-1066(90)90055-A_BIB22","series-title":"Bulldog: A Compiler for VLIW Architectures","author":"Ellis","year":"1986"},{"issue":"No. 2","key":"10.1016\/0743-1066(90)90055-A_BIB23","doi-asserted-by":"crossref","DOI":"10.1145\/356810.356816","article-title":"The Hearsay-II Speech Understanding System: Integrating Knowledge to Resolve Uncertainty","volume":"12","author":"Erman","year":"1980","journal-title":"Comput. Surveys"},{"key":"10.1016\/0743-1066(90)90055-A_BIB24","series-title":"Report UCB\/CSD 86\/257","article-title":"The Berkeley PLM Instruction Set: An Instruction Set for Prolog","author":"Fagin","year":"1985"},{"key":"10.1016\/0743-1066(90)90055-A_BIB25","series-title":"Expert Systems in the Micro-electronic Age","article-title":"Themes and Case Studies in Knowledge Engineering","author":"Feigenbaum","year":"1979"},{"issue":"No. 4","key":"10.1016\/0743-1066(90)90055-A_BIB26","doi-asserted-by":"crossref","DOI":"10.1145\/321420.321422","article-title":"Nondeterministic Algorithms","volume":"14","author":"Floyd","year":"1967","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-1066(90)90055-A_BIB27","article-title":"OPS: A Domain Independent Production System Language","author":"Forgy","year":"1977","journal-title":"Proceedings of the Fifth International Joint Conference in Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB28","article-title":"Cuttable Formulas for Logic Programming","author":"Gergely","year":"1984","journal-title":"1984 International Symposium on Logic Programming"},{"issue":"No. 2","key":"10.1016\/0743-1066(90)90055-A_BIB29","doi-asserted-by":"crossref","DOI":"10.1093\/comjnl\/6.2.129","article-title":"A Technique for the Composition of Music in a Computer","volume":"6","author":"Gill","year":"1963","journal-title":"Comput. J."},{"key":"10.1016\/0743-1066(90)90055-A_BIB30","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","article-title":"First Order Dynamic Logic","author":"Harel","year":"1979"},{"key":"10.1016\/0743-1066(90)90055-A_BIB31","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0004-3702(85)90063-3","article-title":"A Blackboard Architecture for Control","volume":"26","author":"Hayes-Roth","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB32","series-title":"Building Expert Systems","year":"1983"},{"key":"10.1016\/0743-1066(90)90055-A_BIB33","article-title":"The MIPS Machine","author":"Hennessy","year":"1982","journal-title":"Digest of Papers\u2014Compcon Spring 82"},{"key":"10.1016\/0743-1066(90)90055-A_BIB34","series-title":"The Computer and Music","article-title":"Music Composed with Computers: A Historical Survey","author":"Hiller","year":"1970"},{"key":"10.1016\/0743-1066(90)90055-A_BIB35","article-title":"G\u00f6del, Escher, Bach: An Eternal Golden Braid","author":"Hofstadter","year":"1979","journal-title":"Basic Books"},{"key":"10.1016\/0743-1066(90)90055-A_BIB36","series-title":"Technical Report 136","article-title":"Metafont, Metamathematics, and Metaphysics","author":"Hofstadter","year":"1982"},{"key":"10.1016\/0743-1066(90)90055-A_BIB37","series-title":"Counterpoint: The Polyphonic Vocal Style of the Sixteenth Century","author":"Jeppesen","year":"1939"},{"issue":"No. 2","key":"10.1016\/0743-1066(90)90055-A_BIB38","doi-asserted-by":"crossref","DOI":"10.2307\/3679879","article-title":"Compositional Application of Stochastic Processes","volume":"5","author":"Jones","year":"1981","journal-title":"Comput. Music J."},{"issue":"No. 4","key":"10.1016\/0743-1066(90)90055-A_BIB39","doi-asserted-by":"crossref","DOI":"10.2307\/3679507","article-title":"Composing from a Geometric Model: Five-Leaf Rose","volume":"5","author":"Kendall","year":"1981","journal-title":"Comput. Music J."},{"key":"10.1016\/0743-1066(90)90055-A_BIB40","series-title":"Pr\u00e9cis des R\u00e9gles de Contrepoint","author":"Koechlin","year":"1926"},{"key":"10.1016\/0743-1066(90)90055-A_BIB41_1","volume":"Vol. I","author":"Koechlin","year":"1928"},{"key":"10.1016\/0743-1066(90)90055-A_BIB41_2","volume":"Vol. II","author":"Koechlin","year":"1930","journal-title":"Trait\u00e9 de l'Harmonie"},{"key":"10.1016\/0743-1066(90)90055-A_BIB41_3","volume":"Vol. III","author":"Koechlin","year":"1928","journal-title":"Trait\u00e9 de l'Harmonie"},{"key":"10.1016\/0743-1066(90)90055-A_BIB42","series-title":"\u00c9tude sur l'\u00c9criture de la Fugue d'\u00c9cole","author":"Koechlin","year":"1933"},{"key":"10.1016\/0743-1066(90)90055-A_BIB43","series-title":"Report STAN-CS-76-570","article-title":"A.M.: An Artificial Intelligence Approach to Discovery in Mathematics and Heuristic Search","author":"Lenat","year":"1976"},{"key":"10.1016\/0743-1066(90)90055-A_BIB44","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(82)90036-4","article-title":"The Nature of Heuristics","volume":"19","author":"Lenat","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB45","doi-asserted-by":"crossref","DOI":"10.2307\/843480","article-title":"Toward a Formal Theory of Tonal Music","volume":"21","author":"Lerdahl","year":"1977","journal-title":"J. Music Theory"},{"key":"10.1016\/0743-1066(90)90055-A_BIB46","series-title":"A Generative Theory of Tonal Music","author":"Lerdahl","year":"1983"},{"key":"10.1016\/0743-1066(90)90055-A_BIB47","series-title":"Harmonielehre","author":"Louis","year":"1906"},{"key":"10.1016\/0743-1066(90)90055-A_BIB48","series-title":"First Year Harmony","author":"Lovelock","year":"1956"},{"key":"10.1016\/0743-1066(90)90055-A_BIB49","series-title":"The Contrapuntal Harmonic Technique of the 18th Century","author":"McHose","year":"1947"},{"key":"10.1016\/0743-1066(90)90055-A_BIB50","series-title":"Technique de Mon Langage Musical","author":"Messian","year":"1944"},{"key":"10.1016\/0743-1066(90)90055-A_BIB51","series-title":"Emotion and Meaning in Music","author":"Meyer","year":"1956"},{"key":"10.1016\/0743-1066(90)90055-A_BIB52","series-title":"The Oxford Harmony","author":"Morris","year":"1946"},{"key":"10.1016\/0743-1066(90)90055-A_BIB53","series-title":"Advances in Computer Architecture","author":"Myers","year":"1982"},{"issue":"No. 2","key":"10.1016\/0743-1066(90)90055-A_BIB54","article-title":"Some Philosophical Implications of Mathematical Logic: Three Classes of Ideas","volume":"VI","author":"Myhill","year":"1952","journal-title":"Rev. Metaphys."},{"key":"10.1016\/0743-1066(90)90055-A_BIB55","series-title":"Computers and Thought","article-title":"GPS: A Program That Simulates Human Thought","author":"Newell","year":"1963"},{"key":"10.1016\/0743-1066(90)90055-A_BIB56","series-title":"TR 85-678","article-title":"Percolation Scheduling: A Parallel Compilation Technique","author":"Nicolau","year":"1985"},{"key":"10.1016\/0743-1066(90)90055-A_BIB57","series-title":"Problem Solving Methods in Artificial Intelligence","author":"Nilsson","year":"1971"},{"key":"10.1016\/0743-1066(90)90055-A_BIB58","author":"Nilsson","year":"1980","journal-title":"Principles of Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB59","article-title":"RISC-I: A Reduced Instruction Set VLSI computer","author":"Patterson","year":"1981","journal-title":"Eight Annual Symposium on Computer Architecture"},{"key":"10.1016\/0743-1066(90)90055-A_BIB60","volume":"21","year":"1983","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB61","series-title":"Report 1\/80","article-title":"Selective Backtracking for Logic Programs","author":"Pereira","year":"1980"},{"key":"10.1016\/0743-1066(90)90055-A_BIB62","article-title":"The 801 Minicomputer","author":"Radin","year":"1982","journal-title":"Proceedings of the ACM Symposium on Architectural Support for Programming Languages and Operating Systems"},{"key":"10.1016\/0743-1066(90)90055-A_BIB63","doi-asserted-by":"crossref","DOI":"10.1145\/321250.321253","article-title":"A Machine Oriented Logic Based on the Resolution Principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-1066(90)90055-A_BIB64","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1967"},{"key":"10.1016\/0743-1066(90)90055-A_BIB65","author":"Schenker","year":"1969","journal-title":"Five Graphic Analyses"},{"key":"10.1016\/0743-1066(90)90055-A_BIB66","article-title":"Free Composition (Der Freie Satz)","author":"Schenker","year":"1979"},{"key":"10.1016\/0743-1066(90)90055-A_BIB67","series-title":"The Schillinger System of Musical Composition","author":"Schillinger","year":"1946"},{"issue":"No. 1, 2","key":"10.1016\/0743-1066(90)90055-A_BIB68","article-title":"The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence","volume":"11","author":"Schmidt","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB69","series-title":"Computer Based Medical Consultations: MYCIN","author":"Shortcliffe","year":"1976"},{"key":"10.1016\/0743-1066(90)90055-A_BIB70","article-title":"Backtracking in Mlisp2","author":"Smith","year":"1973","journal-title":"Proceedings of the Third International Joint Conference in Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB71","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB72","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(78)90013-9","article-title":"Inferring DNA Structures from Segmentation Data","volume":"11","author":"Stefik","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB73","series-title":"Proceedings of AFIPS 1972 FJCC","first-page":"1171","article-title":"From PLANNER to CONNIVER\u2014A Generic Approach","author":"Sussman","year":"1972"},{"key":"10.1016\/0743-1066(90)90055-A_BIB74","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","article-title":"Constraints\u2014A Language for Expressing Almost-Hierarchical Descriptions","volume":"14","author":"Sussman","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB75","series-title":"The Four-Voice Chorals of J. S. Bach","year":"1964"},{"key":"10.1016\/0743-1066(90)90055-A_BIB76","article-title":"Compiler Optimizations for the WAM","author":"Turk","year":"1986","journal-title":"Proceedings of the 3rd ICLP"},{"key":"10.1016\/0743-1066(90)90055-A_BIB77","series-title":"Report RC 11974","article-title":"Final Code Generation in the PL.8 Compiler","author":"Warren","year":"1986"},{"key":"10.1016\/0743-1066(90)90055-A_BIB78","article-title":"Adaptive Production Systems","author":"Waterman","year":"1975","journal-title":"Proceedings of the Fourth International Joint Conference in Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90055-A_BIB79","series-title":"Musique\u2014Architecture","author":"Xenakis","year":"1971"},{"key":"10.1016\/0743-1066(90)90055-A_BIB80","article-title":"A Theory for Approximate Reasoning","volume":"9","author":"Zadeh","year":"1979"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669090055A?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669090055A?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:55:34Z","timestamp":1555127734000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074310669090055A"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":82,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["074310669090055A"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(90)90055-a","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}