DIKRAN@SU-CSLI.ARPA (06/14/84)
From: Dikran Karagueuzian <DIKRAN@SU-CSLI.ARPA> [Forwarded from the CSLI Newsletter by Laws@SRI-AI.] Partial New Reports List MATH & COMPUTER SCIENCE LIBRARY (From Vol. 6, No. 6, 05/28/84) The reports listed below are now available for circulation at Stanford. 019257 Haridi, S. Sahlin, D.*Evaluation of logic programs based on natural deduction.* Royal Inst. of Tech., Stockholm. Telecomm. & Comp. Systems Dept.*TRITA-CS-8305 B.*1983. 019261 Gendrix, G.G. Lewis, W.H.* Transportable natural language interfaces to databases.* SRI International. A.I. Center.* Tech.Note 228.*1981. 019263 Walker, D.E. Hobbs, J.R.* Natural language access to medical text.* SRI International. A.I. Center.*Tech.Note 240.*1981. 019264 Pereira, F.* Logic for natural language analysis.* SRI International. A.I. Center.*Tech.Note 275, Ph.D. Thesis. Pereira, F.*1983. (Slightly revised version of a thesis submitted to the Department of Artificial Intelligence, University of Edinburgh for the degree of Doctor of Philosophy). 019271 Moore, R.C.* Semantical considerations on nonmonotonic logic.* SRI International. A.I. Center.*Tech.Note 284.* 1983. 019272 Uszkoreit, H.*A framework for processing partially free word order.* SRI International. A.I. Center.*Tech.Note 285.*1983. 019277 Warren, D.H.D.* Applied logic - its use and implementation as a programming tool.* SRI International. A.I. Center.* Tech.Note 290, Ph.D. Thesis. Warren, D.H.D.*1983. (Verbatim copy of a thesis submitted to the Department of Artificial Intelligence, University of Edinburgh in 1977 for the degree of Doctor of Philosophy). 019278 Shieber, S.M.* Direct parsing of ID/LP grammars.* SRI International. A.I. Center.*Tech.Note 291R.*1983 (revised). 019279 Grosz, B.J. Joshi, A.K. Weinstein, S.*Providing a unified account of definite noun phrases in discourses.* SRI International. A.I. Center.*Tech.Note 292.*1983. 019280 Martin, P. Appelt, D. Pereira, F.* Transportability and generality in a natural language interface system.* SRI International. A.I. Center.*Tech.Note 293.*1983. 019292 Pereira, F.C.N. Warren, D.H.D.* Parsing as deduction.* SRI International. A.I. Center.*Tech.Note 295.*1983. 019284 Appelt, D.E.* Telegram: a grammar formalism for language planning.* SRI International. A.I. Center.*Tech.Note 297.* 1983. 019290 Appelt, D.* Planning English referring expressions.* SRI International. A.I. Center.*Tech.Note 312.*1983. 019294 Nilsson, N.J.* Probabilistic logic.* SRI International. A.I. Center.*Tech.Note 321.*1984. 019308 Meandzija, B.*Automated generation of communication systems.* Southern Methodist U. Comp.Sci. & Eng.Dept.* 83-CSE-16.*1983. 019319 Griswold, R.E.*The implementation of an experimental language for manipulating sequences.* Arizona U. Comp.Sci.Dept.*TR 83-20.*1983. 019336 Janssens, D. Rozenberg, G.* Graph grammars with node label controlled rewriting and embedding.* Colorado U. Comp.Sci.Dept.*CU-CS-251-83.*1983. 019368 Koskimies, K.*Extensions of one-pass attribute grammars.* Helsinki U. Comp.Sci.Dept.*Rpt. A-1983-04.*1983. 019373 Shilcrat, E. Panangaden, P. Henderson, T.*Implementing multi sensor systems in a functional language.* Utah U. Comp.Sci.Dept.*UUCS-84-001.*1984.