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.