{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:20Z","timestamp":1750308080463,"version":"3.41.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"91","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGART Bull."],"published-print":{"date-parts":[[1985,1]]},"abstract":"<jats:p>The following are citations selected by title and abstract as being related to AI, resulting from a computer search on the BRS retrieval system of the Dissertation Abstracts International (DAI) database produced by University Microfilms International.<\/jats:p>","DOI":"10.1145\/1056541.1056543","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"23-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Selected AI-related dissertations"],"prefix":"10.1145","author":[{"given":"Susanne M.","family":"Humphrey","sequence":"first","affiliation":[{"name":"National Library of Medicine, Bethesda, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob","family":"Krovetz","sequence":"additional","affiliation":[{"name":"National Library of Medicine, Bethesda, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1985,1]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"1984","volume-title":"University of Pittsburgh","author":"Barzilay Amos","year":"1984","unstructured":"Barzilay , Amos . An expert system for tutoring probability theory . University of Pittsburgh , 1984 , 224 pp. DAI {Sect A} 1984 Nov;45(5):1461. Business Administration. Barzilay, Amos. An expert system for tutoring probability theory. University of Pittsburgh, 1984, 224 pp. DAI {Sect A} 1984 Nov;45(5):1461. Business Administration."},{"key":"e_1_2_1_2_1","volume-title":"QED: automated inference in planning organic synthesis","author":"Dolata Daniel Paul","year":"1984","unstructured":"Dolata , Daniel Paul . QED: automated inference in planning organic synthesis . University of California , Santa Cruz , 1984 , 228 pp. DAI {Sect B} 1984 Oct;45(4):1194. Chemistry, Organic. Dolata, Daniel Paul. QED: automated inference in planning organic synthesis. University of California, Santa Cruz, 1984, 228 pp. DAI {Sect B} 1984 Oct;45(4):1194. Chemistry, Organic."},{"key":"e_1_2_1_3_1","first-page":"1984","volume-title":"Virginia Polytechnic Institute and State University","author":"Fowler Glenn Stephen","year":"1984","unstructured":"Fowler , Glenn Stephen . Graph theoretic aspects of combinatorial problem solving . Virginia Polytechnic Institute and State University , 1984 , 367 pp. DAI {Sect B} 1984 Nov;45(5):1520. Computer Science. Fowler, Glenn Stephen. Graph theoretic aspects of combinatorial problem solving. Virginia Polytechnic Institute and State University, 1984, 367 pp. DAI {Sect B} 1984 Nov;45(5):1520. Computer Science."},{"key":"e_1_2_1_4_1","volume-title":"A formal system for reasoning about network databases and its applications to integrity related issues","author":"Gangopadhyay Dipayan","year":"1983","unstructured":"Gangopadhyay , Dipayan . A formal system for reasoning about network databases and its applications to integrity related issues . The University of Texas at Austin, 1983 , 121 pp. DAI {Sect B} 1984 Sep;45(3):929. Computer Science. Gangopadhyay, Dipayan. A formal system for reasoning about network databases and its applications to integrity related issues. The University of Texas at Austin, 1983, 121 pp. DAI {Sect B} 1984 Sep;45(3):929. Computer Science."},{"key":"e_1_2_1_5_1","volume-title":"Silicon compilation of very high level languages","author":"Kahrs Mark William","year":"1984","unstructured":"Kahrs . Mark William . Silicon compilation of very high level languages . The University of Rochester 1984 . 270 pp. DAI {Sect B} 1984 Oct;45(4):1236. Computer Science. Kahrs. Mark William. Silicon compilation of very high level languages. The University of Rochester 1984. 270 pp. DAI {Sect B} 1984 Oct;45(4):1236. Computer Science."},{"key":"e_1_2_1_6_1","first-page":"1984","volume-title":"Stanford University","author":"Kanerva Pentti","year":"1984","unstructured":"Kanerva , Pentti . Self-propagating search: a unified theory of memory , Stanford University , 1984 , 186 pp. DAI {Sect B} 1984 Sep;45(3):930. Computer Science. Kanerva, Pentti. Self-propagating search: a unified theory of memory, Stanford University, 1984, 186 pp. DAI {Sect B} 1984 Sep;45(3):930. Computer Science."},{"key":"e_1_2_1_7_1","first-page":"1984","volume-title":"Wayne State University","author":"Khan Naseem Akhtar","year":"1984","unstructured":"Khan , Naseem Akhtar . Distributed problem solving for object recognition . Wayne State University , 1984 , 158 pp. DAI {Sect B} 1984 Sep;45(3):158. Computer Science. Khan, Naseem Akhtar. Distributed problem solving for object recognition. Wayne State University, 1984, 158 pp. DAI {Sect B} 1984 Sep;45(3):158. Computer Science."},{"key":"e_1_2_1_8_1","first-page":"1984","volume-title":"The University of Connecticut","author":"Silvestro Kenneth Charles","year":"1984","unstructured":"Silvestro , Kenneth Charles . Computer knowledge acquisition from natural language explanations . The University of Connecticut , 1984 , 379 pp. DAI {Sect B} 1984 Oct;45(4):1238. Computer Science. Silvestro, Kenneth Charles. Computer knowledge acquisition from natural language explanations. The University of Connecticut, 1984, 379 pp. DAI {Sect B} 1984 Oct;45(4):1238. Computer Science."},{"key":"e_1_2_1_9_1","first-page":"1984","volume-title":"Linkoping University (Sweden)","author":"Tengvald Erik Anders","year":"1984","unstructured":"Tengvald , Erik Anders . The design of expert planning systems: an experimental operations planning system for turning . Linkoping University (Sweden) , 1984 , 172 pp. DAI {Sect B} 1984 Sep;45(3):932. Computer Science. Tengvald, Erik Anders. The design of expert planning systems: an experimental operations planning system for turning. Linkoping University (Sweden), 1984, 172 pp. DAI {Sect B} 1984 Sep;45(3):932. Computer Science."},{"key":"e_1_2_1_10_1","first-page":"1984","volume-title":"Linkoping University (Sweden)","author":"Urmi Jaak","year":"1978","unstructured":"Urmi , Jaak . A machine independent LISP compiler and its implications for ideal hardware . Linkoping University (Sweden) , 1978 , 170 pp. DAI {Sect B} 1984 Sep;45(3):933. Computer Science. Urmi, Jaak. A machine independent LISP compiler and its implications for ideal hardware. Linkoping University (Sweden), 1978, 170 pp. DAI {Sect B} 1984 Sep;45(3):933. Computer Science."},{"key":"e_1_2_1_11_1","volume-title":"The nature and characteristic attributes of strategic problem-solving related to the teaching and learning of productive thinking and information-processing modes","author":"Boyer Bill Floyd","year":"1984","unstructured":"Boyer , Bill Floyd . The nature and characteristic attributes of strategic problem-solving related to the teaching and learning of productive thinking and information-processing modes . University of Southern California , 1984 . DAI {Sect A} 1984 Sep;45(3):735. Education, Curriculum and Instruction. (copies unavailable from University Microfilms International) Boyer, Bill Floyd. The nature and characteristic attributes of strategic problem-solving related to the teaching and learning of productive thinking and information-processing modes. University of Southern California, 1984. DAI {Sect A} 1984 Sep;45(3):735. Education, Curriculum and Instruction. (copies unavailable from University Microfilms International)"},{"key":"e_1_2_1_12_1","first-page":"1984","volume-title":"Carnegie-Mellon University","author":"Kowalski Thaddeus Julius","year":"1984","unstructured":"Kowalski , Thaddeus Julius . The VLSI design automation assistant: a knowledge-based expert system . Carnegie-Mellon University , 1984 , 174 pp. DAI {Sect B} 1984 Sep;45(3):959. Engineering, Electronics and Electrical. Kowalski, Thaddeus Julius. The VLSI design automation assistant: a knowledge-based expert system. Carnegie-Mellon University, 1984, 174 pp. DAI {Sect B} 1984 Sep;45(3):959. Engineering, Electronics and Electrical."},{"key":"e_1_2_1_13_1","volume-title":"Artificial intelligence in organic chemistry SST: starting material selection strategies","author":"Rogers David","year":"1984","unstructured":"Rogers , David . Artificial intelligence in organic chemistry SST: starting material selection strategies . University of California , Santa Cruz , 1984 , 150 pp. DAI {Sect A} 1984 Oct;45(4):979. Information Science. Rogers, David. Artificial intelligence in organic chemistry SST: starting material selection strategies. University of California, Santa Cruz, 1984, 150 pp. DAI {Sect A} 1984 Oct;45(4):979. Information Science."},{"key":"e_1_2_1_14_1","volume-title":"The relational base theory of phrase structure","author":"Condon Sherri Lee","year":"1983","unstructured":"Condon , Sherri Lee . The relational base theory of phrase structure . The University of Texas at Austin, 1983 , 160 pp. DAI {Sect A} 1984 Sep;45(3):831. Language, Linguistics. Condon, Sherri Lee. The relational base theory of phrase structure. The University of Texas at Austin, 1983, 160 pp. DAI {Sect A} 1984 Sep;45(3):831. Language, Linguistics."},{"key":"e_1_2_1_15_1","first-page":"1984","volume-title":"University of Minnesota","author":"Dahl Deborah Anna","year":"1984","unstructured":"Dahl , Deborah Anna . The structure and function of 'one'-anaphora in English . University of Minnesota , 1984 , 277 pp. DAI {Sect A} 1984 Sep;45(3):831. Language, Linguistics. Dahl, Deborah Anna. The structure and function of 'one'-anaphora in English. University of Minnesota, 1984, 277 pp. DAI {Sect A} 1984 Sep;45(3):831. Language, Linguistics."},{"key":"e_1_2_1_16_1","first-page":"1984","volume-title":"The University of Connecticut","author":"Davis Lori Jo","year":"1984","unstructured":"Davis , Lori Jo . Arguments and expletives: thematic and nonthematic noun phrases . The University of Connecticut , 1984 , 242 pp. DAI {Sect A} 1984 Oct;45(4):1107. Language, Linguistics. Davis, Lori Jo. Arguments and expletives: thematic and nonthematic noun phrases. The University of Connecticut, 1984, 242 pp. DAI {Sect A} 1984 Oct;45(4):1107. Language, Linguistics."},{"key":"e_1_2_1_17_1","volume-title":"Verbless predicates in Hebrew","author":"Doron Edit","year":"1983","unstructured":"Doron , Edit . Verbless predicates in Hebrew . The University of Texas at Austin, 1983 , 215 pp. DAI {Sect A} 1984 Sep;45(3):831. Language, Linguistics. Doron, Edit. Verbless predicates in Hebrew. The University of Texas at Austin, 1983, 215 pp. DAI {Sect A} 1984 Sep;45(3):831. Language, Linguistics."},{"key":"e_1_2_1_18_1","volume-title":"Lexical representations and semantics of complementation","author":"Gawron Jean Mark","year":"1983","unstructured":"Gawron , Jean Mark . Lexical representations and semantics of complementation . University of California , Berkeley , 1983 , 456 pp. DAI {Sect A} 1984 Sep;45(3):832. Language, Linguistics. Gawron, Jean Mark. Lexical representations and semantics of complementation. University of California, Berkeley, 1983, 456 pp. DAI {Sect A} 1984 Sep;45(3):832. Language, Linguistics."},{"key":"e_1_2_1_19_1","volume-title":"The pragmatics of tag questions: a model for epistemic speaker-hearer acts","author":"Houck Noel R","year":"1984","unstructured":"Houck , Noel R . The pragmatics of tag questions: a model for epistemic speaker-hearer acts . University of Southern California , 1984 . DAI {Sect A} 1984 Sep;45(3):832. Language, Linguistics. (copies unavailable from University Microfilms International) Houck, Noel R. The pragmatics of tag questions: a model for epistemic speaker-hearer acts. University of Southern California, 1984. DAI {Sect A} 1984 Sep;45(3):832. Language, Linguistics. (copies unavailable from University Microfilms International)"},{"key":"e_1_2_1_20_1","first-page":"1984","volume-title":"Indiana University","author":"Kintzel Robert","year":"1984","unstructured":"Kintzel , Robert . Studies in German lexical grammar: verbs with prefixed nominal elements . Indiana University , 1984 , 259 pp. DAI {Sect A} 1984 Nov;45(5):1384. Language, Linguistics. Kintzel, Robert. Studies in German lexical grammar: verbs with prefixed nominal elements. Indiana University, 1984, 259 pp. DAI {Sect A} 1984 Nov;45(5):1384. Language, Linguistics."},{"key":"e_1_2_1_21_1","volume-title":"A categorial analysis of derived verbs in Japanese","author":"Kurahone Akira","year":"1983","unstructured":"Kurahone , Akira . A categorial analysis of derived verbs in Japanese . The University of Texas at Austin, 1983 , 222 pp. DAI {Sect A} 1984 Sep;45(3):833. Language, Linguistics. Kurahone, Akira. A categorial analysis of derived verbs in Japanese. The University of Texas at Austin, 1983, 222 pp. DAI {Sect A} 1984 Sep;45(3):833. Language, Linguistics."},{"key":"e_1_2_1_22_1","first-page":"1984","volume-title":"University of Washington","author":"Maxwell Michael B","year":"1984","unstructured":"Maxwell , Michael B . The subject and infinitival complementation in English . University of Washington , 1984 , 438 pp. DAI {Sect A} 1984 Nov;45(5):1385. Language, Linguistics. Maxwell, Michael B. The subject and infinitival complementation in English. University of Washington, 1984, 438 pp. DAI {Sect A} 1984 Nov;45(5):1385. Language, Linguistics."},{"key":"e_1_2_1_23_1","first-page":"1984","volume-title":"Cornell University","author":"Ungar Elizabeth Merrifield","year":"1984","unstructured":"Ungar , Elizabeth Merrifield . A syntactic and semantic model for the analysis of relative clauses in English and Hebrew . Cornell University , 1984 , 246 pp. DAI {Sect A} 1984 Nov;45(5):1387. Language, Linguistics. Ungar, Elizabeth Merrifield. A syntactic and semantic model for the analysis of relative clauses in English and Hebrew. Cornell University, 1984, 246 pp. DAI {Sect A} 1984 Nov;45(5):1387. Language, Linguistics."},{"key":"e_1_2_1_24_1","first-page":"1984","volume-title":"University of Oregon","author":"Carey Stephen Sayers","year":"1984","unstructured":"Carey , Stephen Sayers . The role of logic in the evaluation of argument . University of Oregon , 1984 , 126 pp. DAI {Sect A} 1984 Sep;45(3):859. Philosophy. Carey, Stephen Sayers. The role of logic in the evaluation of argument. University of Oregon, 1984, 126 pp. DAI {Sect A} 1984 Sep;45(3):859. Philosophy."},{"key":"e_1_2_1_25_1","first-page":"1984","volume-title":"Stanford University","author":"Crangle Colleen Elizabeth","year":"1984","unstructured":"Crangle , Colleen Elizabeth . A computational approach to lexical meaning . Stanford University , 1984 , 223 pp. DAI {Sect A} 1984 Sep;45(3):859. Philosophy. Crangle, Colleen Elizabeth. A computational approach to lexical meaning. Stanford University, 1984, 223 pp. DAI {Sect A} 1984 Sep;45(3):859. Philosophy."},{"key":"e_1_2_1_26_1","volume-title":"Ontological understanding and the state model of processes","author":"Irwin Glenn Christopher","year":"1984","unstructured":"Irwin , Glenn Christopher . Ontological understanding and the state model of processes . The University of Western Ontario (Canada) , 1984 . DAI {Sect A} 1984 Nov;45(5):1422. Philosophy. (copies unavailable from University Microfilms International) Irwin, Glenn Christopher. Ontological understanding and the state model of processes. The University of Western Ontario (Canada), 1984. DAI {Sect A} 1984 Nov;45(5):1422. Philosophy. (copies unavailable from University Microfilms International)"},{"key":"e_1_2_1_27_1","volume-title":"Two types of semantic ambiguity","author":"Shrage Laurie Jeanne","year":"1983","unstructured":"Shrage , Laurie Jeanne . Two types of semantic ambiguity . University of California , San Diego , 1983 , 124 pp. DAI {Sect A} 1984 Oct;45(4):1133. Philosophy. Shrage, Laurie Jeanne. Two types of semantic ambiguity. University of California, San Diego, 1983, 124 pp. DAI {Sect A} 1984 Oct;45(4):1133. Philosophy."},{"key":"e_1_2_1_28_1","first-page":"1984","volume-title":"University of Minnesota","author":"Edwall Glenace Ecklund","year":"1984","unstructured":"Edwall , Glenace Ecklund . Interpropositional comprehension: effects of semantic distance and schematic embedding . University of Minnesota , 1984 , 104 pp. DAI {Sect B} 1984 Sep;45(3):1046. Psychology, Experimental. Edwall, Glenace Ecklund. Interpropositional comprehension: effects of semantic distance and schematic embedding. University of Minnesota, 1984, 104 pp. DAI {Sect B} 1984 Sep;45(3):1046. Psychology, Experimental."},{"key":"e_1_2_1_29_1","first-page":"1984","volume-title":"Carnegie-Mellon University","author":"Kotovsky Kenneth","year":"1983","unstructured":"Kotovsky Kenneth . Tower of Hanoi problem isomorphs and solution processes . Carnegie-Mellon University , 1983 , 100 pp. DAI {Sect B} 1984 Sep;45(3):1048. Psychology, Experimental. Kotovsky Kenneth. Tower of Hanoi problem isomorphs and solution processes. Carnegie-Mellon University, 1983, 100 pp. DAI {Sect B} 1984 Sep;45(3):1048. Psychology, Experimental."},{"key":"e_1_2_1_30_1","first-page":"1984","volume-title":"University of Minnesota","author":"Reed Michael Hale","year":"1984","unstructured":"Reed , Michael Hale . Cognition and explanation: artificial intelligence and the philosophy of mind . University of Minnesota , 1984 , 276 pp. DAI {Sect A} 1984 Sep;45(3):865. Religion, Philosophy. Reed, Michael Hale. Cognition and explanation: artificial intelligence and the philosophy of mind. University of Minnesota, 1984, 276 pp. DAI {Sect A} 1984 Sep;45(3):865. Religion, Philosophy."}],"container-title":["ACM SIGART Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056541.1056543","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056541.1056543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:41Z","timestamp":1750262861000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056541.1056543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,1]]},"references-count":30,"journal-issue":{"issue":"91","published-print":{"date-parts":[[1985,1]]}},"alternative-id":["10.1145\/1056541.1056543"],"URL":"https:\/\/doi.org\/10.1145\/1056541.1056543","relation":{},"ISSN":["0163-5719"],"issn-type":[{"type":"print","value":"0163-5719"}],"subject":[],"published":{"date-parts":[[1985,1]]},"assertion":[{"value":"1985-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}