next up previous
Next: About this document ... Up: Computational Linguistics Offprint Library Previous: Computational Linguistics Offprint Library

Bibliography

(1987).
A semantical approach to nonmonotonic logics.

(1989).
Boolean and non-boolean ``and''.
In Proceedings of the Second Conference on Logic and Linguistics. Hungarian Academy of Science.

(1994).
Harmonizing the approaches.
Deliverable.

(1994).
A lexicalist approach to dutch cross serial dependencies.
In K. Beals, J. Denton, E. Knippen, L. Melnar, H. Suzuki, and E. Zeinfeld, editors, Papers from the 30th Regional Meeting of the Chicago Linguistic Society, pages 376-390. CLS, Chicago, Illinois.

(1997).
Munich workshop on Formal Semantics and Pragmatics of Dialogue.
Edited by Anton Benz and Gerhard Jager.

Abadi, M. and Cardelli, L. (1996).
A theory of primitive objects: Untyped and first-order systems.
Information and Computation, 125, 78-102.

Abbott, B. (1996a).
Doing without a partitive constraint.
In J. Hocksema, editor, Partitives, pages 25 -56. Mouton de Gruyer, edition edition.

Abbott, B. (1996b).
Doing without a partitive constraint.
In J. Hocksema, editor, Partitives, pages 25 -56. Mouton de Gruyer, edition edition.

abd Aravind K. Joshi Srinivas, B. (1995).
Some novel applications of explanation-based learning to parsing lexicalized tree-adjoining grammars.
In ACL-95.

Abeillé, A. and Schabes, Y. (1989).
Parsing idioms in lexicalized tags.
In Fourth Conference of the European Chapter of the Association for Computational Linguistics.

Abelson, H., Eisenberg, M., Halfant, M., Katzenelson, J., Sacks, E., Sussman, G. J., Wisdom, J., and Yip, K. (1989).
Intelligence in scientific computing.
Communications of the ACM, 32, 546-562.

Abelson, R. P. (1981).
Psychological status of the script concept.
American Psychologist, 36, 715-729.

Abney, S. (1996).
Stochastic attribute-value grammars.
University of Tübingen.

Abracos, J. and Lopes, J. G. (1994).
Extending drt with a focusing mechanism for pronominal anaphora and ellipsis resolution.
cmp-lg/9411016.

Abusch, D. (1995).
Constraints on tense.
Unpublished manuscript.

Abusch, D. (1996).
The now parameter in future contexts.
Unpublished manuscript.

Ackerman, F. (1992).
Lexical Matters, chapter 3.
Number 24 in Lecture Notes. CSLI Publications.

Aczel, P. and Lunnon, R. (1991).
Universes and parameters.
Situation Theory and Its Applications, 2, 3-24.

Ades, A. E. and Steedman, M. J. (1982).
On the order of words.
Linguistics and Philosophy, 4, 517-558.
D. Reidel Publishing Co.

Aho, A. V. (1968).
Indexed grammars - an extension of context-free grammars.
Journal of the Association for Computing Machinery, 15, 647-671.

Ait-Kaci, H. (1986).
An algebraic semantics approach to the effective resolution of type equations.
Theoretical Computer Science, 45, 293-351.

Ait-Kaci, H. and Nasr, R. (1986).
Login: A logic programming language with built-in inheritance.
The Journal of Logic Programming, 3, 185-215.

Ait-Kaci, H. and Podelski, A. (1993).
Entailment and disentailment of ordered-sorted feature constraints.
In 1993, editor, Proceedings of the Fourth International Conference on Logic Programming and Automated Reasoning (Saint Petersburg, Russia), pages Entailment and Disentailment of Ordered-Sorted Feature Constraints.
Lecture Notes in Artificial Intelligence 698.

Ait-Kaci, H., Podelski, A., and Goldstein, S. C. (1993).
Order-sorted feature theory unification.
The Journal of Logic Programming, 30, 99-124.

Al-Asady, R. and Narayanan, A. (1993).
More notes on `a clash of intuitions'.
In Proceedings of the International Joint Conference on Artificial Intelligence, page More Notes on `A Clash of Intuitions'.

Alegre, M. A. and Gordon, P. (1995).
Red rats eater exposes recursion in children's word formation.
Study carried out in partial fullfilment of the requirements for MS in Psychology by Maria Alegre at the University of Pittsburgh. Some results were presented at the Stanford Child Language Forum, April 1993.

Alexandersson, J., Reithinger, N., and Maier, E. (1997).
Insights into the dialogue processing of verbmobil.
In Proceedings of ANLP-97, Washington D.C.
cmp-lg/9703004.

Alexopoulou, D. (1997).
A discourse-based account of weak crossover effect.
Dept. of Linguistics, University of Edinburgh.

Alshawi, H. (1994).
Qualitative and quantitative models of speech translation.
In ACL Workshop The Balancing Act, Combining Symbolic and Statistical Approaches to Language.

Alshawi, H. and Crouch, R. (1992).
Monotonic semantic interpretation.
In Proceedings of the Association for Computational Linguistics.
Also appears in A Simple but Useful Approach to Conjunct Identification.

Alshawi, H. and Xia, F. (1997).
English-to-mandarin speech translation with head transducers.
In 1997, editor, Spoken Language Translation, pages English-to-Mandarin Speech Translation with Head Transducers.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Altmann, G. (1988).
Ambiguity, parsing strategies, and computational models.
Language and Cognitive Processes, 3, 1-30.

Altmann, G. T. M. (198?).
The contribution of psycholinguistics to automatic speech recognition.

Altmann, G. T. M. (1987).
Modularity and interaction in sentence processing.
In J. L. Garfield, editor, Modularity in Knowledge Representation and Natural Language Understanding. Cambridge, MA: MIT Press.

Altmann, G. T. M. (1989).
Parsing and interpretation: An introduction.
Language and Cognitive Processes, 4, 1-19.

Amengual, J. C., Benedí, J. M., Casacuberta, F., Castano, A., Castellanos, A., Llorens, D., Marzal, A., Prat, F., Vidal, E., and Vilar, J. M. (1997).
Using categories in the eu trans system.
In 1997, editor, Spoken Language Translation.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Amsili, P. and Le Draoulec, A. (1997).
An account of negated sentences in the drt framework.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 2, pages 3-17. CSLI Publications.

Anderson, J. R. (1981).
A theory of language acquisition based on general learning principles.
In IJCAI, page A Theory of Language Acquisition Based on General Learning Principles.

Anderson, S. R. (1988).
Morphological theory.
In F. J. Newmeyer, editor, Linguistics: The Cambridge Survey, chapter 6, pages 146-191. CUP.

Appel and Mullen, T. (2000).
Pedagogical considerations for a web-based tandem language learning environment.
Computers and Education, 34, 291-308.

Appelt, D. E. (1987).
Bidirectional grammars and the design of natural language generation systems.
In TINLAP3, page Bidirectional Grammars and the Design of Natural Language Generation Systems.

Appiah, A. (1986).
The importance of triviality.
The Philosophical Review, XCV, 209-231.

Ash, C. J. (1989).
Labelling systems and r.e. structures.
Technical report, Monash University, Department of Mathematics.
Logic Paper.

Ash, C. J., Knight, J., Manasse, M., and Slaman, T. A. (1988).
Generic copies of countable structures.
Technical report, Monash University, Department of Mathematics.
Logic Paper.

Asher, N. (1984).
Meanings don't grow on trees.
Journal of Semantics, 3, 229-247.

Asher, N. (1987).
A typology for attitude verbs and their anaphoric properties.
Linguistics and Philosophy, 10, 125-197.
D. Reidel Publishing Company.

Asher, N. (1988).
Semantic competence, linguistic understanding, and a theory of concepts.
Philosophical Studies, 53, 1-36.
D. Reidel Publishing Company.

Asher, N. (1990).
Verbal information, interpretation and attitudes.
Information, Language and Cognition, 1, 1-18.

Asher, N. (1991).
Two theories of propositional quantification.
Technical report, Universities of Stuttgart and Texas at Austin.

Asher, N. (1992).
A default truth conditional semantics for the progressive.
Linguistics and Philosophy, 15, 465-508.

Asher, N. (1994).
From discourse macro-structure to micro-structure and back again: Discourse semantics and the focus/background distinction.
In P. Bosch and R. van der Sandt, editors, Focus and Natural Language Processing, volume 3, pages 1-50. IBM Deutschland Informationssysteme GmbH.
Draft.

Asher, N. and Bonevac, D. (1987).
Determiners and resource situations.
Linguistics and Philosophy, 10, 567-596.

Asher, N. and Lascarides, A. (1995).
Metaphor in discourse.
Technical report, Universities of Texas and Edinburgh.
Version of July 10th 1997.

Asher, N. and Morreau, M. (1990).
A dynamic modal semantics for default reasoning and generics.
Version I.

Austin, J. L. (1963).
The meaning of the word.
In C. Caton, editor, Philosophy and Ordinary Language, pages 1-21. UIP.

Bacchus, F. (1989).
A modest, but semantically well founded, inheritance reasoner.
In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages A Modest, but Semantically Well Founded, Inheritance Reasoner. A Modest, but Semantically Well Founded, Inheritance Reasoner.

Bach, E. (1979).
Control in montague grammar.
Linguistic Inquiry, 10, 515-531.

Bach, E. (1980).
In defense of passive.
Linguistics and Philosophy, 3, 297-341.
D. Reidel Publishing Co.

Bach, E. (1983).
On the relationship between word-grammar and phrase-grammar.
Natural Language and Linguistic Theory, 1, 65-89.
Published by D. Reidel Publishing Company.

Bach, E., Brown, C., and Marslen-Wilson, W. (1986).
Crossed and nested dependencies in german and dutch: A psycholinguistic study.
Language and Cognitive Processes, 1, 249-262.

Backofen, R., Becker, T., Calder, J., Capstick, J., Erbach, G., Manandhar, S., Oepen, S., Uszkoreit, H., and Zaenen, A. (1995a).
The eagles formalisms working group draft of the final report.
Unpublished manuscript.

Backofen, R., Rogers, J., and Vijay-Shanker, K. (1995b).
A first-order axiomatization of the theory of finite trees.
Technical report, The Institute for Research in Cognitive Science.

Baek, S. I., Liebowitz, J., and Liebowitz, A. (1996).
"what's is all about?": A multimedia aid for learning information systems (is) concepts and methodologies.
In Proceedings of ED-Media '96, page "What's IS all about?": A Multimedia Aid for Learning Information Systems (IS) Concepts and Methodologies.

Baeten, J. C. M., Bergstra, J. A., and Klop, J. W. (1993).
Decidability of bisimulation equivalence for processes generating context-free languages.
Journal of the Association for Computing Machinery, 40, 653-682.

Baker, Mark, and Travis, L. (2000).
Mood as verbal definiteness in a `tenseless' language.
Natural Language Semantics, 1, 43-83.

Baker, K. L., Franz, A. M., Jordan, P. W., Mitamura, T., and Nyberg, E. H. (1994a).
Coping with ambiguity in a large-scale machine translation system.
In Proceedings of the 15th International Conference on Computational Linguistics - Coling'94.

Baker, K. L., Franz, A. M., Jordan, P. W., Mitamura, T., and Eric H. Nyberg, r. (1994b).
Coping with ambiguity in a large-scale machine translation system.
In Proceedings of COLING '94 Conference, pages Coping with Ambiguity in a Large-Scale Machine Translation System.

Baker, S., Hamm, R., and Popowich, F. (1990).
Treetool user's manual.
Technical report, Simon Fraser University.

Baldwin, J. (1985).
Definable second-order quantifiers.
In K. J. Barwise and S. Feferman., editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 7, pages 445-477. Springer-Verlag.

Ballim, A. and Russell, G. (1994).
Lhip: Extended dcgs for configurable robust parsing.
In Proceedings of the 15th Annual Meeting on Computational Linguistics, page LHIP: Extended DCGs for Configurable Robust Parsing.
cmp-lg/9408006.

Ballim, A., Wilks, Y., and Barnden, J. (1991).
Belief ascription, metaphor, and intensional identification.
Cognitive Science, 15, 133-171.

Barendsen, E. and Bezem, M. (1991).
Bar recursion versus polymorphism.
Technical report, University of Utrecht.
Extended Abstract.

Barker, C. and Dowty, D. (1992).
Nominal thematic proto-roles.
In North Eastern Language Seminar.
Rochester University and Ohio State University.

Barr, R. A. and Caplan, L. J. (1986).
Class inclusion dos and don'ts: ``some'' implications for ``all'' hierarchies.
In Proceedings of the 16th Annual Symposium of the Jean Piaget Society, page Class Inclusion Dos and Don'ts: ``Some'' Implications for ``All'' Hierarchies.

Barr, R. A. and Caplan, L. J. (1987a).
Category representations and their implications for category structure.
Memory & Cognition, 15, 397-418.
Copyright 1987 Psychonomic Society, Inc.

Barr, R. A. and Caplan, L. J. (1987b).
Predicting gradedness.
In Proceedings of the 17th Annual Symposium of the Jean Piaget Society, page Predicting Gradedness.

Barsalou, L. W. (1983).
Ad hoc categories.
Memory & Cognition, 11, 211-227.
Copyright 1983 Psychonomic Society, Inc.

Barton, E. G., Berwick, R., and Ristad, E. (1987a).
Computational Complexity of Natural Language, chapter 2 - Complexity Theory and Natural Language, pages 35-88.
Bradford Books.

Barton, E. G., Berwick, R., and Ristad, E. (1987b).
Computational Complexity of Natural Language, chapter 3 - Agreement and Ambiguity, pages 89-102.
Bradford Books.

Barton, E. G., Berwick, R., and Ristad, E. (1987c).
Computational Complexity of Natural Language, chapter 7 - The Complexity of ID/LP Parsing, pages 187-213.
Bradford Books.

Barton, E. G., Berwick, R., and Ristad, E. (1987d).
Computational Complexity of Natural Language, chapter 8 - Sources of Complexity in GPSG Theory, pages 215-254.
Bradford Books.

Bartsch, R. (1987a).
The construction of properties under perspectives.
Journal of Semantics, 5, 293-320.

Bartsch, R. (1987b).
Frame representations and discourse representations.
Technical report, University of Amsterdam, Mathematics and Computer Science.
Research Report.

Barwise, J. (1985).
Model-theoretic logics: Background and aims.
In K. J. Barwise and S. Feferman, editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 1, pages 3-23. Springer-Verlag.
Part A - Introduction, Basic Theory and Examples.

Barwise, J. (1986).
Information and circumstance.
Notre Dame Journal of Formal Logic, 27, 324-338.

Barwise, J. (1987a).
Noun phrases, generalized quantifiers and anaphora.
In P. Grdenfors, editor, Generalized Quantifiers, Studies in Language and Philosophy. Dordrecht: Reidel.

Barwise, J. (1987b).
Unburdening the language of thought.
Mind and Language, 2, 82-103.

Barwise, J. (1991a).
Information links in domain theory.
Technical report, Indiana University Logic Group.

Barwise, J. (1991b).
Toward a theory of constraints.
Submitted to Situation Theory and its Applications - III.

Barwise, J. (1992).
Constraints, channels, and the flow of information.
To appear in Situation Theory and its Applications, Vol.3, ed. by S. Peters et al.

Barwise, J. and Cooper, R. (1981).
Generalized quantifiers and natural language.
Linguistics and Philosophy, 4, 159-219.

Barwise, J. and Perry, J. (1983).
Situations and Attitudes.
Book.

Barwise, J. and Seligman, J. (1993).
Imperfect information flow.
In Proceedings of the Eighth IEEE Symposium on Logic in Computer Science. Imperfect Information Flow.

Barwise, J. and Seligman, J. (1994).
The rights and wrongs of natural regularity.
In J. Tomberlin, editor, Philosophical Perspectives, Vol 8, volume 8/9, pages 331-65. California: Ridgeview.

Barwise, J. and van Benthem, J. (1996).
Interpolation, preservation, and pebble games.
Unpublished manuscript.

Basin, D., Matthews, S., and Vigano, L. (1997).
A modular presentation of modal logics in a logical framework.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 20, pages 293-307. CSLI Publications.

Bates, M. (1978).
The theory and practice of augmented transition network grammars.
In L. Bloc, editor, Natural Language Communication with Computers, pages 191-259. Springer-Verlag.

Bauer, M. I. and Johnson-Laird, P. N. (1993).
How diagrams can improve reasoning: Mental models and the difficult cases of disjunction and negation.
In Proceedings of the 15th Annual Conference of the Cognitive Science Society, page How Diagrams Can Improve Reasoning: Mental Models and the Difficult Cases of Disjunction and Negation.

Bäuerle, R. (1979).
Questions and answers.
In R. Bäuerle, U. Egli, and A. von Stechow, editors, Semantics from Different Points of View, pages 61-74. Springer-Verlag: Berlin.

Bäuerle, R. (1995).
Shifting the reference point: German temporal conjunctions.
Prague Context Workshop.

Bayer, S. (1996).
The coordination of unlike categories.
Language, 72, 579-617.

Beaver, D. (1994).
Accommodating topics.
In P. Bosch and R. van der Sandt, editors, Focus and Natural Language Processing, volume 3, pages 439-448. IBM Heidelberg.
Proceedings of a conference in celebration of the 10th anniversary of the Journal of Semantics.

Beaver, D., Krause, P., Hitzeman, J., van den Bovenkamp, I., and Keller, F. (1995).
The DYANA Integrated Implementation.
Book.
DYANA-2 Report R3.7.

Beeferman, D., Berger, A., and Lafferty, J. (1997).
Text segmentation using exponential models.
In EMNLP.
cmp-lg/9706016.

Beil, F. (1996).
On antecedent contained ellipsis.
To appear in the Proceedings of Paris Syntax and Semantics Conference, October 12-14, 1995.

Beil, F. (1997).
The definiteness effect in attributive comparatives.
To appear in SALT VII Proceedings, CLC Publications, Cornell University, Ithaka, NY.

Belegrinos, P. and Georgeff, M. (1991).
A model of events and processes.
In Proceedings on the Joint Conference of Artificial Intelligence 1991, Sydney - Knowledge Representation, page A Model of Events and Processes.

Bell, J. and Machover, M. (1977).
A Course in Mathematical Logic, chapter 4 - Boolean Algebras, pages 125-160.
North-Holland.

Bench-Capon, T. and Visser, P. (1996).
Deep models, ontologies and legal knowledge based systems.
In 1996, editor, Proceedings of the Conference Legal Knowledge Based Systems Jurix '96, pages Deep Models, ONtologies and Legal Knowledge Based Systems. Deep Models, ONtologies and Legal Knowledge Based Systems.

Benson, J. and Clark, F. (1982).
A guide for instrument development.
The American Journal of Occupational Therapy, 36, 789-800.

Berger, A. L., Brown, P. F., Della Pietra, S. A., Della Pietra, V. J., Kehler, A. S., and Mercer, R. L. (1996).
Language translation apparatus and method using context-based translation models.
Patent no. 5510981.

Berghel, H. (1987).
Crossword compilation with horn clauses.
The Computer Journal, 30, 183-188.

Berghel, H. and Y., C. (1989).
Crossword compiler-compilation.
The Computer Journal, 32, 276-280.

Berwick, R. (1987a).
Computational complexity, mathematical linguistics and linguistic theory.
In 1987, editor, Mathematics of Language.

Berwick, R. C. (1987b).
Principle-based parsing.
Technical report, Massachusetts Institute of Technology.
To appear in The Processing of Linguistic Structure, MIT press (1987).

Bezhanishvili, G. (1997).
Some results in monadic heyting algebras.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 17, pages 251-261. CSLI Publications.

Bignoli, C., De Michelis, G., and Tinini, R. (1991).
Utucs: A support for synchronous and asynchronous communication.
Presented at the International Workshop on Computer Supported Cooperative Work.

Bilange, E. and Magadur, J.-Y. (1992).
A robust approach for handling oral dialogues.
In Proceedings of the 14th International Conference on Computational Linguistics - COLING'92, page A Robust Approach for Handling Oral Dialogues.

Billot, S. and Lang, B. (1989).
The structure of shared forests in ambiguous parsing.
In Proceedings of the 27th Annual Conference for Computational Linguistics, page The Structure of Shared Forests in Ambiguous Parsing.

Blackburn, P. and Meyer-Viol, W. (1996).
Linguistics, logic, and finite trees.
Unpublished manuscript.

Blackburn, P., Mayer-Viol, W., and de Rijke, M. (1995a).
A proof system for finite trees.
Technical report, Computerlinguistik, Universität des Saarlandes.

Blackburn, P., de Rijke, M., and Venema, Y. (1995b).
Relational methods in logic, language and information.
Technical report, Computerlinguistik, Universität des Saarlandes.
This report will appear as Chapter 14 of Relational Methods in Computer Science, edited by Chris Brink and Gunther Schmidt, in cooperation with Rudolf Albrecht, Springer-Verlag, 1996.

Blackburn, P., Jaspars, J., and de Rijke, M. (1997).
Reasoning about changing information.
South African Computer Journal, 19, 2-26.

Blamey, S. (1986).
Partial logic.
In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 3, chapter 3.1, pages 1-70. D. Reidel Publishing Co.

Blejer, H. R., Flank, S., and Kehler, A. (1989).
On representing governed prepositions and handling "incorrect" and novel prepositions.
In Proceedings of the 27th Conference of the Association for Computational Linguistics, page On Representing Governed Prepositions and Handling "Incorrect" and Novel Prepositions.

Block, N. (1990).
The imagery issue - mental pictures and cognitive science.
In W. G. Lycan, editor, Mind and Cognition, chapter 19, pages 577-607. Blackwell.

Bobrow, D. G. (1975).
Dimensions of representations.
In D. G. Bobrow and A. M. Collins, editors, Representation and Understanding, pages 1-34. AP.
Reprinted in R. J. Brachman and H. J. Levesque, eds,Readings in Knowledge Representation, pp. 217-241. Los Altos, Ca.: Morgan Kaufmann, 1985.

Bobrow, R. and Webber, B. (1980).
Parsing and semantic interpretation in the bbn natural language understanding system.
In Proceedings of 3rd Biennial Conference of CSCSI, page Parsing and Semantic Interpretation in the BBN Natural Language Understanding System. Parsing and Semantic Interpretation in the BBN Natural Language Understanding System.

Book, R. V. and O'Dunlaing, C. P. (1981).
Testing for the church-rosser property.
Theoretical Computer Science, 16, 223-229.

Boolos, G. (1975).
On second-order logic.
The Journal of Philosophy, LXXII, 509-527.

Boolos, G. (1984).
To be is to be a value of a variable.
Journal of Philosophy, 81, 430-449.

Boolos, G. (1985).
Nominalist platonism.
The Philosophical Review, 4, 327-344.

Borgida, A. and Patel-Schneider, P. F. (1994).
A semantics and complete algorithm for subsumption in the classic description logic.
Journal of Artificial Intelligence Research, 1, 277-308.
AI Access Foundation and Morgan Kaufmann Publishers.

Bosch, P. (1988).
Representing and accessing focussed referents.
Language and Cognitive Processes, 3, 207-231.
Lawrence Erlbaum Associates Ltd. and VSP Publications.

Bouma, G. (1987).
A unification-based analysis of unbounded dependencies in categorical grammar.
In 1987, editor, Sixth Amsterdam Colloquium, pages A Unification-Based Analysis of Unbounded Dependencies in Categorical Grammar.

Bouma, G. and van Noord, G. (1994).
A lexicalist account of the dutch verbal complex.
In CLIN 1993, Papers from the 4th Computational Linguistics in the Netherlands Meeting, page A Lexicalist Account of the Dutch Verbal Complex.

Boutilier, C. (1991).
Inaccessible worlds and irrelevance: Preliminary report.
In Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, page Inaccessible Worlds and Irrelevance: Preliminary Report.
Knowledge Representation.

Boutilier, C. (1993).
On the semantics of stable inheritance reasoning.
Computational Intelligence, 9, 73-110.

Bowen, K. A. and Kowalski, R. A. (1982).
Amalgamating language and metalanguage in logic programming.
In K. Clark and S.-A. Tarnlund, editors, Logic Programming, pages 153-172. Academic Press.

Brachman, R. J. (1979).
On the epistemological status of semantic networks.
In N. V. Findler, editor, Associative Networks, pages 3-50. Academic Press.

Brachman, R. J. (1983).
What isa is and isn't: An analysis of taxonomic links in semantic networks.
IEEE Computer, 16, 30-36.

Brachman, R. J. (1985).
``i lied about the trees'', or defaults and definitions in knowledge representation.
The AI Magazine, 6, 80-93.

Brachman, R. J. and Schmolze, J. G. (1985).
An overview of the kl-one knowledge representation system.
Cognitive Science, 9, 171-216.

Braisby, N. (1989).
Situating word meaning.
In N. Braisby and R. Cooper, editors, Edinburgh working Papers in Cognitive Science, volume 3 of Situation Theoretic Studies in Psychology, Language and Logic, pages 1-20. Centre for Cognitive Science, University of Edinburgh.
Version of April 23rd 1990.

Brandner, E. (1996).
Review.
IMS Stuttgart - Unpublished manuscript.

Branigan, H. P., Pickering, M. J., Liversedge, S. P., Stewart, A. J., and Urbach, T. P. (1995).
Syntactic priming: Investigating the mental representation of language.
Journal of Psycholinguistic Research, 24, 489-505.

Brants, T. (1997).
Estimating hidden markov model topologies.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 11, pages 165-178. CSLI Publications.

Brassard, G. (1985).
Crusade for a better notation.
SIGACT News, 17, 60-64.

Breen, T. J. and Schvaneveldt, R. W. (1986).
Classification of empirically derived prototypes as a function of category experience.
Memory & Cognition, 14, 313-320.
Copyright 1986 Psychonomic Society, Inc.

Bresnan, J. (1978).
A realistic transformational grammar.
In M. Halle, J. Bresnan, and G. A. Miller, editors, Linguistic Theory and Psychological Reality, chapter 1, pages 1-59. MIT Press.

Bresnan, J. (1985).
The passive in lexical theory.
In J. Bresnan, editor, The Mental Representation of Grammatical Relations, chapter 1, pages 3-86. MIT Press.

Bresnan, J., Kaplan, R. M., Peters, S., and Zaenen, A. (1982).
Cross-serial dependencies in dutch.
Linguistic Inquiry, 13, 613-35.

Brew, C., Dorrepaal, J., Gardent, C., Grover, C., Manandhar, S., Moens, M., Prüst, H., and Schöter, A. (1993).
Representation of discourse information.
Technical report, University of Edinburgh.

Brewka, G. (1991).
Cumulative default logic: In defense of nonmonotonic inference rules.
Artificial Intelligence, 50, 153-178.

Brewka, G. (1992a).
An abductive framework for generalized logic programs: Preliminary report.
Technical report, International Computer Science Institute.

Brewka, G. (1992b).
A framework for cumulative default logics.
Technical report, International Computer Science Institute, Berkeley.

Brewka, G., Guesgen, H. W., and Hertzberg, J. (1992).
Constraint relaxation and nonmomotonic reasoning.
Technical report, International Computer Science Institute(ICSI), Berkeley, California, and German National Research Center for Computer Science(GMD), Artificial Intelligence Research Division.

Briscoe, T. (1989).
Lexical access in connected speech recognition.
In Proceedings of the 27th Association for Computational Linguistics, page Lexical Access in Connected Speech Recognition.

Briscoe, T. (1997).
Co-evolution of language and of the language acquisition device.
In Proceedings of the ACL-EACL97.
cmp-lg/9705001.

Briscoe, T., Copestake, A., and Lascarides, A. (1995).
Blocking.
In P. Saint-Dizier and E. Viegas, editors, Computational Lexical Semantics. Cambridge University Press.

Brooks, R. A. (1988).
Intelligence without representation.
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology.

Brown, K. L. (1992).
On content deprivation.
Department of Linguistics, Indiana University, Bloomington.

Brown, P. F., Della Pietra, S. A., Della Pietra, V. J., and Mercer, R. L. (1993).
The mathematics of statistical machine translation: Parameter estimation.
Computational Linguistics, 19, 263-296.

Brown, P. F., Cocke, J., Della Pietra, S. A., Della Pietra, V. J., Jelinek, F., Lai, J. C., and Mercer, R. L. (1995).
Method and system for natural language translation.
Patent no. 5477451.

Brownell, H., Pincus, D., Blum, A., Rehak, A., and Winner, E. (1997).
The effects of right-hemisphere brain damage on patients' use of terms of personal reference.
Brain and Language, 57, 60-79.
Article No. BL971834.

Buchheit, M., Donini, F. M., and Schaerf, A. (1993).
Decidable reasoning in terminological knowledge representation systems.
Journal of Artificial Intelligence Research, 1, 109-138.
AI Access Foundation and Morgan Kaufmann Publishers.

Buitelaar, P. (1997).
A lexicon for underspecified semantic tagging.
cmp-lg/9705011: Department of Computer Science, Brandeis University.

Bundy, A., van Harmelen, F., Hesketh, J., and Smaill, A. (1988a).
Experiments with proof plans for induction.
Technical report, University of Edinburgh, Department of Artificial Intelligence.

Bundy, A., Sannella, D., Desimone, R., Giunchiglia, F., van Harmelen, F., Hesketh, J., Madden, P., Smaill, A., Stevens, A., and Wallen, L. (1988b).
Proving properties of logic programs: A progress report.
Technical report, University of Edinburgh.

Bunt, H. (1987).
Utterance generation from semantic representations augmented with pragmatic information.
In G. Kempen, editor, Natural Language Generation, NATO ASI series, chapter 21, pages 333-348. Martinus Nijhoff.

Bunt, H. (1990).
Disco-trees and their use in dpsg.
In A. v. H. W. Sijtsma, editor, Proceedings of the Symposium on Discontinuous Constituency, pages 2-19. Institute for Language Technology and Artificial Intelligence, Tilburg University, Holland.

Burgess, J. P. (1984).
Basic tense logic.
In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, chapter 2, pages 89-133. D. Reidel Publishing Co.

Burheim, T. (1995a).
A grammar formalism and cross-serial dependencies.
Technical report, CLAUS.

Burheim, T. (1995b).
Indexed languages and unification grammars.
Technical report, Department of Informatics, University of Bergen and Computational Linguistic, University of the Saarland.

Byrne, R. M. J. (1989).
Suppressing valid inferences with conditionals.
Cognition, 31, 61-83.
Elsevier Science Publishers B.V.

Cabrera, A. and Billman, D. (1993).
Whorfian biases in the categorization of events.
In Proceedings of the 15th Annual Conference of the Cognitive Science Society, page Whorfian Biases in the Categorization of Events.

Calder, J. (1988).
Paradigmatic morphology.
Technical report, Centre for Cognitive Science, University of Edinburgh.

Calder, J. (1995).
Ale in the Pleuk Grammar Development Shell.
University of Edinburgh.

Campbell, J. (1987).
Production, verification and priming of multiplication facts.
Memory & Cognition, 15, 349-364.

Caplan, L. J. (1989).
On the relationship between category intensions and extensions in children.
Journal of Experimental Child Psychology, 47, 413-429.

Caplan, L. J. and Barr, R. A. (1989).
A comparison of context effects for typicality and category membership ratings.
In Proceedings of the Tenth Annual Cognitive Science Society, 1989, Lawrence Erlbaum Associates Conference.

Carbonell, J. G. and Hayes, P. J. (1983).
Recovery strategies for parsing extragrammatical language.
American Journal of Computational Linguistics, 9, 123-146.

Cardie, C. (1992).
Learning to disambiguate relative pronouns.
In Proceedings of the American Association for Artificial Intelligence, page Learning to Disambiguate Relative Pronouns.

Carey, S. (1982).
Semantic development: The state of the art.
In E. Wanner and H. Gleitman, editors, Language Acquisition: The State of the Art, chapter 12, pages 347-389. Cambridge University Press.

Carletta, J., Isard, A., Isard, S., Kowtko, J. C., Doherty-Sneddon, G., and Anderson, A. H. (1996).
The reliability of a dialogue structure coding scheme.
Computational Linguistics, 23, 13-31.

Carlson, G. N. (1988).
Truth conditions of generic sentences: Two contrasting views.
In Proceedings of the 1988 Tübingen Conference, page Truth Conditions of Generic Sentences: Two Contrasting Views.
Seminar für Natürlich-Sprachliche Systeme, University of Tübingen, Germany.

Carlson, R. A. and Schneider, W. (1989).
Acquisition context and the use of casual rules.
Memory and Cognition, 17, 240-248.

Carpenter, B. (1993).
Skeptical and credulous default unification with applications to templates and inheritance.
In T. Briscoe, A. Copestake, and V. de Paiva, editors, Inheritance, Defaults, and the Lexicon, pages 13-37. Cambridge University Press, Cambridge.

Carpenter, B. and King, P. (1995).
The complexity of closed world reasoning in constraint-based grammar theories.
Presented at Mathematics of Language, IV in Auston Texas.

Carpenter, B. and Pollard, C. (1991).
Inclusion, disjointness and choice: The logic of linguistic classification.
In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics. Inclusion, Disjointness and Choice: The Logic of Linguistic Classification.

Carroll, G. and Rooth, M. (1997).
Shallow parsing and knowledge extraction for language engineering.
In Sprachtheoretische Grundlagen für die Computerlinguistik.
Research for Sprachtheoretische Grundlagen Für die Computerlinguistik.

Carroll, J. (1994).
Relating complexity to practical performance in parsing with wide-coverage unification grammars.
In ACL 94.

Carroll, J. A. (1993).
Practical Unification-Based Parsing of Natural Language.
Ph.D. thesis, University of Cambridge.

Carroll, J. M. and Mack, R. L. (1982).
Metaphor, computing systems and active learning.
Technical report, Computer Science Department, IBM Watson Research Center, New York.
Computer Science/Cognition 16 pages.

Carter, D., Eklund, R., Kirchmeier-Anderson, S., Becket, R., MacDermid, C., Philp, C., Rayner, M., and Wirén, M. (1997).
Translation methodology in the spoken language translator: An evaluation.
In 1997, editor, Spoken Language Translation, page Translation Methodology in the Spoken Language Translator: An Evaluation.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Cartwright, A. (1988).
Interviews or postal questionnaires? comparisons of data about women's experiences with maternity services.
The Milbank Quarterly, 66, 172-189.

Casey, P. J. and Heath, R. A. (1983).
Categorization reaction time, category structure and category size in semantic memory using artificial categories.
Memory and Cognition, 11, 228-236.

Caucal, D. (1995).
Bisimulation of context-free grammars and of pushdown automata.
In Modal Logic and Process Algebra, volume 53, pages 85-106. Stanford Press.

Cavedon, L. (1994).
A channel-theoretic model for conditional logics.
Unpublished manuscript. Centre for Cognitive Science, University of Edinburgh.

Cavedon, L. (1995).
A Channel Theoretic Approach to Conditional Reasoning.
Ph.D. thesis.

Cavedon, L. and Glasbey, S. (1994a).
An information-flow model of generics.
Presented at the Fifth Symposium on Logic and Language, Nosvaj, Hungary, September 2-6 1994. Submitted to Acta Linguistica.

Cavedon, L. and Glasbey, S. (1994b).
Outline of an information-flow model of generics.
Acta Linguistica Hungarica, 42.
Based on a talk presented at the Fifth Symposium on Logic and Language, Nosvaj, Hungary, September 2-6 1994.

Cavedon, L. and Glasbey, S. (1996).
The role of context in the interpretation of generic sentences.
In Proceedings of the 10th Amsterdam Colloquium, page The Role of Context in the Interpretation of Generic Sentences.

Cavedon, L. and Tidhar, G. (1995).
A logical framework for multi-agent systems and joint attitudes.
In 1995, editor, First Australian Workshop on Distributed Artificial Intelligence, Canberra.
Published as Lecture Notes in Artificial Intelligence 1087.

Cavnar, W. B. and Trenkle, J. M. (1994).
N-gram-based text categorization.
In Third Annual Symposium on Document Analysis and Information Retrieval.

Cercone, N. (1978).
Morphological analysis and lexicon design for natural-language processing.
Computers and the Humanities, 11, 235-258.

Cercone, N. (1989).
Non-singular concepts in natural language discourse.
Computational Linguistics, 15, 171-186.

Cercone, N. and Goebel, R. (1980).
Semantic networks, frames and conventional data base methodology.
In J. Raben and G. Marks, editors, Data Base in the Humanities and the Social Sciences, pages 61-65. North-Holland Publishing Company.

Charniak, E. (1990).
Pearl for swine: An introduction to bayesian networks.
Department of Computer Science, Brown University.

Charniak, E. (1993).
Statistical Language Learning, volume 21, chapter 2-Statistical Models and the Entropy of English.
Cambridge: MIT Press.

Charniak, E. and Goldman, R. (1990).
Plan recognition in stories and in life.
Uncertainty in Artificial Intelligence, 5, 343-351.

Charniak, E. and Shimony, S. E. (1990).
Probabilistic semantics for cosr based abduction.
Technical report, Computer Science Department, Brown University.

Chater, N. and Hahn, U. (1995).
Similarity and rules: Distinct? exhaustive? empirically distinguishable?
Department of Experimental Psychology, University of Oxford.

Chater, N. and Oaksford, M. (1990).
Autonomy, implementation and cognitive architecture: A reply to fodor and pylyshyn.
Cognition, 34, 93-107.

Chater, N., Pickering, M., and Milward, D. (1995).
What is incremental interpretation?
In Edinburgh Working Papers in Cognitive Science, page What is Incremental Interpretation?

Cheeseman, P. (1985).
In defense of probability.
In 1985, editor, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, page In Defense of Probability.

Chierchia, G. (1985).
Formal semantics and the grammar of predication.
Linguistic Inquiry, 16, 417-443.

Chierchia, G. (1994).
Dynamics of Meaning: Anaphora, Presuppositions and the Theory of Grammar.
Book.

Chierchia, G. and Turner, R. (1988).
Semantics and property theory.
Linguistics and Philosophy, 11, 261-302.

Chomsky, N. (1959).
Review of 'verbal behaviour'.
Language, 35, 26-58.
Review of 'Verbal Behaviour by B.F. Skinner.

Chomsky, N. (1970).
Remarks on nominalization.
In R. Jacobs and P. Rosenbaum, editors, Readings in English Transformational Grammar, pages 184-221. Ginn and Co., Waltham, MA.

Chong, L. K. and Kamprath, C. K. (1996).
Machine translation and telecommunications system.
Patent no. 5497319.

Chouraqui, E. (1988).
Formal expression of time in a knowledge base.
In P. Smets, E. Mamdani, D. Dubois, and H. Prade, editors, Non-Standard Logics for Automated Reasoning, chapter 3, pages 81-103. Academic Press, London.

Chrisman, L. (1991).
Learning recursive distributed representations for holistic computation.
Technical report, School of Computer Science, Carnegie Mellon University, Pittsburgh.

Christiansen, M. H. (1992).
The (non)necessity of recursion in natural language processing.
In Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, pages 665-670. Boulder, Co.

Christiansen, M. H. and Chater, N. (1997).
Finite models of indefinite language: Can connectionism accommodate recursion?
Submitted manuscript.

Chu-Carroll, J. and Brown, M. K. (1997).
Tracking initiative in collaborative dialogue interactions.
In ACL-97.
cmp-lg/9704005.

Chu-Carroll, J. and Carberry, S. (1994).
A plan-based model for response generation in collaborative task-oriented dialogues.
In AAAI 94.

Chun, D. M. and Plass, J. L. (1997).
Research on text comprehension in multimedia environments.
Language Learning and Technology, 1, 60-81.

Church, K. and Patil, R. (1982).
Coping with syntactic ambiguity or how to put the block in the box on the table.
American Journal of Computational Linguistics, 8.

Church, K. W. (1983).
A finite-state parser for use in speech recognition.
In 21st Annual Meeting of the Association for Computational Linguistics, pages A Finite-State Parser for Use in Speech Recognition.

Church, K. W. and Hanks, P. (1989).
Word association norms, mutual information, and lexicography.
In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, pages Word Association Norms, Mutual Information, and Lexicography.

Churchland, P. M. (1981).
Eliminative materialism and the propositional attitudes.
Journal of Philosophy, 78.

Clark, E. V. and Clark, H. H. (1979).
When nouns surface as verbs.
Language, 55, 767-811.

Clark, H. H. (1983).
Making sense of nonce sense.
In G. F. d'Arcais and R. Jarvella, editors, The Process of Language Understanding, pages 297-331. John Wiley & Sons Ltd.

Clausen, L., Connelly, T., Cray, D., Hart, D., Robinson, S., and Sears, S. (1997).
Language speaking.
Time, 150, 52-58.
As telecommunications, tourism and trade make the world a smaller place, languages are dying at an alarming rate.

Clement, C. A. and Falmagne, R. J. (1986).
Logical reasoning, world knowledge, and mental imagery: Interconnections in cognitive processes.
Memory and Cognition, 14, 299-307.

Cohen, B. and Murphy, G. L. (1984).
Models of concepts.
Cognitive Science, 8, 27-58.

Cohen, F. S. (1929).
What is a question?
The Monist, 39, 350-364.

Cohen, P. R. and Levesque, H. J. (1987).
Rational interaction as the basis for communication.
Technical report, Stanford: Center for the Study of Language and Information.

Cohen, P. R. and Levesque, H. J. (1990).
Persistence, intention and commitment.
In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Commitment, chapter 3, pages 33-69. MIT Press.

Cohen, P. R., Levesque, H. J., Nunes, J. H. T., and Oviatt, S. I. (1991).
Task-oriented dialogue as a consequence of joint activity.
In 1991, editor, AI in the Pacific Rim, pages Task-Oriented Dialogue as a Consequence of Joint Activity.

Cohen, R. (1984).
A computational theory of the function of clue words in argument understanding.
In Tenth International Conference on Computational Linguistics, Stanford, page A Computational Theory of the Function of Clue Words in Argument Understanding.

Cole, M. and Bruner, J. S. (1971).
Cultural differences and inferences about psychological processes.
American Psychologist, 26, 867-876.

Collins, B. and Cunningham, P. (1995).
Adaptation-guided retrieval in ebmt: A case-based approach to machine translation.
In Proceedings of the 4th International Conference on the Cognitive Science of Natural Language Processing. Adaptation-Guided Retrieval in EBMT: A Case-Based Approach to Machine Translation.

Collins, B., Cunningham, P., and Veale, T. (1996).
An example-based approach to machine translation.
In Proceedings of the Second Conference of the Association for Machine Translation in the Americas, pages An Example-Based Approach to Machine Translation. An Example-Based Approach to Machine Translation.

Comon, H. and Jacquemard, F. (1993).
Ground reducibility and automata with disequality constraints.
In Symposium on Theoretical Aspects of Computer Science.
Topics: Term Rewriting, Formal languages and Automata, Logic in Computer Science.

Cook, W. and Palsberg, J. (1989).
A denotational semantics of inheritance and its correctness.
In The Fourth ACM Conference on Object-Oriented Programming: Systems, Languages and Applications, New Orleans.

Cooper, K. E. (1988a).
Word Order in Bare Infinitival Complement Constructions in Swiss German.
Master's thesis.

Cooper, R. (1986).
Tense and discourse location in situation semantics.
Linguistics and Philosophy, 9, 17-36.
D. Reidel Publishing Company.

Cooper, R. (1988b).
Facts in situation theory: Representation, psychology, or reality?
In R. M. Kempson, editor, Mental Representations, chapter 2, pages 49-61. CUP.

Cooper, R. (1988c).
The interpretation of simple sentences.
Chapter 1 of Introduction to Situation Semantics, unpublished draft.

Cooper, R. (1988d).
Parametric objects, proper names and compositionality.
Chapter 2 of Introduction to Situation Semantics, unpublished draft.

Cooper, R. (1989a).
Information and grammar.
Department of AI and Centre for Cognitive Science, University of Edinburgh.

Cooper, R. (1989b).
Information and grammar.
Technical report, University of Edinburgh.
Research Paper.

Cooper, R. (1993).
Integrating different information sources in linguistic interpretation.
In First International Conference on Linguistics at Chosun University, page Integrating Different Information Sources in Linguistic Interpretation.

Cooper, R. (1994).
Algebraic specification of core notions.
Centre for Cognitive Science, University of Edinburgh. Unpublished manuscript.

Cooper, R. (1996).
The role of situations in generalized quantifiers.
In S. Lappin, editor, Handbook of Contemporary Semantic Theory, pages 1-25. Blackwell.

Cooper, R. (1997).
Austinian propositions, davidsonian events and perception complements.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 3, pages 19-34. CSLI Publications.

Cooper, R. and Poesio, M. (1994).
Wp2: Situation theory.
Technical report, Centre for Cognitive Science, University of Edinburgh.
A Framework for Computational Semantics. Deliverable D8 - Draft.

Cooper, R., Lewin, I., and Black, A. W. (1993).
Prolog and natural language semantics: Notes for ai3/4 computational semantics.
Unpublished lecture notes.

Cooper, R., Crouch, R., van Eijck, J., Fox, C., van Genabith, J., Jaspars, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., and Consortium, S. P. T. F. (1996).
Evaluation of previous work.
Technical report, CWI Amsterdam, University of Edinburgh, Universität des Saarlandes, Universität Stuttgart, SRI Cambridge.
A Framework for Computational Semantics.

Copestake, A. and Briscoe, T. (1994).
Semi-productive polysemy and sense extension.
Journal of Semantics, In press, 15-67.

Copestake, A., Flickinger, D., Malouf, R., Riehemann, S., and Sag, I. (1994).
Transfer and minimal recursion semantics.
Unpublished manuscript.

Copestake, A., Flickinger, D., and Sag, I. A. (1997).
Minimal recursion semantics. an introduction.
at http://www.csli.stanford.edu/linguistics/sag/mrs.ps.gx.

Corballis, M. C. (1997).
Mental rotation and the right hemisphere.
Brain and Language, 57, 100-121.
Article No. BL971835.

Corblin (1997).
A semantic-pragmatic interface for modal subordination.
A previous version of this paper was presented at the LGB meeting in 1994.

Corblin, F. (1994).
A semantic-pragmatic interface for model subordination.
Draft.

Corblin, F. (1995).
Cases and relativization in discourse.
Unpublished manuscript.

Correa, N. (1987).
An attribute-grammar implementation of government-binding theory.
In Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics. An Attribute-Grammar Implementation of Government-Binding Theory.

Costello, F. and Keane, M. T. (1996).
Polysemy in conceptual combination: Testing the constraint theory of combination.
Technical report, Department of Computer Science, University of Dublin, Trinity College.
External Technical Report.

Cotton, W. T. (1980).
Scientizing the humanist.
Publishing information unknown.

Cowie, J. and Lehnert, W. (1996).
Information extraction.
Communications of the ACM, 39, 80-91.

Cowman, N. and Wood, N. L. (1997).
Constraints on awareness, attention, processing, and memory: Some recent investigations with ignored speech.
Consciousness and Cognitive, 6, 182-203.

Cox, L. H., McDonald, S.-K., and Nelson, D. (1986).
Confidentiality issues at the united states bureau of the census.
Journal of Official Statistics, 2, 135-160.

Crain, S. and Fodor, J. D. (1985).
How can grammars help parsers?
In D. Dowty, L. Karttunen, and D. Zwicky, editors, Language Processing: Psychological, Computational and Theoretical Perspectives., pages 94-127. Cambridge: Cambridge University Press.

Creary, L. G. and Pollard, C. J. (1985).
A computational semantics for natural language.
In Proceedings of the 23rd Annual Meeting of the Computational Linguistics, page A Computational Semantics for Natural Language.

Crespi-Reghizzi, S., Guida, G., and Mandrioli, D. (1978).
Noncounting context-free languages.
Journal for the Association for Computing Machinery, 25, 571-580.

Cresswell, M. J. and von Stechow, A. (1981).
De re belief generalized.
1-54.

Cripps, A. (1987).
Aspects of the inheritance problem.
MSc Thesis, Department of Computer Science, University of Victoria.

Cross, C. B. and Thomason, R. H. (1992).
Conditionals and knowledge-base update.
In P. Gärdenfors, editor, Cambridge Tracts in Theoretical Computer Science, pages 247-275. Cambridge University Press.

Culicover, P. W. (1984).
Learnability explanations and processing explanations.
Natural Language and Linguistic Theory, 2, 77-105.

Culy, C. (1985).
The complexity of the vocabulay of bambara.
Linguistics and Philosophy, 8, 345-381.

Cunningham, P., Smyth, B., and Veale, T. (1994).
On the limitations of memory based reasoning.
In Proceeding sof the 2nd European Workshop on Case-Based Reasoning, Chantilly France.

Curry, H. B. (1963a).
Foundations of Mathematical Logic, chapter 4-Relational Logical Algebra, pages 125-164.
New York: Mcgraw Hill.

Curry, H. B. (1963b).
Foundations of Mathematical Logic, chapter 5-The Theory of Implication, pages 165-253.
New York: McGraw Hill.

Cutler, A. and Norris, D. (1988).
The role of strong syllables in segmentation for lexical access.
Journal of Experimental Psychology, Human Perception and Performance, 14, 113-121.

Cutting, D., Pedersen, J., and Halvorsen, P.-K. (1991).
An object-oriented architecture or text retrieval.
In Proceedings of the Conference RIAO '91.

Cutting, D., Kupiec, J., Pedersen, J., and Sibun, P. (1992).
A practical part-of-speech tagger.
In Proceedings of the third Conference on Applied Natural Language Processing.

Daelemans, W. (1995).
Memory-based lexical acquisition and processing.
Springer Lecture Notes on AI - forthcoming.

Dahl, V. and Massicotte, P. (1988).
Meta-programming for discontinuous grammars.
In Proceedings of the Workshop on Meta-Programming in Logic Programming, pages Meta-Programming for Discontinuous Grammars.

Dahl, V. and Popowich, F. (1990).
Parsing and generation with static discontinuity grammars.
New Generation Computing, 8, 245-274.

Dahl, V., Tarau, P., Moreno, L., and Palomar, M. (1995).
Treating coordination with datalog grammars.
cmp-lg/9505006.

Daille, B., Gaussier, E., and Lange, J.-M. (1997).
An evaluation of statistical scores for word association.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 12, pages 179-188. CSLI Publications.

Dalrymple, M., Shieber, S. M., and Pereira, F. C. N. (1991).
Ellipsis and higher-order unification.
Linguistics and Philosophy, 14, 399-452.
This article is also available through the Computation and Language E-Print Archive as cmp-lg/9503008.

Dalrymple, M., Lamping, J., and Saraswat, V. (1993).
Lfg semantics via constraints.
In Sixth European Annual Meeting of Computational Linguistics, page LFG Semantics via Constraints.

Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V. (1994a).
A deductive account of quantification in lfg.
In M. Kanazawa, C. Pinon, and H. de Swart, editors, Quantifiers, Deduction, and Context, pages 33-58. CSLI Publications.
CSLI Lecture Notes.

Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V. (1994b).
Intensional verbs without type-raising or lexical ambiguity.
In Conference on Information-Oriented Approaches to Logic, Language and Computation.

Daneman, M. (1988).
How reading braille is both like and unlike reading print.
Memory & Cognition, 16, 497-504.

Dardis, D. and Laurent, D. (1992).
The effect of writing assignments on student achievement in introductory biology.
In Proceedings of the Louisiana Academy of Sciences, page The Effect of Writing Assignments on Student Achievement in Introductory Biology.
Key words: writing across the curriculum, academic performance, introductory biology.

Dastani, M. (1997).
An algebraic approach to similarity and categorization.
In Proceedings of "An Interdisciplinary Workshop on Similarity and Categorization".

Davey, B. A. and Priestly, H. A. (1990).
Introduction to Lattices and Order.
Book.

Davidson, D. (1984a).
Communication and convention.
In Inquiries into Truth and Interpretation, chapter 18, pages 265-287. Oxford: Claredon Press.

Davidson, D. (1984b).
The inscrutability of reference.
In Inquiries into Truth and Interpretation, chapter 16, pages 227-241. Oxford: Claredon Press.
Originally: The Southwestern Journal of Philosophy 10 (1979) 7-19.

Davidson, D. (1984c).
Reality without reference.
In Inquiries into Truth and Interpretation, chapter 15, pages 215-223. Oxford: Claredon Press.

Davis, A. (1996).
Lexical Semantics and Linking and the Hierarchical Lexicon.
Ph.D. thesis, Stanford University.

Dawar, A. and Vijay-Shankar, K. (1989).
A three-valued interpretation of negation in feature structure descriptions.
In ACL 27, pages A Three-Valued Interpretation of Negation in Feature Structure Descriptions.

Dawar, A. and Vijay-Shanker, K. (1990).
An interpretation of negation in feature structure descriptions.
Computational Linguistics, 16, 11-21.

Day, J. (1995).
Tripartite underspecified objects.
First draft.

de Bruin, J. and Scha, R. (1988).
The interpretation of relational nouns.
In Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, page The Interpretation of Relational Nouns.

de Lucs, G. (1993).
There are no meaningless sentences.
Technical report, Lund University.

de Michelis, G. and Ferigato, C. (1992).
The knowledge multiversum: A new foundation for knowledge representation.
Publishing information unknown.

de Michelis, G. and Grasso, M. A. (1994).
Situating conversations within the language/action perspective: The milan conversation model.
In The Conference CSCW, page Situating Conversations within the Language/Action Perspective: The Milan Conversation Model.
Keywords: Language/action perspective, conversation, work process, commitment.

de Swart, H. (1995a).
Negation: Scope and anaphora (comments on petr kubo$\hat{n}$'s paper).
Taken from Workshop Context Dependence in the Analysis of Linguistic Meaning Prague, February 11-15, 1995.

de Swart, H. (1995b).
The stage/individual distinction and specificity (comments on kai von fintel's paper).
Taken from Workshop Context Dependence in the Analysis of Linguistic Meaning Prague, February 11-15, 1995.

de Swart, H. (1995c).
Topics, presuppositions and anaphora (comments on tanya reinhart's paper).
Taken from Workshop Context Dependence in the Analysis of Linguistic Meaning Prague, February 11-15, 1995.

Dee-Lucas, D. and Larkin, J. H. (1988).
Attentional strategies for studying scientific texts.
Memory and Cognition, 16, 469-479.

DeJong, G. F. and Waltz, D. L. (1983).
Understanding novel language.
Computers and Mathematics with Applications, 9, 131-147.

Dekker, P. (1993).
Existential disclosure.
Linguistics and Philosophy, 16, 561-587.

Dekker, P. (1995).
On context and identity.
In Workshop on Content Dependence in the Analysis of Linguistic Meaning.
Prague/Stuttgart.

Dekker, P. (1997a).
On denoting descriptions.
In 1997, editor, Proceedings of the Groningen workshop of definites.

Dekker, P. (1997b).
On first order information exchange.
In 1997, editor, Proceedings of Mundial 97, The Workshop on the Formal Semantics and Pragmatics of Dialogue, page On First Order Information Exchange.

Delgrande, J. P. (1988).
An approach to default reasoning based on a first-order conditional logic: Revised report.
Artificial Intelligence, 36, 63-90.

Delgrande, J. P. (1990).
A semantics for a class of inheritance networks.
In Proceedings of the 8th Biennial Conference of the Canadian Society for Computational Studies of Intelligence. A Semantics for a Class of Inheritance Networks.

den Haan, N. and Breuker, J. (1996).
Constructing normative rules.
In 1996, editor, Proceedings of the Conference Legal Knowledge Based Systems Jurix '96, page Constructing Normative Rules. Constructing Normative Rules.

Dennett, D. C. (1982).
Why we think what we do about why we think what we do: Discussion on goodman's "on thoughts without words".
Cognition, 12, 219-227.

Derzhanski, I. A. (1995).
Groups and Eventualities: A Theory of Aspectuality.
Ph.D. thesis, University of Edinburgh.

Devitt, A. (1996).
Anaphoric Reference in DRT: An Implementation.
Master's thesis.

Devlin, K. (1992).
Mathematical functions and definite descriptions.
Draft.

Dewey, J. (1894).
The psychology of infant language.
Psychological Review, 1, 63-66.
Shorter Contributions.

Dewey, J. (1896).
The reflex arc concept in psychology.
The Psychological Review, III, 357-370.

Dey, P. and Reilly, K. D. (1987).
English as a high level programming language.
University of Alabama at Birmingham.

Dik, S. C. (1987).
Generating answers from a linguistically coded knowledge base.
In G. Kempen, editor, Natural Language Generation, chapter 19, pages 301-314. Martinus Nijhoff, Dordrecht.

Dimopoulos, Y. (1992).
On the semantics of inheritance networks.
Journal of Experimental and Theoretical Artificial Intelligence, 4, 19-28.

Divitini, M. and Simone, C. (1994a).
Adaptivity in a system supporting cooperation.
In 1994, editor, Fourth International Conference on User Modeling, page Adaptivity in a System Supporting Cooperation.
Hyannis, MA, USA.

Divitini, M. and Simone, C. (1994b).
A prototype for providing users with the contexts of cooperation.
In 1994, editor, ECCE7, page A Prototype for Providing Users with the Contexts of Cooperation.
Bonn, Germany.

Divitini, M., Simone, C., and Tinini, R. (1993).
Representing inconsistent and dynamic knowledge for supporting communication within cooperative groups.
In Third International Colloquium on Cognitive Science.
San Sebastian, Spain.

Dobrovie-Sorin, C. (1991).
Clitic placement and the rule of verb preposing.
In H. van Riemsdijk and L. Rizzi, editors, Clitics and Their Hosts, Theme group 8: Clitics, chapter 2, pages 65-97. ESF-Eurotype.
Coordination: Department of Language and Literature, Tilburg University.

Dodge, C. and Bahn, C. R. (1986).
Computer and music - musical fractals.
Byte, 11, 185-196.

Doi, A., Kashioka, H., Hirai, M., and Kitahashi, T. (1991).
A dialogue analyzing method using a dialogue model.
In 1991, editor, AI in the Pacific Rim, page A Dialogue Analyzing Method Using a Dialogue Model.

Dols, F. and van Horck, A. (1991).
Dynamic input structures and parsing discontinuous constituencies.
Unpublished manuscript. ITK, Tilburg University.

Dörre, J. and Eiscle, A. (1989).
Determining consistency of feature terms with distributed disjunctions.
In German Workshop on Artificial Intelligence, page Determining Consistency of Feature Terms with Distributed Disjunctions.

Douglas, S. (1991).
Modelling semantic co-ordination in dialogue.
In Proceedings of the Association for Computational Linguistics, pages Modelling Semantic Co-ordination in Dialogue.

Douglas, S. (1994).
Representing dialogue conventions.
Unpublished Manuscript. University of Edinburgh.

Douglas, S. and Dale, R. (1992).
Towards robust PATR.
In Proceedings of COLING 92: 14th International Conference on Computational Linguistics, page Towards robust PATR.

Dowty, D. (1986).
On the semantic content of the notion of `thematic role'.
In Conference on Property Theory, Type Theory and Semantics.

Dowty, D. (1988).
Thematic proto roles, subject selection, and lexical semantic defaults.
In 1987 LSA Colloquium Paper, pages Thematic Proto Roles, Subject Selection, and Lexical Semantic Defaults.
Preliminary Draft.

Dowty, D. (1992).
Variable-free syntax, variable-binding syntax, the natural deduction lambek calculus, and the crossover constraint.
In Proceedings of the 11th West Coast Conference on Formal Linguistics, pages Variable-Free Syntax, Variable-Binding Syntax, the Natural Deduction Lambek Calculus, and the Crossover Constraint.

Dowty, D. (1994).
The role of negative polarity and concord marking in natural language reasoning.
In Semantics and Linguistic Theory IV, page The Role of Negative Polarity and Concord Marking in Natural Language Reasoning.

Dowty, D. (1996).
The garden swarms with bees and the fallacy of `argument alternation'.
Ohio State University.

Dowty, D. (1997).
Non-constituent coordination, wrapping, and multimodal categorial grammars.
In M. L. D. Chiara, D. Kees, and D. Mundici, editors, Structures and Norms in Science. Kluwer Academic Publishers.
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science.

Dreyfus, H. L. (1981).
From micro-worlds to knowledge representation: Al at an impasse.
In Mind Design, chapter 6, pages 161-204. BRADFORD.

Dubois, D. and Prade, H. (1988).
Appendix c: Logic and probability.
In E. H. Mamdani, P. Smets, D. Dubois, and H. Prade, editors, Non-Standard Logics for Automated Reasoning, pages 23-25. Academic Press.

Dunning, T. (1994).
Statistical identification of language.
Computing Research Laboratory, New Mexico State University.

Dyer, D. L. (1992).
Word Order in the Simple Bulgarian Sentence.
Book.

Dymetman, M. (1997).
Charts, interaction-free grammars, and the compact representation of ambiguity.
To be published in the Proceedings of the International Joint Conference on Artificial Intelligence.

Dymetman, M. (1998).
Group theory and grammatical description.
Technical report, Xerox Research Centre Europe, 38240 Meylan, France.

Earley, J. (1970).
An efficient context-free parsing algorithm.
Communications of the ACM, 13, 94-102.

Ebbinghaus, H. D. (1985).
Extended logics: The general framework.
In K. J. Barwise and S. Feferman., editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 2, pages 25-67. Springer-Verlag.
Part A - Introduction, Basic Theory and Examples.

Eberhard, K. M. (1997).
The marked effect of number on subject-verb agreement.
Journal of Memory and Language, 36, 147-164.
Article N. ML962484.

Eberle, K. (1995).
Zu einer semantik für dialogverstehen und übersetzung.
Institut für Mascimelle Sprachverarbeitung, Universität Stuttgart.

Eberle, K. and Vogel, C. (1997).
Constructing compact representations of ambiguous language.
In Proceedings of Recent Advances in Natural Language Processing (RANL '97), page Constructing Compact Representations of Ambiguous Language.

Eckardt, R. (1995).
Two questions in the interpretation of focus.
1-11.

Edmonds, P. G. (1994).
Collaboration on reference to objects that are not mutually known.
In COLING 94.

Eisele, A. (1994).
Towards probabilistic extensions of constraint-based grammars.
Draft.

Eiselt, K. P., Mahesh, K., and Holbrook, J. K. (1993).
Having your cake and eating it too: Autonomy and interaction in a model of sentence processing.
In Proceedings of the Eleventh National Conference on Artificial Intelligence, page Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing.

Eisner, J. M. (1997a).
An empirical comparison of probability models for dependency grammar.
Technical report, Institute for Research in Cognitive Science, University of Pennsylvania.
cmp-lg/9706004.

Eisner, J. M. (1997b).
Three new probabilistic models for dependency parsing: An exploration.
In Proceedings of the 16th International Conference on Computational Linguistics (COLING-96), Copenhagen, August 1996, page Three New Probabilistic Models for Dependency Parsing: An Exploration.
cmp-lg/9706003.

Elio, R. and Pelletier, F. J. (1993).
Human benchmarks on AI's benchmark problems.
In Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society, pages 406-411. June 18-21, 1993. Boulder, Colorado.

Elio, R. and Pelletier, F. J. (1994).
The effect of syntactic form on simple belief revisions and updates.
In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, pages 260-5. Atlanta, Georgia.

Elio, R. and Pelletier, F. J. (1995).
A study of belief update theories.
University of Alberta, Canada.

Ellis, N. C. and Sinclair, S. G. (1996).
Working memory in the acquisition of vocabulary and syntax: Putting language in good order.
The Quarterly Journal of Experimental Psychology, 49A, 234-250.

Elman, J. L. and McClelland, J. L. (1998).
Cognitive pentration of the mechanisms of perception: Compensation for coarticulation of lexically restored phonemes.
Journal of Memory and Language, 27, 143-165.

Emerson, E. A. and Halpern, J. Y. (1986).
"sometimes" and "not never" revisited: On branching versus linear time temporal logic.
Journal of the Association for Computing Machinery, 33, 151-178.

Engdahl, E. (1983).
Parasitic gaps.
Linguistics and Philosophy, 6, 5-34.
D. Reidel Publishing Co.

Engdahl, E. (1986).
Constituent Questions: The Syntax and Semantics of Questions with Special Reference to Swedish, chapter 6 - Restricting the Interpretation of Pronouns, pages 284-293.
Studies in Linguistics and Philosophy. D. Reidel Publishing Co.

Engdahl, E. (1988).
Relational interpretation.
In R. Kempson, editor, Mental Representations: The Interface between Language and Reality, pages 63-82. Cambridge University Press.

Engdahl, E. and Vallduvi, E. (1995).
Information packaging in hpsg.
In Proceeding of the 2nd Meeting of the Israeli Association for Theoretical Linguistics, page Information Packaging in HPSG.

Erbach, G. (1994a).
Multi-dimensional inheritance.
Technical report, Universität des Saarlandes, Computational Linguistics.

Erbach, G. (1994b).
Profit: Prolog with features, inheritance and templates.
Technical report, Universität des Saarlandes, Computational Linguistics.

Erbach, G., van der Kraan, M., Manandhar, S., Ruessink, H., Skut, W., and Thiersch, C. (1995).
Extending unification formalisms.
Technical report, CLAUS.

Ericson, L. and O'Dunlaing, C. (1990).
Enumeration of tree properties by naive methods.
Algorithms Review, 1, 119-124.

Erjavec, T. (1994a).
Finite-state phonology in ale.
Technical report, Centre for Cognitive Science, University of Edinburgh.

Erjavec, T. (1994b).
Restricted discontinuous phrase structure grammar and its ramifications.
In C. Martin-Vide, editor, Current Issues in Mathematical Linguistics. The Netherlands: Elsevier Science Publishers.

Erjavec, T. (1996).
Treatments of Slovene Verb Morphology in Inheritance Models.
Master's thesis.

Erjavec, T. and Kodirc, S. (1994).
Clitization in head-driven phrase structure grammar: The case of the tense auxiliary in slovene.
Unpublished manuscript.

Erjavec, T. and Plaß, T. (1991).
The syntactic analysis of instructional texts.
Unpublished Manuscript.

Estival, D. and Gayral, F. (1995).
A study of the context(s) in a specific type of texts: Car accident reports.
In Proceedings of the Workshop on Context in Natural Language Processing, IJCAI'95, Montreal.
cmp-lg/9506013.

Etchemendy, J. (1988).
Models, semantics and logical truth.
Linguistics and Philosophy, 11, 91-106.

Etherington, D. W. (1987a).
Relating default logic and circumscription.
In Proceedings of the 10th International Joint Conference on Artificial Intelligence, page Relating Default Logic and Circumscription.

Etherington, D. W. (1987b).
A semantics for default logic.
In Proceedings of the 10th International Joint Conference on Artificial Intelligence, page A Semantics for Default Logic.

Evans, J., Newstead, S., and Byrne, R. (1993).
Human Reasoning: The Pschycology of Deduction, chapter Relational Inferences, pages 163-209.
Hore, UK: Erlbaum.

Evans, J. S. B., Clibbens, J., and Rood, B. (1996).
The role of implicit and explicit negation in conditional reasoning bias.
Journal of Memory and Language, 35, 392-409.
Article No. 0022.

Evans, J. S. B. T. (1982).
On statistical intuitions and inferential rules: A discussion of kahneman and tyersky.
Cognition, 12, 319-323.

Evans, J. S. B. T. (1983).
Linguistic determinants of bias in conditional reasoning.
Quarterly Journal of Experimental Psychology, 35A, 635-644.

Evans, R. and Gazdar, G. (1989).
Inference in datr.
In Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics, page Inference in DATR. Inference in DATR.

Evans, R. and Gazdar, G. (1995).
Datr: A language for lexical knowledge representation.
To appear in Computational Linguistics.

Evans, R., Gazdar, G., and Moser, L. (1991).
Prioritised multiple inheritance in datr.
Computational Linguistics, 22, 167-216.

Evans, R., Gazdar, G., and Weir, D. (1994).
Using default inheritance to describe ltag.
In 3e Colleque International sur les Grammaires d'Arbres Adjoints.

Fagin, R. and Halpern, J. Y. (1988).
Belief, awareness and limited reasoning.
Artificial Intelligence, 34, 39-76.

Falkenhainer, B. and Rajamoney, S. (1988).
The interdependencies of theory formation, revision, and experimentation.
To appear in the 5th International Conference on Machine Learning.

Farris, H. H. and Revlin, R. (1989).
Sensible reasoning in two tasks: Rule discovery and hypothesis evaluation.
Memory and Cognition, 17, 221-232.

Fass, D. (1989).
Met*: A method for discriminating metonymy and metaphor by computer.
Technical report, Simon Fraser University, Canada.

Fass, D. (1991).
Met*: A method for discriminating metonymy and metaphor by computer.
Computational Linguistics, 17, 49-90.

Fass, D. and Hall, G. (1990).
A belief-based view of ill-formed input.
Technical report, Simon Fraser University, Canada.
to appear at Computational Intelligence 90, Milan, Italy.

Fass, D. and Wilks, Y. (1983).
Preference semantics, ill-formedness, and metaphor.
American Journal of Computational Linguistics, 9, 178-187.

Fass, D., Hall, G., Laurens, O., McFetridge, P., Popowich, F., and von Rüden, M. (1995).
A distributed intelligent information system for ad hoc knowledge discovery in databases.
Technical report, School of Computing Science and Department of Linguistics, Simon Fraser University.

Fauconnier, G. (1997a).
Mappings in Thought and Language, chapter Mental-Space Connections, pages 34-71.
Cambridge University Press.

Fauconnier, G. (1997b).
Mappings in Thought and Language, chapter Mental-Space Connections, pages 34-71.
Cambridge University Press.

Fauconnier, G. (1997c).
Mappings in Thought and Language, chapter Mental-Space Connections, pages 34-71.
Cambridge University Press.

Fawcett, R. P. (1988).
Language generation as choice in social interaction.
In M. Zock and G. Sabah, editors, Advances in Natural Language Generation: An Interdisciplinary Perspective, Volume II, pages 27-49. London: Pinter Publishers.

Fawcett, R. P., Tucker, G. H., and Lin, Y. (1992).
The communal project: How to get from semantics to syntax.
In Proceedings of COLING 92: 14th International Conference on Computational Linguistics. The Communal Project: How to Get from Semantics to Syntax.
Project Note.

Fenstad, J. E., Halvorsen, P.-K., Langholm, T., and van Benthem, J. (1985).
Equations, schemata and situations: A framework for linguistic semantics.
Technical report, CSLI at Xerox Palo Alto Research Center.

Ferguson, R. (1988).
Parsing business cards with an extended logic grammar.
This report is the result of research done at CCRIT under the direction of Joel Muzard.

Fernando, T. (1992).
Provably recursive programs.
Technical report, Amsterdam, The Netherlands.

Fernando, T. (1993).
Generalized quantifiers as second-order programs - "dynamically" speaking, naturally.
In Proceedings of the 9th Amsterdam Colloquium, pages Generalized Quantifiers as Second-Order Programs - "Dynamically" Speaking, Naturally.

Fernando, T. (1995a).
Are context change potentials functions?
Draft.

Fernando, T. (1995b).
Between defeasibility and generic material implication.
Draft.

Fernando, T. (1995c).
Defeasibility and genericity.
Draft.

Fernando, T. (1996a).
Analyzing ambiguity within dynamic semantics.
Unpublished Draft.

Fernando, T. (1996b).
Defeasible generic types.
IMS, Stuttgart.

Fernando, T. (1996c).
Labeling representations for effective disambiguation.
Draft.

Ferreira, V. S. (1996).
Is it better to give than to donate? syntactic flexibility in language production.
Journal of Memory and Language, 35, 724-755.
Article No. 0038.

Ferry, A. (1994).
Topological Characterizations for Logic Programming Semantics.
Ph.D. thesis, University of Michigan.
A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics).

Ferry, A. (1995).
A topological characterization of the stable and minimal model classes of propositional logic programs.
Annals of Mathematics and Artificial Intelligence, 15, 325-355.

Field, H. (1972).
Tarski's theory of truth.
The Journal of Philosophy, LXIX, 347-375.

Finch, S. P. (1983).
Finding Structure in Language.
Ph.D. thesis, University of Edinburgh.
Completed for Centre of Cognitive Science.

Flickinger, D., Pollard, C., and Wasow, T. (1985).
Structure-sharing in lexical representation.
In Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics. Structure-Sharing in Lexical Representation.

Flum, J. (1985).
Characterizing logics.
In K. J. Barwise and S. Feferman., editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 3, pages 73-120. Springer-Verlag.

Fodor, J. A. (1978a).
The Language of Thought, chapter 2 - Private Language, Public Languages, pages 55-97.
Harvester.

Fodor, J. A. (1978b).
Tom swift and his procedural grandmother.
Cognition, 6, 204-224.

Fodor, J. A. (1985).
Précis of the modularity of mind.
The Behavioral and Brain Sciences, 8, 1-41.

Fodor, J. D. (1989).
Empty categories in sentence processing.
Language and Cognitive Processes, 4, 155-209.

Fomichov, V. A. (1993).
Towards a mathematical theory of natural-language communication.
Informatica, 17, 21-34.

Fong, G. T., Krantz, D. H., and Nisbett, R. E. (1986).
The effects of statistical training on thinking about everyday problems.
Cognitive Psychology, 18, 253-292.

Foster, J. (1997).
Introduction to a theory of focus.
Translation of the report "Augenbewegung, Fokus und Referenz".

Fox, C. (1994).
Natural language semantics in property theory.
Draft.

Framis, F. R. (1994).
An experiment on learning appropriate selectional restrictions from a parsed corpus.
In COLING94, page An Experiment on Learning Appropriate Selectional Restrictions from a Parsed Corpus.

Frank, A. (1994).
Verb second by lexical rule or by underspecification.
Technical report, University of Stuttgart.
SFB-340.

Frank, A. and Reyle, U. (1995).
Principle based semantics for hpsg.
In Proceedings of the Seventh Conference of the European Chapter of the Association for Computational Linguistics, page Principle Based Semantics for HPSG. Principle Based Semantics for HPSG.

Frank, R. (1997).
Structural complexity and the time course of grammatical development.
Department of Cognitive Science, The Johns Hopkins University.

Franks, B. and Braisby, N. (1990).
Sense generation or how to make the mental lexicon flexible.
Technical report, EUCCSRP.

Frauenfelder, U. H. (1990).
Lexical segmentation in trace: An excercise in simulation.
In G. T. M. Altman, editor, Cognitive models of speech processing: Psycholinguistics and Computational Perspectives, pages 50-86. MIT Press, Cambridge, MA.

Frederking, R., Rudnicky, A., and Hogan, C. (1997).
Interactive speech translation in the diplomat project.
In 1997, editor, Spoken Language Translation, page Interactive Speech Translation in the DIPLOMAT Project.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Friedmann, N. and Grodzinsky, Y. (1997).
Tense and agreement in agrammatic production: Pruning the syntactic tree.
Brain and Language, 56, 397-425.
Article No. BL971795.

Frisch, A. M. (1989).
A general framework for sorted deduction: Fundamental results on hybrid reasoning.
In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.

Froidevaux, C. and Grossetete, C. (1990).
Graded default theories.
Publishing information unavailable.

Frost, R. and Launchbury, J. (1989).
Constructing natural language interpretations in a lazy functional language.
The Computer Journal, 32, 108-121.

Fucks, W. (1955).
Mathematical theory of word formation.
In Information Theory, page Mathematical Theory of Word Formation.
Papers read at a Symposium on ``Information Theory" held at the Royal Institution, London, September 12th to 26th 1955.

Fujinami, T. (1993a).
Classifications in linguistic channels.
November 15th 1993.

Fujinami, T. (1993b).
An implementation of channel theory.
Centre for Cognitive Science, University of Edinburgh.

Fujinami, T. (1993c).
Noun phrase usage in japanese dialog.
Unpublished manuscript, Center for Cognitive Science, University of Edinburgh.

Fujinami, T. (1993d).
A Semantics of Utterances: On the Meaning of a Japanese Phrase Final Particle tte.
Master's thesis.
October, 1993.

Fujinami, T. (1995a).
A channel theoretic approach to the syntax/semantics interface.
Centre for Cognitive Science, University of Edinburgh.

Fujinami, T. (1995b).
A Process Algebraic Approach to Computational Linguistics.
Ph.D. thesis, University of Edinburgh.
A thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy.

Fujinami, T. (1997).
Combining situated reasoning with semantic transfer minimally.
In 1997, editor, Spoken Language Translation, page Combining Situated Reasoning with Semantic Transfer Minimally.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Fung, P., Shi, B., Wu, D., Bun, L. W., and Kong, W. S. (1997).
Dealing with multilinguality in a spoken language query translator.
In 1997, editor, Spoken Language Translation, page Dealing with Multilinguality in a Spoken Language Query Translator.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Futjii, A. (1998).
Corpus-Based Word Sense Disambiguation.
Ph.D. thesis, Tokyo Institute of Technology.

Gabbay, D. (1992).
Labelled deductive systems and situation theory.
Department of Computing, Imperial College, London.

Gabbay, D. and Kempson, R. (1991).
Labelled abduction and relevance reasoning.
Presented at the Workshop on Nonstandard Queries and Nonstandard Answers, Toulouse.

Gabbay, D. M. (1972a).
A general filtration method for modal logics.
Journal of Philosophical Logic, 1, 29-34.

Gabbay, D. M. (1972b).
Tense systems with discrete moments of time, part i.
Journal of Philosophical Logic, 1, 35-44.

Gabbay, D. M. and Hodkinson, I. M. (1989).
Axiomatizing the temporal logic with until and since over the real numbers.
Department of Computing, Imperial College, London.

Galton, F. (1894).
Arithmetic by smell.
Psychological Review, 1, 61-62.
Shorter Contributions.

Gammack, J. G. (1987).
Different techniques and different aspects on declarative knowledge.
In A. L. Kidd, editor, Knowledge Acquisition for Expert Systems and Practical Handbook, chapter 7, pages 137-163. Plenom Press: New York.

Gärdenfors, P. (1975).
Qualitative probability as an intensional logic.
Journal of Philosophical Logic, 4, 171-185.

Gärdenfors, P. (1990a).
Conceptual spaces as a basis for cognitive semantics.
In A. Clark, editor, Philosophy and Cognitive Science, pages 159-180. Kluwer, Dordrecht.

Gärdenfors, P. (1990b).
Induction, conceptual spaces and ai.
Philosophy of Science, 57, 78-95.

Gärdenfors, P. (1993).
The emergence of meaning.
Linguistics and Philosophy, 16, 285-309.

Gardenfors, P. (1997).
Conceptual spaces.
draft version.

Gardent, C. (1995).
Generating with discourse grammar.
In Proceedings of the Fifth International Workshop on Natural Language Understanding and Logic Programming, Lisbon, Portugal.
Keywords: generation, discourse, pragmatics.

Gardent, C., Kohlhase, M., and van Leusen, N. (1996).
Corrections and higher-order unification.
In Natural Language Processing and Speech Technology. Mouton ge Gruyter.
Results of the 3rd KONVENS Conference, Bielefeld.

Garner, E. and Heinz, W. (1991).
On the representation of speech acts in situation semantics.
Technical report, Austrian Research Institute for Artificial Intelligence.

Garner, E. J. (1991).
A model for the representation of speech acts.
Technical report, Austrian Research Institute for Artificial Intelligence.

Garnham, A., Traxler, M., Oakhill, J., and Gernsbacher, M. A. (1996).
The locus of implicit causality effects in comprehension.
Journal of Memory and Language, 35, 517-543.
Article No. 0028.

Gazdar, G. (1982).
Phrase structure grammar.
In P. Jacobson and G. Pullum, editors, The Nature of Syntactic Representation, pages 131-86. D. Reidel Publishing Company.

Gazdar, G. (1985).
Applicability of indexed grammars to natural languages.
Technical report, Center for the Study of Language and Information, Leland Stanford Junior University.

Gazdar, G. and Pullum, G. K. (1985).
Computationally relevant properties of natural languages and their grammars.
Technical report, Center for the Study of Language and Information, Leland Stanford Junior University.

Gearailt, D. N. and Byrne, J. G. (1997).
Error detection in several languages for an ocr-generated multilingual database.
In Third International Workshop on Applications of Natural Language to Information Systems (NLDB '97).
Harbour Centre Campus of Simon Fraser University, Vancouver, B. C., Canada.

Genthial, D., Courtin, J., and Ménézo, J. (1994).
Towards a more user-friendly correction.
In COLING94, pages Towards a More User-Friendly Correction.
Kyoto, Japan.

Gerdemann (1992).
Natural language generation.
In Seminar für Sprachwissenschaft der Universität Tübingen, page Natural Language Generation.

Gerdemann, D. (1994).
Parsing as tree traversal.
Seminar für Sprachwissenschaft, Universität Tübingen.

Gerdemann, D. and King, P. J. (1994a).
The correct and efficient implementation of appropriateness specifications for typed feature structures.
In Proceedings of the Conference COLING '94, page The Correct and Efficient Implementation of Appropriateness Specifications for Typed Feature Structures.

Gerdemann, D. and King, P. J. (1994b).
The correct and efficient implementation of appropriateness specifications for typed feature structures.
In COLING 94.
cmp-lg/9408001.

Gerrig, R. J. (1989).
The time course of sense creation.
Memory & Cognition, 17, 194-207.

Ghose, A. K. and Goebel, R. (1992).
Default reasoning as belief change: A rationale.
In Proceedings of the Second Pacific Rim Internationl Conference on Artificial Intelligence, page Default Reasoning as Belief Change: A Rationale.
Seoul, Korea.

Gilboy, E., Sopena, J.-M., Clifton Jr., C., and Frazier, L. (1995).
Argument structure and association preferences in spanish and english complex nps.
Cognition, 54, 131-167.

Ginzburg, J. (1995a).
Resolving questions, i.
Linguistics and Philosophy, 18, 459-527.

Ginzburg, J. (1995b).
Resolving questions, ii.
Linguistics and Philosophy, 18, 567-609.

Ginzburg, J. (1997).
Interrogatives: Questions, facts and dialogue.
In press.

Ginzburg, J. and Sag, I. A. (1998).
English interrogative constructions.
Draft of February, 1998.

Ginzburg, J., Khasidashvili, Z., and Vallduvi, E. (1995).
Tbilisi symposium on language, logic and computation.
Technical report, Gudauri, Georgia.

Girard, J.-Y. (1988).
Geometry of interaction.
Paris.

Glasbey, S. (1994).
Towards a channel-theoretic account of the progressive.
In 1994, editor, Proceedings of Conference on Information Oriented Approaches to LLC.

Glasbey, S. (1996).
The progressive: A channel-theoretic analysis.
Submitted to Journal of Semantics January 1996.

Glasbey, S. (1997).
A situation-theoretic interpretation of bare plurals.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 4, pages 35-55. CSLI Publications.

Glasbey, S. R. (1992).
Distinguishing between events and times: Some evidence from the semantics of `then'.
Natural Language Semantics, 1, 285-312.

Glucksberg, S., McGlone, M. S., and Manfredi, D. (1997).
Property attribution in metaphor comprehension.
Journal of Memory and Language, 36, 50-67.
Article No. ML962479.

Godbert, E. and Milhaud, G. (1997).
Computing incoherence of sentences from a logical representation of their semantics.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 13, pages 189-201. CSLI Publications.

Goguen, J. A. (1988).
What is unification? a categorical view of substitution, equation and solution.
In CSLI, pages What is Unification? A Categorical View of Substitution, Equation and Solution.

Goldwasser, E. P. and Goldwasser, D. (1988).
Method of creating text using a computer.
RE32773.

Gonnerman, L. M., Andersen, E. S., Devlin, J. T., Kempler, D., and Seidenberg, M. S. (1997).
Double dissociation of semantic categories in alzheimer's disease.
Brain and Language, 57, 254-279.
Article No. BL971752.

Gonsalez-Bueno, M. (1998).
The effects of electronic mail on spanish l2 discourse.
Language Learning and Technology, 1, 50-65.

Goodman, N. (1982).
On thought without words.
Cognition, 12, 211-217.

Goodwin, S. D. and Trudel, A. (1991).
Persistence in continuous first order temporal logics.
International Journal of Expert Systems, 3, 249-265.

Goodwin, S. D., Neufeld, E., and Trudel, A. (1994).
Probabilistic temporal representation and reasoning.
International Journal of Expert Systems, 7, 261-288.

Gosse, B., Malouf, R., and Sag, I. (1997).
Satisfying constraints on extraction and adjunction.
draft.

Granger, R. H. (1983).
The nomad system: Expectation-based detection and correction of errors during understanding of syntactically and semantically ill-formed text.
American Journal of Computational Linguistics, 9, 188-196.

Granger, S. and Rayson, P. (1998).
Learner English on Computer, chapter 9 :Automatic Profiling of Learner Texts, pages 119-131.
Addison Wesley Longman, 1st edition.

Gray, K. C. and E.Smith, E. (1995).
The role of instance retrieval in understanding complex concepts.
Memory and Cognition, 23, 665-674.

Green, G. M. (1997).
Modelling grammar growth.
The first part of this paper condenses and refines material first presented in Copenhagen in 1994; the second half expands it with a constraint-based account of the acquisition of questions.

Greenberg, S. N. and Krueger, L. E. (1983).
Effect of letter orientation and sequential redundancy on the speed of a letter search.
Memory & Cognition, 11, 181-191.

Greiner, R. and Elkan, C. (1991).
Measuring and improving the effectiveness of representations.
In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI91), page Measuring and Improving the Effectiveness of Representations.

Grimshaw, J. and Rosen, S. T. (1990).
Knowledge and obedience: The developmental status of the binding theory.
Linguistic Inquiry, 21(2), 187-222.

Grishman, R. and Chitrao, M. (1988).
Evaluation of a parallel chart parser.
In Second Conference of the Association of Computational Linguistics on Applied NLP, page Evaluation of a Parallel Chart Parser.

Grishman, R. and Peng, P. (1988).
Responding to semantically ill-formed input.
In Second Conference of the Association of Computational Linguistics on Applied NLP, pages Responding to Semantically Ill-Formed Input.

Groenendijk, J., Stokhof, M., and Veltman, F. (1995a).
Coreference and modality.
Technical report, ILLC/Department of Philosophy, University of Amsterdam.

Groenendijk, J., Stokhof, M., and Veltman, F. (1995b).
Coreference and modality in the context of multi-speaker discourse.
ILLC/Department of Philosophy, University of Amsterdam.

Gross, J. L. and Tucker, T. W. (1989).
Stratified graphs.
Technical report, Columbia University, New York.

Gross, J. L., Klein, E. W., and Rieper, R. G. (1989).
On the average genus of a graph.
Technical report, Columbia University, New York.

Grover, C. (1996).
Parasitic gaps and coordination in hpsg.
Edinburgh Working Papers in Cognitive Science, 12, 33-69.

Grover, C., Brew, C., Manandhar, S., and Moens, M. (1994).
Priority union and generalization in discourse grammars.
In Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics.

Grover, D. L., Camp Jr., J. L., and Belnap Jr., N. D. (1975).
A prosentential theory of truth.
Philosophical Studies, 27, 73-125.

Groves, R. M. and Fultz, N. H. (1985).
Gender effects among telephone interviewers in a survey of economic attitudes.
Sociological Methods and Research, 14, 31-52.

Groves, R. M. and Nicholls, W. L. (1986).
The status of computer-assisted telephone interviewing: Part ii - data quality issues.
Journal of Official Statistics, 2, 117-134.

Guerrini, S. (1997).
Sharing-graphs, sharing-morphisms and (optimal) $\lambda -$graph reductions.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 22, pages 317-332. CSLI Publications.

Guha, R. V. and Lenat, D. B. (1990).
Cyc: A midterm report.
AI Magazine, 11, 32-59.

Güngördü, Z. (1996).
Turkish relative clauses in hpsg.
In 1996, editor, Edinburgh Working Papers in Cognitive Science, page Turkish Relative Clauses in HPSG.

Güngördü, Z. and Oflazer, K. (1994).
Parsing turkish using the lexical functional grammar formalism.
In COLING94, page Parsing Turkish Using the Lexical Functional Grammar Formalism.

Gurevich, Y. (1985).
Monadic second-order theories.
In K. J. Barwise and S. Feferman., editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 8, pages 479-501. Springer-Verlag.

Guthrie, L., Pustejovsky, J., Wilks, Y., and Slator, B. M. (1996).
The role of lexicons in natural language processing.
Communications of the ACM, 39, 63-72.

Haas, A. (1989a).
A generalization of the offline parsable grammars.
In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, page A Generalization of the Offline Parsable Grammars.

Haas, A. (1989b).
A parsing algorithm for unification grammar.
Computational Linguistics, 15, 219-232.

Hackett, A. H. (1997).
Metaphoricity and Computational Semantics.
Master's thesis.

Hadley, R. F. (1987).
Gödel, Lucas, and mechanical models of the mind.
CI, 3, 57-63.

Hadley, R. F. (1989).
A default-oriented theory of procedural semantics.
Cognitive Science, 13, 107-37.

Hadley, R. F. (1992).
Compositionality and systematicity in connectionist language learning.
Technical report, Simon Fraser University, Canada.

Hahn, U. and Strube, M. (1997).
Centering in-the-large: Computing referential discourse segments.
In Proceedings of ACL 97/EACL97.
cmp-lg/9704014.

Hall-Partee, B. (1979).
Semantics - mathematics or psychology?
In R. Bäuerle, U. Egli, and A. von Stechow, editors, Semantics From Different Points of View: Proceedings of the Konstanz Colloquium on Semantics. Sringer- Verlag: Berlin.

Halpern, A. (1992).
Prosody, syntax and second position.
In LSA meeting, Philadelphia, 1992.

Halpern, J. Y. and Moses, Y. (1985).
A guide to the modal logics of knowledge and belief: Preliminary draft.
In Proceedings of the 12th International Joint Conference on Artificial Intelligence, page A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.

Haltsonen, S. (1983).
Recognition of isolated-word sentences from a large vocabulary using dynamic time warping methods.
Technical report, Computer Science Department, Yorktown Heights, New York.

Hamblin, C. L. (1976).
Questions in montague english.
In B. H. Partee, editor, Montague Grammar, pages 247-259. Academic Press New York.

Hamp, B. (1993).
Natural language and parsing and what you always wanted to know about it.
Centre for Cognitive Science, University of Edinburgh.

Hampton, J. A. (1982).
A demonstration of intransitivity in natural categories.
Cognition, 12, 151-164.

Hampton, J. A. (1987).
Inheritance of attributes in natural concept conjunctions.
Memory and Cognition, 15, 55-71.

Hampton, J. A. (1988).
Disjunction of natural concepts.
Memory and Cognition, 16, 579-591.

Hanrieder, G. and Goerz, G. (1995).
Robust parsing of spoken dialogue using contextual knowledge and recognition probabilities.
In Proceedings of ESCA Workshop on Spoken Dialogue Systems, Denmark, May 30-June 2.
cmp-lg/9505017.

Hansson, S. O. (1990a).
Belief contraction without recovery.
University of Uppsala, Sweden.

Hansson, S. O. (1990b).
The logic of repeated belief changes.
Department of Philosophy, University of Uppsala, Sweden.

Harman, G. H. (1963).
Generative grammars without transformation rules: A defense of phrase structure.
Language, 39, 597-616.

Harnard, S. (1996).
The origin of words: A psychophysical hypothesis.
from http://cogsci.soton.ac.uk/ harnad/Papers/Harnad/harnad96.word.origin.html.

Harper, R. and Pollack, R. (1991).
Type checking with universes.
Theoretical Computer Science, 89, 107-136.
Elsevier Science Publishers B.V.

Harper, R., Honsell, F., and Plotkin, G. (1991).
A framework for defining logics.
Technical report, School of Computer Science, Carnegie Mellon University, Pittsburgh.

Harris, L. J. and Snyder, P. J. (1997).
Cerebral anesthetization for localization of speech: The contribution of w. james gardner.
Brain and Language, 56, 366-396.
Article No. BL971745.

Hartmanis, J. and Lewis, F. D. (1971).
The use of lists in the study of undecidable problems in automata theory.
Journal of Computer and System Sciences, 5, 54-66.
Printed in Belgium by the St. Catherine Press Ltd.

Hasida, K. (1986).
Conditional unification for natural language processing.
In COLING 1986, page Conditional Unification for Natural Language Processing.

Haugeland, J. (1986).
An overview of the frame problem.
In Z. Pylyshyn, editor, The Robot's Dilemma, chapter 4, pages 77-93. Ablex.

Hayes, J. F. (1974).
Some problems and non-problems in representation theory.
In Proceedings AISB Summer Conference, University of Sussex, pages Some Problems and Non-Problems in Representation Theory.

Hayes, P. J. (1977).
In defence of logic.
In Proceedings of the Fifth IJCAI Conference, MIT, page In Defence of Logic.

Hayes, P. J. (1985).
The second naive physics manifesto.
In J. R. Hobbs and R. C. Moore, editors, Formal Theories of the Commonsense World, chapter 1, pages 1-36. ABLEX.
Reprinted in R. J. Brachman and H. J. Levesque, eds, Readings in Knowledge Representation, pp. 468-485. Los Altos, Ca.: Morgan Kaufmann, 1985.

Hayes-Roth, F. (1984).
The knowledge-based expert system: A tutorial.
Computer, 17, 11-28.

Healey, P. (1993).
Situation theoretic perspective as a candidate framework for the semantics of dialogues.
This is accompanied by another version of the same manuscript written by Pat Healey and Carl Vogel, January 24th 1993.

Healey, P. (1997a).
The public and the private: Two domains of analysis for semantic theory.
In Tibilisi, Studies in Logic, chapter 5, pages 59-72. CSLI.
Studies in Logic is a pubication of the European Association for Logic, Language and Information.

Healey, P. (1997b).
The public and the private: Two domains of analysis for semantic theory.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 5, pages 59-72. CSLI Publications.

Healey, P. and Vogel, C. (1994a).
The proper treatment of denotation in dialog.
University of Edinburgh.

Healey, P. and Vogel, C. (1994b).
A situation theoretic model of dialogue.
In K. Jokinen, editor, Pragmatics in Dialogue Management, volume 71, pages 61-79. Gothenburg Papers in Theoretical Linguistics.
Proceedings of the Special Session within the XIVth Scandanavian Conference of Linguistics and VIIIth Conference of Nordic Linguistics. August 16-21, 1993.

Healey, P. and Vogel, C. (1996).
A semantic framework for computer supported cooperative work.
Connolly and Pemberton (eds). To appear, Springer-Verlag.

Heckerman, D. and Shachter, R. (1995).
Decision-theoretic foundations for casual reasoning.
Journal of Artificial Intelligence Research, 3, 405-430.
AI Access Foundation and Morgan Kaufmann Publishers.

Heeman, P. A. and Allen, J. F. (1997a).
Incorporating pos tagging into language modeling.
In Proceedings of Eurospeech '97.
cmp-lg/9705014.

Heeman, P. A. and Allen, J. F. (1997b).
Intonational boundaries, speech repairs and discourse markers: Modeling spoken dialog.
In Proceedings of ACL/EACL 97.
cmp-lg/9704008.

Heeman, P. A. and Hirst, G. (1992).
Collaborating on referring expressions.
Technical report, Department of Computer Science, University of Toronto.

Hella, L. (1996).
Logical hierarchies in ptime.
Information and Computation, 129, 1-19.

Helman, D. H. (1987).
Realism and antirealism in artificial intelligence.
Journal of Philosophy and Science, 38, 19-26.

Helt, M. E. (1995).
Grammatical and pragmatic factors affecting the use of like in older children's spoken discourse.
Pilot Study.

Hendrix, G. G. (1979).
Encoding knowledge in partitioned networks.
In N. V. Findler, editor, Associative Networks, pages 51-92. AP.

Hermjakob, U. and Mooney, R. J. (1997).
Learning parse and translation decisions from examples with rich context.
Technical report, Dept. of Computer Sciences, University of Texas at Austin.

Hewson, C. (1995).
Cognitive Science and Social Psychology: an Unholy Coupling?
Master's thesis.

Hewson, C. (1996).
Putting Psychology into the Folk Psychology Debate.
Ph.D. thesis, University of Edinburgh.

Hewson, C. and Vogel, C. (1994).
Psychological evidence for assumptions of path-based inheritance reasoning.
In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, pages Psychological Evidence for Assumptions of Path-Based Inheritance Reasoning. Psychological Evidence for Assumptions of Path-Based Inheritance Reasoning.

Hewson, C., Laurent, D., and Vogel, C. (1996).
Proper methodologies for psychological and sociological studies conducted via internet.
Behavior Research Methods, Instruments, & Computers, 28, 186-191.

Hindle, D. and Rooth, M. (1993).
Structural ambiguity and lexical relations.
In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics.
Discussed at the Natural Language Acquisition group at the University of Texas at Austin on June 18, 1993.

Hintikka, J. (1971).
Semantics for propositional attitudes.
In Reference and Modality, pages 142-164. OUP.

Hintikka, J. (1983).
Situations, possible worlds, and attitudes.
Synthese, 54, 153-162.

Hintikka, J. and Hintikka, M. B. (1981).
Towards a general theory of individuation and identification.
In Sixth International Wittgenstein Symposium, page Towards a General Theory of Individuation and Identification.

Hirst, G. (1989).
Ontological assumptions in knowledge representation.
In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning.
Toronto.

Hirst, G. (1991a).
Does conversation analysis have a role in computational linguistics?
Computational Linguistics, 17, 211-227.

Hirst, G. (1991b).
Does conversation analysis have a role in computational linguistics?
Computational Linguistics, 17, 211-227.

Hobbs, J. R. and Kehler, A. (1997).
A theory of parallelism and the case of vp ellipsis.
In Proceedings of ACL-97.
cmp-lg/9704013.

Hobbs, J. R. and Shieber, S. M. (1987).
An algorithm for generating quantifier scopings.
Computational Linguistics, 13, 47-63.

Hoeksema, J. (1987).
The semantics of non-boolean ``and".
Journal of Semantics, 6, 19-40.

Hofbauer, D., Huber, M., and Kucherov, G. (1997).
How to get rid of projection rules in context-free tree grammars.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 16, pages 235-247. CSLI Publications.

Hofland, K. and Johansson, S. (1998a).
Corpora and Cross-linguistic Research, chapter The Translation Corpus Aligner, pages 87-100.
Rodopi, Amsterdam.

Hofland, K. and Johansson, S. (1998b).
Corpora and Cross-linguistic Research, chapter The Translation Corpus Aligner, pages 87-100.
Rodopi Amsterdam.

Holbrook, J. K., Eiselt, K. P., and Mahesh, K. (1992).
A unified process model of syntactic and semantic error recovery in sentence understanding.
In Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, page A Unified Process Model of Syntactic and Semantic Error Recovery in Sentence Understanding.
Bloomington, New York.

Holt, A. G. B. (1993).
Abstracting over Semantic Theories.
Ph.D. thesis, University of Edinburgh.

Honkela, T. (1997).
Self-Organizing Maps in Natural Language Processing.
Ph.D. thesis, Helsinki University of Technology.

Hopcroft, J. E. (1969).
On the equivalence and containment problems for context-free languages.
Springer-Verlag New York Inc.
Reprinted from Mathematical Systems Theory Volume 3 Number 2.

Hopcroft, J. E. and Ullman, J. D. (1979).
Introduction to automata theory, languages, and computation, chapter 6: Properties of Context-Free Languages.
Addison-Wesley Publishing Co., Reading MA.
Chapter 6.

Horiguchi, K. (1997).
Towards translating spoken language pragmatics in an analogical framework.
In 1997, editor, Spoken Language Translation, page Towards Translating Spoken Language Pragmatics in an Analogical Framework.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech (ELSNET).

Horiguchi, K. and Franz, A. (1997).
A formal basis for spoken language translation by analogy.
In 1997, editor, Spoken Language Translation, page A Formal Basis for Spoken Language Translation by Analogy.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Horty, J. F. and Thomason, R. H. (1988).
Mixing strict and defeasible inheritance.
In Seventh National Conference on AI, page Mixing Strict and Defeasible Inheritance. Mixing Strict and Defeasible Inheritance.

Horty, J. F., Thomason, R. H., and Touretzky, D. S. (1987).
A skeptical theory of inheritance in nonmonotonic semantic networks.
Technical report, University of Maryland.

Horty, J. F., Thomason, R. H., and Touretzky, D. S. (1990).
A skeptical theory of inheritance in nonmonotonic semantic networks.
Artificial Intelligence, 42, 314-47.

Hunt, R. A. and Vipond, D. (1991).
First, catch the rabbit: The methodological imperative and the dramatization of dialogic reading.
Poetics, 20, 577-595.
Also appeared in Multidisciplinary Perspectives on Literacy Research, R. Beach, and R. J. Green, and M. Kamil, and T. Shanahan (Eds).

Hurford, J. R. (1989).
Biological evolution of the saussurean sign as a component of the language acquisition device.
Lingua, 77, 187-222.

Hurford, J. R. (1991a).
The evolution of the critical period for language acquisition.
Cognition, 40, 159-201.

Hurford, J. R. (1991b).
Linguistics.
In M. Maxwell, editor, The Sociobiological Imagination, chapter 17, pages 283-301. State University of New York Press.

Hurford, J. R. (1992).
An approach to the phylogeny of the language faculty.
In 1992, editor, Proceedings of the Workshop on the Evolution of Human Languages, page An Approach to the Phylogeny of the Language Faculty.

Hurford, J. R. (1996).
The interaction between numerals and nouns.
Forthcoming in Noun Phrase Structure in the Languages of Europe (one of ten volumes to emerge from the European Science Foundation EUROTYP project).

Hurford, J. R. (1997).
The evolution of incremental learning: Language, development and critical periods.
Edinburgh Occasional Papers in Linguistics, 2.

Hurford, J. R. (1998a).
The evolution of language and languages.
To appear in The Evolution of Culture.

Hurford, J. R. (1998b).
Review for the times literary supplement, of the symbolic species: The co-evolution of language and the human brain.

Hurford, J. R. (1998c).
Social transmission favours linguistic generalization.
In The Evolution of Language.
Volume arising from the Second International Conference on the Evolution of Language.

Hutchins, W. J. and Somers, H. L. (1992a).
An Introduction to Machine Translation, chapter 4: Basic Strategies, pages 69-80.
Harcourt Brace Jovanovich, Publishers.

Hutchins, W. J. and Somers, H. L. (1992b).
An Introduction to Machine Translation, chapter 5: Analysis, pages 81-97.
Harcourt Brace Jovanovich, Publishers.

Hutchins, W. J. and Somers, H. L. (1992c).
An Introduction to Machine Translation, chapter 6: Problems of transfer and interlingua, pages 99-129.
Harcourt Brace Jovanovich, Publishers.

Huttenlocher, J. and V.Hedges, L. (1994).
Combining graded categories: Membership and typicality.
Pychological Review, 101, 157-165.

III, H. H. P. (1987).
Incorporating inheritance and feature structures into a logic grammar formalism.
In Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics. Incorporating Inheritance and Feature Structures into a Logic Grammar Formalism.

Ikeda, Y. and Fujita, M. (1996).
Natural language processing apparatus and method for performing processing to analyze the meaning of an input sentence entered in the form of a natural language.
Patent no. 5590039.

Indurkhya, B. (1994a).
Metaphor as change of representation: An interaction theory of cognition and metaphor.
In J. Hintikka, editor, Aspects of Metaphor, pages 95-150. Kluwer Academic Publishers.

Indurkhya, B. (1994b).
The thesis that all knowledge is metaphorical and meanings of metaphor.
Metaphor and Symbolic Activity, 9, 61-73.

Indurkhya, B. (1996).
Using set-of-support control strategy to deal with indeterminacy in legal reasoning.
In 1996, editor, Proceedings of the Conference Legal Knowledge Based Systems Jurix '96, pages Using Set-of-Support Control Strategy to deal with Indeterminacy in Legal Reasoning. Using Set-of-Support Control Strategy to deal with Indeterminacy in Legal Reasoning.

Indurkhya, B. (1997).
Metaphor as change of representation: an artificial intelligence perspective.
Journal Expermiental and Theoretical Artificial Intelligence, 9, 1-36.

Indurkhya, B. (1998).
On creation of features and change of representation.
Cognitive Studies, 5.

Israel, D. J. and Brachman, R. J. (1981).
Some remarks on the semantics of representation languages.
In Proceedings of the 7th International Joint Conference on Artificial Intelligence, page Some Remarks on the Semantics of Representation Languages.
This chapter is based on: Distinctions and Confusions: A Catalogue Raisonne.

Iwanska, L. (1992).
A general semantic model of negation in natural language: Representation and inference.
In Third International Conference on Knowledge Representation, page A General Semantic Model of Negation in Natural Language: Representation and Inference.

Izzo, G. J. (1993).
Incorporating defeasible reasoning into an implementation of discourse representation theory.
Technical report, The University of Georgia, Athens, Georgia.

Jacobson, P. (1992).
Lexical Matters, chapter 10.
Number 24 in Lecture Notes. CSLI Publications.

Jaffe-Katz, A., Budescu, D. V., and Wallsten, T. S. (1989).
Timed magnitude comparisons of numerical and nonnumerical expressions of uncertainty.
Memory & Cognition, 17, 249-264.
Copyright 1989 Psychonomic Society Inc.

Jain, S. and Sharma, A. (1997).
Elemntary formal systems, intrinsic complexity.
Information and Computation, 132, 65-84.

Janlert, L.-E. (1986).
Modeling change - the frame problem.
In Z. Pylyshyn, editor, The Robot's Dilemma, chapter 1, pages 1-40. Ablex.

Jaspars, J. and Kameyama, M. (1997).
Discourse preferences in dynamic logic.
To appear in Van Glabbeek, R. et al. eds., a collection of papers from the Fourth CSLI Workshop in Logic, Language, and Computation, CSLI Publications. (This is a revised version of the paper titled ``Preferences in Dynamic Semantics" in the Proceedings of the Tenth Amsterdam Colloquium, 1995, pages 445-464.

Jassem, K. (1997).
A polish-to-english text-to-text translation systme based on an electronic dictionary.
In 1997, editor, Spoken Language Translation, pages A Polish-to-English Text-to-Text Translation Systme Based on an Electronic Dictionary.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Jaynes, E. T. (1978).
Where do we stand on maximum entropy.
In R. D. Levine and M. Tribus, editors, The Maximum Entropy Formalism, chapter 1. Cambridge: MIT Press.

Jensen, K., Heidorn, G. E., Miller, L. A., and Ravin, Y. (1983).
Parse fitting and prose fixing: Getting a hold on ill-formedness.
American Journal of Computational Linguistics, 9, 147-160.

Johnson, J. S., Shenkman, K. D., Newport, E. L., and Medin, D. L. (1996).
Indeterminacy in the grammar of adult language learners.
Journal of Memory and Language, 35, 335-352.
Article No. 0019.

Johnson, M. (1993).
Memoization in constraint logic programming.
In First Workshop on Principles and Practice of Constraint Programming, page Memoization in Constraint Logic Programming.

Johnson, M. (1994a).
Features and formulae.
Computational Linguistics, 20.

Johnson, M. (1994b).
Two ways of formalizing grammars.
Linguistics and Philosophy, 17, 221-248.
Klewer Academic Publishers. Printed in the Netherlands.

Johnson, M. and Kay, M. (1990).
Semantic abstraction and anaphora.
In Proceedings of the 13th International Conference on Computational Linguistics - COLING'90, page Semantic Abstraction and Anaphora.

Johnson, M. and Klein, E. (1986).
Discourse, anaphora and parsing.
In Proceedings of the 11th International Conference on Computational Linguistics, pages Discourse, Anaphora and Parsing. Discourse, Anaphora and Parsing.

Johnson-Laird, P. N. (1983).
Mental Models, chapter 5 - How to Reason Syllogistically, pages 94-125.
CUP.

Johnston, M. J. R. (1998).
A syntax and semantics for purposive adjuncts in hpsg.
Paper produced from a research project supervised by William A. Ladusaw.

Jokinen, K. (1993).
Reasoning about coherent and cooperative system responses.
In The 4th ENLG Workshop.
Keywords: dialogue, generation, pragmatics, cooperative, abduction.

Jones, B. E. M. (1994).
Exploring the role of punctuation in parsing natural text.
In Proceedings of the Annual Conference for Computational Linguistics.

Jones, K. S. (1998).
Automatic summarising: Factors and directions.
To appear in "Advances in Automatic Text Summarisation".

Joshi, A. K. (1985).
Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions?
Technical report, Department of Computer and Information Science, University of Pennsylvania.

Joshi, A. K. (1986).
An introduction to tree adjoining grammars.
Technical report, Department of Computer and Information Science, Moore School, University of Pennsylvania.

Joshi, A. K. (1987).
The relevance of tree adjoining grammar to generation.
In G. Kempen, editor, Natural Language Generation, chapter 16, pages 233-252. Martinus Nijhoff.

Joshi, A. K. (1990).
Processing crossed and nested dependencies: An automation perspective on the psycholinguistic results.
Language and Cognitive Processes, 5, 1-27.

Joshi, A. K., Vijay-Shanker, K., and Weir, D. (1989).
The convergence of mildly context-sensitive grammar formalisms.
Technical report, Department of Computer and Information Science, School of Engineering and Applied Science, Philadelphia.

Jr., A. L. B. (1985).
Modal propositional semantics for reason maintenance systems.
In Proceedings of the International Joint Conference on Artificial Intelligence, page Modal Propositional Semantics for Reason Maintenance Systems.

Jr., A. L. B., Gaucas, D. E., and Benanav, D. (1987).
An algebraic foundation for truth maintenance.
In Proceedings of the International Joint Conference on Artificial Intelligence, page An Algebraic Foundation for Truth Maintenance.

Jr., A. M. L. (1992a).
Declarative thinking and the investigation of spatial relationships in a block microworld.
Journal of Computing in Childhood Education, 3, 181-192.

Jr., A. M. L. (1993a).
Fostering thinking with declarative programming and story telling: A microworld of space travel and robots.
Journal of Educational Technology Systems, 21, 239-250.

Jr., A. M. L. (1993b).
In search of meta-knowledge.
In 1993, editor, 1993 Goddard Conference on Space Applications of Artificial Intelligence, pages In Search of Meta-knowledge.

Jr., A. M. L. and Messa Jr., K. C. (1992).
Monte carlo techniques, genes and computer simulation.
Submitted to Journal of Computers in Mathematics and Science Teaching.

Jr., A. M. L. and Saacks, M. E. (1992).
Logic programming and metadata specifications.
In 1992, editor, 1992 Goddard Conference on Space Applications of Artificial Intelligence, page Logic Programming and Metadata Specifications.
This work was begun when the authors were 1991 NASA/ASEE Summer Faculty Researchers in the Information Systems Division of the Science and Technology Laboratory at the John C. Stennis Space Center in Mississippi.

Jr., H. E. K. (1970).
Two world views.
Nous, IV, 337-348.

Jr., H. E. K. (1992b).
Combinatorial semantics.
Technical report, Computer Science and Philosophy, University of Rochester.

Jr., H. J. F. (1988).
Complementarity, bell's theorem, and the framework of process metaphysics.
No more information available.

Jr., J. E. B. (1996).
Method for extracting open-issue data from textual specifications using natural language text processing.
Patent no. 5500796.

Jubien, M. (1991).
Straight talk about sets.
To appear in ``Philosophical Topics".

Juola, P. (1996).
Corpus-based acquisition of transfer functions using psycholinguistic principles.
In Proceedings of NEMLNP-1, 1996.

Kac, M. B., Manaster-Ramer, A., and Rounds, W. C. (1987).
Simultaneous-distributive coordination and context-freeness.
Computational Linguistics, 13, 25-30.

Kahneman, D. and Tversky, A. (1982a).
On the study of statistical intuitions.
Cognition, 11, 123-141.

Kahneman, D. and Tversky, A. (1982b).
Variants of uncertainty.
Cognition, 11, 143-157.

Kaiser, M. K., Jonides, J., and Alexander, J. (1986).
Intuitive reasoning about abstract and familiar physics problems.
Memory and Cognition, 14, 308-312.

Kakuta, T., Haraguchi, M., and Okubo, Y. (1996).
Legal reasoning by structural analogy based on goal dependant abstraction.
In 1996, editor, Proceedings of the Conference Legal Knowledge Based Systems Jrix '96, page Legal Reasoning by Structural Analogy Based on Goal Dependant Abstraction. Legal Reasoning by Structural Analogy Based on Goal Dependant Abstraction.

Kalinski, J. (1990).
Nonmonotonic epistemic structures.
Department of Computer Science, Dortmund.

Kalton, G. and Schuman, H. (1982).
The effect of the question on survey responses: A review.
Journal of the Royal Statistical Society, 145, 42-73.

Kameyama, M. (1995).
Indefeasible semantics and defeasible pragmatics.
To appear in M. Kanazawa, C. Pinon and H. de Swart (eds), Quantifiers, Deduction and Content.

Kameyama, M. (1997).
Intrasentential centering: A case study.
In press. cmp-lg/9707005.

Kamp, H. (1971).
Formal properties of now.
Theoria, 37, 227-273.

Kamp, H. (1979).
Events, instants and temporal reference.
In R. Bäuerle, U. Egli, and A. von Stechow, editors, Semantics from Different Points of View, pages 376-417. Springer.

Kamp, H. (1981).
A theory of truth and semantic representation.
In T. J. J. Groenendijk and M. Stokhof, editors, Formal Methods in the Study of Language, pages 277-319. Mathematical Centre Tracts, Amsterdam, Holland.

Kamp, H. (1990).
Prolegomena to a structural account of belief and other attitudes.
In C. A. Anderson and J. Owens, editors, Propositional Attitudes, pages 27-90. CSLI.

Kamp, H. (1993).
Disambiguation in discourse.
In 1993, editor, Semantics of Time, Space, Movement and Spatio-Temporal Reasoning, page Disambiguation in Discourse.
Working papers of the 4th Workshop, Chateau de Bonas, 1992.

Kamp, H. (1996).
What a linguist might want from a logic of most and other generalized quantifiers.
Forthcoming in Festschrift für Dov Gabbay.

Kamp, H. and Partee, B. (1989).
Prototype theory and compositionality.
Draft, University of Texas/Austin.

Kamp, H., Reyle, U., and Rossdeutscher, A. (1995).
Underspecified representation, discourse inference and lexical meaning.
Unpublished manuscript, Institute for Computational Linguistics, University of Stuttgart.

Kanazawa, M. (1993).
Weak vs. strong reading of donkey sentences and monotonicity inference in a dynamic setting.
Unpublished manuscript to appear in Linguistics and Philosophy.

Kanuk, L. and Berenson, C. (1975).
Mail surveys and response rates: A literature review.
Journal of Marketing Research, XII, 440-453.

Kaplan, R. M. and Kay, M. (1994).
Regular models of phonological rule systems.
Computational Linguistics, 20.

Karmiloff-Smith, A. (1986).
From meta-processes to conscious access: Evidence from children's metalinguistic and repair data.
Cognition, 23, 95-147.

Karttunen, L. (1984).
Features and values.
In Proceedings of the 10th International Conference on Computational Linguistics - COLING'84, page Features and Values.

Karttunen, L. (1985).
Structure sharing with binary trees.
In Proceedings of the 23rd Annual Meeting for Computational Linguistics, page Structure Sharing with Binary Trees.

Karttunen, L. (1986).
D-patr: A development environment for unification-based grammars.
In COLING 86, pages D-PATR: A Development Environment for Unification-Based Grammars.

Kasper, R. T. (1987).
A unification method for disjunctive feature descriptions.
Technical report, Information Sciences Institute.

Kasper, R. T. (1995).
The semantics of recursive modification.
In Proceedings of the HPSG Workshop Tubingen.
Submitted to the Journal of Linguistics.

Kasper, R. T. and Rounds, W. C. (1986).
A logical semantics for feature structures.
In Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, page A Logical Semantics for Feature Structures. A Logical Semantics for Feature Structures.

Katsuno, H. and Mendelzon, A. O. (1990).
On the difference between updating a knowledge database and revising it.
Technical report, Computer Science Department, University of Toronto.

Katz, A. J., Budescu, D. V., and Wallsten, T. S. (1989).
Timed magnitude comparisons of numerical and nonnumerical expressions of uncertainty.
Memory & Cognition, 17, 249-264.
Copyright 1989 Psychonomic Society Inc.

Kaufmann, M. (1985).
The quantifier ``there exist uncountably many'' and some of its relatives.
In K. J. Barwise and S. Feferman., editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 4, pages 123-176. Springer-Verlag.

Kautz, H. and Selman, B. (1992).
Forming concepts for fast inference.
In Proceedings of the 10th National Conference on Artificial Intelligence, page Forming Concepts for Fast Inference.

Kay, M. (1984).
Functional unification grammar: A formalism for machine translation.
In Proceedings of the 8th International Conference on Computational Linguistics - COLING'84, page Functional Unification Grammar: A Formalism for Machine Translation.

Kay, M., Gawron, J. M., and Norvig, P. (1991).
Verbmobil - A Translation System for Face-to-Face Dialog.
Book.

Keane, M. T. and Costello, F. (1996).
Where do "soccer moms" come from? : Cognitive constraints on noun-noun compounding in english.
Technical report, Department of Computer Science, Trinity College Dublin.
External Technical Report.

Keane, M. T., Ledgeway, T., and Duff, S. (1994).
Constraints on analogical mapping: A comparison of three models.
Cognitive Science, 18, 387-438.

Keenan, E. L. (1987).
Unreducible n-ary quantifiers in natural language.
In P. Gärdenfors, editor, Generalized Quantifiers, pages 109-150. D. Reidel Publishing Company.

Keenan, E. L. (1992).
Beyond the frege boundary.
Linguistics and Philosophy, 15, 199-221.

Keenan, E. L. and Hull, R. D. (1973).
The logical presuppositions of questions and answers.
In Petöfi and Frank, editors, Präsuppositionen in Philosophie und Linguistik, pages 441-467. Athenäum, Frankfurt.

Keller, B. and Weir, D. (1995).
A tractable extension of linear indexed grammars.
In Seventh Conference of the European Chapter of the Association for Computational Linguistics, page A Tractable Extension of Linear Indexed Grammars.

Keller, F. (1994).
German functional hpsg.
Institut für Maschinelle Sprachverarbeitung.

Kennedy, J. M. (1984).
How minds use pictures.
Social Research, 51.

Kerlow, I. V. (1984).
The computer as an artistic tool.
Byte, 9, 189-206.

Kessler, B., Nunberg, G., and Schütze, H. (1997).
Automatic detection of text genre.
Unpublished Manuscript. cmp-lg/9707002.

Kibble, R. (1994).
Dynamics of epistemic modality and anaphora.
To appear in Proceedings of the International Workshop in Computational Semantics - Dec. 1994.

Kibble, R. (1997).
Modal subordination, focus and complement anaphora.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 6, pages 73-86. CSLI Publications.

Kilgarriff, A. and Gazdar, G. (1993).
Polysemous relations.
Cognitive & Computing Sciences, University of Sussex.

Kim, J.-B. and Sag, I. A. (1996).
French and english negation: A lexicalist alternative to head movement.
In Proceedings of the West Coast Conference on Formal Linguistics, page French and English Negation: A Lexicalist Alternative to Head Movement.

King, M. (1996).
Evaluating natural language processing systems.
Communications of the ACM, 39, 73-79.

King, P. (1995).
The complexity of closed world reasoning in constraint-based grammar theories.
In Proceedings of the 4th Meeting on Mathematics of Language.
University of Pennsylvania.

King, P. J. (1994a).
An expanded logical formalism for head-driven phrase structure grammar.
Technical report, Tübingen.

King, P. J. (1994b).
Typed feature structures as descriptions.
In COLING 94.
cmp-lg/9408003.

King, P. J. and Simov, K. I. (1997).
The automatic deduction of classificatory systems from linguistic theories.
Draft Manuscript.

King, P. J., Simov, K. I., and Aldag, B. (1997).
The complexity of modellability in finite and computable signatures of a constraint logic for head-driven phrase structure grammar.
The Journal of Logic, Language and Information.

Kirby, S. (1996a).
Firness and the selective adaptation of language.
In J. Hurford, C. Knight, and M. Studdart-Kennedy, editors, Evolution and Lanugage: Social and Cognitive Bases for the Emergence of Phonology and Syntax. Cambridge University Press.

Kirby, S. (1996b).
Function, Selection and Innateness.
Ph.D. thesis, University of Edinburgh.

Kirby, S. (1997).
Competing motivations and emergence:explaining implicational hierarchies.
Linguistic Typology, 1.

Kirby, S. (1998).
Syntax without natural selection: How compositionality emereges from vocabulary in population of learners.
In Proceedings of the Second International Conference on the Evolution of Language.
Volume arising from the Second International Conference.

Kirby, S. and Hurford, J. (1997).
Learning, culture and evolution in the origin of linguistic constraints.
Submitted to ECAL97.

Kitani, T., Eriguchi, Y., and Hara, M. (1994).
Pattern matching and discourse processing in information extraction from japanese text.
Journal of Artificial Intelligence Research, 2, 89-110.

Kitano, H. (1993).
A comprehensive and practical model of memory-based machine translation.
In Proceedings of the International Joint Conference on Artificial Intelligence, pages A Comprehensive and Practical Model of Memory-Based Machine TRanslation.

Kitano, H. (1995).
A comprehensive and practical model of memory-based machine translation.
In Proceedings of the International Joint Conference on Artifcial Intelligence, pages A Comprehensive and Practical Model of Memory-Based Machine Translation.

Klaczynski, P. A., Gelfand, H., and Reese, H. W. (1989).
Transfer of conditional reasoning: Effects of explanations and initial problem types.
Memory and Cognition, 17, 208-220.

Klein, E. and Sag, I. A. (1985).
Type-driven translation.
Linguistics and Philosophy, 8, 163-201.

Klein, E., Moens, M., and Veltman, F. (1992).
Default reasoning and dynamic interpretation of natural language.
In W. van der Hoek, J.-J. C. Meyer, Y. H. Tan, and C. Witteven, editors, Non-Monotonic Reasoning and Partial Semantics, pages 21-35. New York: Ellis Horwood.

Knight, K. (1989).
Unification: A multidisciplinary survey.
ACM Computing Survey, 21, 93-124.

Knight, K. and Chander, I. (1994).
Automated postediting of documents.
In Proceedings of the American Association for Artificial Intelligence.

Knight, K. and Luk, S. K. (1994).
Building a large-scale knowledge base for machine translation.
In American Association for Artificial Intelligence 94.

Knott, A., Mellish, C., Oberlander, J., and O'Donnell, M. (1996).
Sources of flexibility in dynamic hypertext generation.
In Proceedings of the 8th International Workshop on Natural Language Generation, page Sources of Flexibility in Dynamic Hypertext Generation.

Knuth, D. E. (1976).
Big omicron and big omega and big theta.
SIGACT News, 8, 18-24.

Kodric, S., Popowich, F., and Vogel, C. (1992).
The HPSG-PL system: Version 1.2.
Technical report, School of Computing Science, Simon Fraser University, Burnaby, B.C.

Kolk, H. and Weijts, M. (1996).
Judgments of semantic anomaly in agrammatic patients: Argument movement, syntactic complexity, and the use of heuristics.
Brain and Language, 54, 86-135.
Article No. 0062.

Kolliakou, D. (1996).
Definiteness and the make-up of nominal categories.
In C. Grover and E. Vallduví, editors, Edinburgh Working Papers in Cognitive Science, volume 12, pages 1-46. CCS.

Kolliakou, D. (1997).
An hpsg approach to definite concord and elliptical nominals.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 9, pages 125-147. CSLI Publications.

König, E. (1989).
Parsing as natural deduction.
In Proceedings of the 27th Annual Meeting for Computational Linguistics, page Parsing as Natural Deduction.

König, E. (1995).
A basis for a theorem prover for underspecified discourse representation structures.
Unpublished Manuscript. University of Stuttgart.

König, E., Seiffert, R., and Seiffert, R. (1989).
Grundkurs Prolog für Linguisten.
Book.

Konolige, K. (1987).
On the relation between default theories and autoepistemic logic.
In Proceedings of the 10th International Joint Conference on Artificial Intelligence, page On the Relation Between Default Theories and Autoepistemic Logic. On the Relation Between Default Theories and Autoepistemic Logic.

Koons, R. C. (1990).
Liar-like paradoxes in the theory of relational belief.
Unpublished manuscript.

Kosslyn, S. M. and Hatfield, G. (1984).
Representation without symbol systems.
Social Research, 51, 1019-1045.

Kowalski, R. (1982).
The use of metalanguage to assemble object level programs and abstract programs.
Unpublished manuscript.

Kowalski, R. (1988).
Logic-based open systems.
In Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux and Logic Programming, pages Logic-Based Open Systems.

Kowtko, J. C., Isard, S. D., and Doherty, G. M. (1992).
Conversational games within dialogue.
Technical report, University of Edinburgh.

Kracht, M. (1993).
Mathematical aspects of command relations.
In Proceedings of the 6th European Association for Computational Linguistics.

Kratzer, A. (1990).
How specific is a fact?
Forthcoming in Linguistics and Philosophy.

Krauwer, S. (1997).
Elsnet in wonderland.
Elsnews, 6.
The Newsletter of the European Network in Language and Speech.

Krenn, B. and Samuelsson, C. (1997).
The linguist's guide to statistics.
Additional Literature used in the "Statistical Approaches to NLP" taught in Autumn 1997 at the Department of Linguistics at the University of Uppsala.

Krifka, M. (1987).
An outline of genericity.
Technical report, Universität Tübingen.
Produced in collaboration with Claudia Gerstner.

Krifka, M. (1990).
How to get rid of groups, using drt: A case for discourse-oriented semantics.
First draft.

Krifka, M. (1995).
Focus and/or context: A second look at second occurrence expressions.
Preliminary version.

Krishnaprasad, T., Kifer, M., and Warren, D. S. (1989).
On the declarative semantics of inheritance networks.
In Proceedings of the 11th International Joint Conference on Artificial Intelligence, page On the Declarative Semantics of Inheritance Networks.

Kroch, T. and Rambow, O. (1994).
The linguistic relevance of quasi-trees.
Technical report, Universite Paris.
In 3e Colloque International sur les Grammaires d'Arbes Adjoints.

Kubon, P. (1995).
Topic, focus and some aspects of the semantics of discourse.
Draft.

Kucera, H. (1983).
A semantic model of verbal aspect.
In Proceedings of the ninth International Congress of Slavists.
Contribution to the ninth International Congress of Slavists.

Kulick, S. and Joshi, A. K. (1997).
Implementational aspects of a categorical grammar based on partial proof trees.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 15, pages 213-233. CSLI Publications.

Kupiec, J. M. (1996).
Method for extracting from a text corpus answers to questions stated in natural language by using linguistic anaylsis and hypothesis generation.
Patent no. 5519608.

Lafont, Y. and Scedtov, A. (1996).
The undecidability of second order multiplicative linear logic.
Information and Computation, 125, 46-51.

Lai, B. Y. T. and Huang, C. (1994).
Dependency grammar and the parsing of chinese sentences.
Will appear in Proceedings of 1994 Joint Conference of 8th ACLIC and 2nd PacFoCoL, Kyoto.

Landman, F. (1992).
The progressive.
Natural Language Semantics, 1, 1-32.

Lane, A. (1989).
An end to dueling rules.
Byte, 14, 303-308.

Lang, B. (1988).
Parsing incomplete sentences.
In Proceedings of the 12th International Conference on Computational Linguistics - COLING'88, volume August, page Parsing Incomplete Sentences.

Lang, B. (1989).
A generative view of ill-formed input processing.
In ATR Symposium on Basic Research for Telephone Interpretation (ASTI).
Extended Abstract.

Lang, B. (1993).
Dynamic programming parsing of syntactic formalisms.
In Proceedings of the 2nd International Workshop on Tree Adjoining Grammars, Philadelphia, June 1992.

Laporte, E. (1997).
Lexical disambiguation with fine-grained tagsets.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 14, pages 203-210. CSLI Publications.

Lappin, S. (1998).
An underspecified constraint-based semantics for vague quantifiers.
In Proceedings of the Conference The Dublin Computational Linguists Research Seminar Series.

Larsen, K. G. and Wang, Y. (1997).
Time-abstracted bisimulation: Implicit specifications and decidability.
Information and Computation, 134, 75-101.

Lascarides, A. and Asher, N. (1991).
Discourse relations and defeasible knowledge.
In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics, page Discourse Relations and Defeasible Knowledge.

Lascarides, A. and Copestake, A. (1997).
Default representation in constraint-based frameworks.
To appear in Computational Linguistics.

Lascarides, A., Briscoe, T., Asher, N., and Copestake, A. (1995).
Order independent and persistent typed default unification.
In A. Schöter and C. Vogel, editors, Nonclassical Feature Systems, volume 10, pages 61-135. Center for Cognitive Science.
An early version of a paper to appear in Linguistics and Philosophy.

Lasersohn, P. (1989).
Generalized conjunction and temporal modification.
University of California at Santa Cruz.

Latecki, L. and Pinkal, M. (1990).
Syntactic and semantic conditions for quantifier scope.
Graduierung und Komparation Projekt, 13.

Lauer, M. and Dras, M. (1994).
A probabilistic model of compound nouns.
In Proceedings of the 7th Australian Joint Conference on Artificial Intelligence.

Laurent, D. and Vogel, C. (1995).
Research methodologies in the context of massive electronic connectivity.
Presented at Computers in Psychology, York, England. September 1994. Available as Research Paper EUCCS/RP-67, Centre for Cognitive Science, The University of Edinburgh.

Lavie, A., Levin, L., Zhan, P., Taboada, M., Gates, D., Lapata, M., Clark, C., Broadhead, M., and Waibel, A. (1997).
Expanding the domain of a multi-lingual speech-to-speech translation system.
In 1997, editor, Spoken Language Translation, pages Expanding the Domain of a Multi-Lingual Speech-to-Speech Translation System.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Lee, J.-W., Kim, G. C., and Seo, J. (1997).
A dialogue analysis model with statistical speech act processing for dialogue machine translation.
In 1997, editor, Spoken Language Translation, page A Dialogue Analysis Model with Statistical Speech Act Processing for Dialogue Machine Translation.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech (ELSNET).

Lee, S., Lin, X., and Zhang, H. (1992).
Efficient decision procedures of strength logic.
In PRICAI 92, page Efficient Decision Procedures of Strength Logic.

Lehner, C., editor (1990).
Applying Constraint Logic Programming to Natural Language Processing, 1990. Comments by Jo Calder, Mike Reape, Henry S. Thompson and Pete Whitelock on this deliverable are included.
Comments by Jo Calder, Mike Reape, Henry S. Thompson and Pete Whitelock on this deliverable are included.

Lehner, C. (1991).
Typing and inheritance for natural language grammars in prolog iii.
Centrum f. Informations- und Sprachverarbeitung, Munich.

Leivant, D. (1994).
High order logic.
In D. M. Gabbay, editor, Handbook of Logic in Artificial Intelligence, pages 230-321. Oxford University Press.

Lemon, O. (1993).
Perspectives on relevance: The logic of mental spaces.
This illustrates the wide-ranged applications and implications of a properly conceived relevantism.

Lemon, O. (1995a).
Dynamic semantics of theory change.
Chapter 2.

Lemon, O. (1995b).
First-order theory change and revision semantics.
Chapter 4.

Lemon, O. (1995c).
Revision semantics.
Chapter 3.

Lemon, O. (1997).
First-order theory change systems and their dynamic semantics.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 7, pages 87-102. CSLI Publications.

Levesque, H. J. (1988).
The interaction with incomplete knowledge bases: A formal treatment.
In IJCAI81, page The Interaction with Incomplete Knowledge Bases: A Formal Treatment.

Levy, Y. (1996).
Modularity of language reconsidered.
Brain and Language, 55, 240-263.
Article No. 0103.

Lewis, D. (1975a).
Adverbs of quantification.
In E. L. Keenan, editor, Formal Semantics of Natural Language, pages 3-15. CUP.

Lewis, D. (1995).
Elusive knowledge.
Preliminary Draft.

Lewis, D. D. and Jones, K. S. (1996).
Natural language processing for information retrieval.
Communications of the ACM, 39, 92-101.

Lewis, D. K. (1975b).
Languages and language.
In K. Gunderson, editor, Minnesota Studies in the Philosophy of Science, volume VII, chapter 11, pages 3-35. University of Minnesota Press.

Light, M. (1993).
Classification in feature-based default inheritance hierarchies.
Technical report, Computer Science Department, Rochester, New York.

Lin, D. (1994).
A dependency-based method for evaluating broad-coverage parsers.
To appear in Proceedings of the International Joint Conference on Artificial Intelligence - 95.

Lin, D. and Goebel, R. (1993).
Context-free grammar parsing by message passing.
In Proceedings of the PACLING - 93, pages Context-Free Grammar Parsing by Message Passing.
Keywords: parsing, context-free grammar, message-passing algorithm, efficiency.

Lin, F. (1992).
Default reasoning as negation-as-failure.
In PRICAI 92, pages Default Reasoning as Negation-as-Failure.

Lindström, S. and Rabinowicz, W. (1992).
Belief revision, epistemic conditionals and the ramsey test.
Synthese, 91.

Link, G. (1983).
The logical analysis of plurals and mass terms: A lattice-theoretical approach.
In R. Bäuerle, C. Schwarze, and A. von Stechow, editors, Meaning, Use, and Interpretation of Language, pages 302-23. de Gruyter.

Link, G. (1987).
Algebraic semantics of event structure.
In J. Groenendijk, M. Stokhof, and F. Veltman, editors, Proceedings of the Sixth Amsterdam Colloquium, pages 243-262. Institute for Language, Logic and Information.

Long, D. and Garigliano, R. (1988).
Inheritance hierarchies.
Technical report, School of Engineering and Computer Science, University of Durham.
Keywords: Downward and upward inheritance, hierarchy, hidden quantification, is-a, semantics.

Longley, J. and Plotkin, G. (1997).
Logical full abstraction and pcf.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 23, pages 333-352. CSLI Publications.

Lopez, A., Atran, S., and Smith, E. E. (1997).
The tree of life: Universal and cultural features of folkbiological taxonomies and inductions.
Cognitive Psychology, 32, 251-295.

Lorenz, S. (1990).
Skeptical reasoning with order-sorted defaults.
Institute for Knowledge-Based Systems, Germany.

Loui, R., Norman, J., Stiefvater, K., Merrill, A., Costello, A., and Olson, J. (1993).
Computing specificity.
Publishing information unavailable.

Loui, R. P. (1989).
Analogical reasoning, defeasible reasoning, and the reference class.
In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages Analogical Reasoning, Defeasible Reasoning, and the Reference Class.

Lovelace, E. A. and Southall, S. D. (1983).
Memory for words in prose and their locations on the page.
Memory & Cognition, 11, 429-434.

Lunnon, R. (1993).
An anti-founded model of the lambda calculus with sets.
Dept of Mathematics, UCLA.

Lytinen, S. L., R.Bridge, R., and Kirtner, J. D. (1992).
The role of literal meaning in the comprehension of non-literal construction.
Computational Intelligence, 8, 416-432.

MacKay, D. M. (1955).
The place of meaning in the theory of information.
In Information Theory, page The Place of Meaning in the Theory of Information.
Papers read at a Symposium on ``Information Theory" held at the Royal Institution, London, September 12th to 26th 1955.

Mackworth, A. K. (1975).
How to see a simple world.
Technical report, Department of Computer Science, University of British Columbia, Vancouver.

Makinson, D. and Schlechta, K. (1991).
Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical" approach to defeasible inheritance nets.
Artificial Intelligence, 48, 201-215.

Malcolm, C. (1990).
Giving machines ideas.
Department of Artificial Intelligence, University of Edinburgh.

Manaf, A. and Havens, W. S. (1992).
Model-based diagnosis: Combining deductive and abductive reasoning.
In Proceedings of the International Conference on Artificial Intelligence, pages Model-Based Diagnosis: Combining Deductive and Abductive Reasoning.

Manandhar, S. (1994).
An attributive logic of set descriptions and set operations.
In ACL 94.

Manaster-Ramer, A. (1986).
Copying in natural languages, context-freeness and queue grammars.
In Proceedings of the 24th Annual Meeting in Computational Linguistics, Columbia, pages Copying in Natural Languages, Context-Freeness and Queue Grammars.

Mandelbrot, B. (1955).
On the language of taxonomy: An outline of a 'thermostatistical' theory of systems of categories with willis (natural) structure.
In Symposium on Information Theory, page On the Language of Taxonomy: An Outline of a 'Thermostatistical' Theory of Systems of Categories with Willis (Natural) Structure.

Manis, F. R., Seidenberg, M. S., Doi, L. M., McBride-Chang, C., and Peterson, A. (1994).
On the bases of two subtypes of developmental dyslexia.
In The Society for the SCientific Study of Reading.
A portion of this was presented at the 1st annual meeting of the Society for the Scientific Study of Reading at New Orleans 1994.

Mann, W. C. and Thompson, S. A. (1986).
Rhetorical structure theory: Description and construction of text structures.
In Title of Book Unknown, chapter 7, pages 85-95. Martinus Nijhoff.

Manning, C. (1993).
avm.sty.
Version 1.00.

Manning, C. and Sag, I. (1995).
Dissociations between argument structure and grammatical relations.

Marchal, B. (1988).
Appendix b: Modal logic - a brief tutorial.
In E. H. Mamdani, P. Smets, D. Dubois, and H. Prade, editors, Non-Standard Logics for Automated Reasoning, pages 15-23. Academic Press.

Marché, C. (1994).
Normalized rewriting and normalised completion.
In Linguistics in Computer Science 94.

Marcus, M., Kim, G., Marcinkiewicz, M. A., MacIntyre, R., Bies, A., Ferguson, M., Katz, K., and Schasberger, B. (1994a).
The penn treebank: Annotating predicate argument structure.

Marcus, M. P., Santorini, B., and Marcinkiewicz, M. A. (1994b).
Building a large annotated corpus of english: the penn treebank.
Computational Linguistics, 19, 313-330.

Marr, D. (1985).
Vision: The philosophy and the approach.
In A. M. Aitkenhead and J. M. Slack, editors, Issues in Cognitive Modeling, chapter 5. Erlbaum.

Marr, D. and Poggio, T. (1976).
Cooperative computation of stereo disparity.
Science, 194, 283-287.

Marschank, M. (1983).
Semantic congruity in symbolic comparisons: Salience, expectancy and associative priming.
Memory & Cognition, 11, 192-199.

Marsh, W. (1987).
Graphs and grammars.
In A. Manaster-Ramer, editor, Mathematics of Language, pages 237-255. John Benjamins, Amsterdam.

Marslen-Wilson, W. D. (1987).
Functional parallelism in spoken word-recognition.
In Spoken Word Recognition, Cognition Special Issue, chapter 4, pages 71-102. MITPRESS.

Martin, C. E. (1986).
Pragmatic interpretation and ambiguity.
In 1986, editor, Proceedings of the AAAI.
Philadelphia.

Massicotte, P. and Dahl, V. (1988).
Handling concept-type hierarchies through logic programming.
In Proceedings of the 3rd Annual Workshop on Conceptual Graphs, pages Handling Concept-Type Hierarchies through Logic Programming.

Matiasek, J. (1992).
Structure sharing unification of disjunction feature descriptions.
Technical report, Austrian Research Institute for Artificial Intelligence, Vienna.
Presented at the ECAI-92 workshop Coping with Linguistic Ambiguity in Typed Feature Formalisms.

Matiasek, J. (1993).
Clp based hpsg parsing.
Technical report, Austrian Research Institute for Artificial Intelligence, Vienna.

Matsumoto, Y. (1991).
Handling coordination in a logic-based concurrent parser.
In C. Brown and G. Koch, editors, Natural Language Understanding and Logic Programming, III, pages 1-12. North-Holland.

Mauner, G., Fromkin, V. A., and Cornell, T. L. (1993).
Comprehension and acceptability judgements in agrammatism: Disruptions in the syntax of referential dependancy.
Brain and Language, 45, 340-370.

Mayeaux, D. (1989).
Social and utilitarian aspects of allogrooming by captive colobus quereza.
Running Head: Allogrooming.

Mayer, R. (1996).
Abstraction, context and perspectivization - evidentials in discourse semantics.
Institute for Knowledge Based Systems, IBM Germany.

McCawley, J. D. (1982).
Parentheticals and discontinuous constituent structure.
Linguistic Inquiry, 13, 91-106.

McCawley, J. D. (1987).
Some additional evidence for discontinuity.
Syntax and Semantics, 20, 185-200.
Academic Press, Inc.

McClelland, J. L., Rumelhart, D. E., and Hinton, G. E. (1986).
The appeal of parallel distributed processing.
Parallel Distributed Processing, Explorations in the Microstructure of Cognition, 1.

McDaniel, M. A., Einstein, G. O., and Lollis, T. (1988).
Qualitative and quantitative considerations in encoding difficulty effects.
Memory & Cognition, 16, 8-14.

McDermott, D. (1976).
Artificial intelligence meets natural stupidity.
SIGART, 57.
Reprinted in J. Haugeland (ed.) Mind Design: Philosophy, Psychology, Artificial Intelligence, pp. 143-160. Montgomery, Vt.: Bradford, 1981.

McDermott, D. (1986).
We've been framed: Or, why ai is innocent of the frame problem.
In Z. Pylyshyn, editor, The Robot's Dilemma, chapter 6, pages 113-121. Ablex.

McFetridge, P. (1991).
On the structure of coordination in HPSG.
Draft ms. Department of Linguistics, Centre for Systems Science, Simon Fraser University.

McFetridge, P. and Groeneboer, C. (1989).
Novel terms and cooperation in a natural language interface.
In Proceedings of the Meeting of the Association for Computational Linguistics, page Novel Terms and Cooperation in a Natural Language Interface.
Knowledge Based Computer Systems, Bombay, India.

McGlone, M. S. (1996).
Conceptual metaphors and figurative language interpretation: Food for thought?
Journal of Memory and Language, 35, 544-565.
Article No. 0029.

McNally, L. (1997).
On recent formal analyses of topic.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 10, pages 149-162. CSLI Publications.

McRoy, S. W. and Hirst, G. (1990).
Race-based parsing and syntactic disambiguation.
Cognitive Science, 14, 313-353.

Melamed, I. D. (1997).
Automatic discovery of non-compositional compounds in parallel data.
In Proceedings of the 2nd Conference on Empirical Methods in Natural Language Processing.

Mellish, C. S. (1989).
Some chart-based techniques for parsing ill-formed input.
In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics. Some Chart-Based Techniques for Parsing Ill-Formed Input.

Menzel, W. (1987).
Automated reasoning about natural language correctness.
In Proceedings of the 3rd Conference of the European Chapter of the Association for Computational Linguistics, page Automated Reasoning About Natural Language Correctness.

Menzel, W. (1995).
Robust processing of natural language.
In Proceedings of Künstliche Intelligenz -95, 19th German Conference on Artificial Intelligence, Bielefeld (Germany), Lecture Notes in Computer Science, Springer 1995.
cmp-lg/9507003.

Merin, A. (1995).
Why not kim basinger? on the 'art des gegebenseins' of a contextually given set.
In Workshop on Context-Dependence in the Analysis of Linguistic Meaning, page Why Not Kim Basinger? On the 'Art des Gegebenseins' of a Contextually Given Set.
Charles University, Prague.

Merz, T. (1997).
Ghostscript User Manual.
adapted from appendix B of PostScript and Acrobat/PDF.Applications, Troubleshooting, and Cross-Platform Publishing.

Messa, K. C. and Lopez Jr., A. M. (1992).
Teaching the theory of computers using prolog and smalltalk.
Collegiate Microcomputer, 10, 51-60.

Metzler, D. P., Haas, S. W., Cosic, C. L., and Weise, C. A. (1990a).
Conjunction, ellipsis and other discontinous constituents in the constituent object parser.
Information Processing and Management, 26, 53-71.

Metzler, D. P., Haas, S. W., Cosic, C. L., and Weise, C. A. (1990b).
Conjunction, ellipsis and other discontinuous constituents in the constituent object parser.
Information Processing & Management, 26, 53-71.
Pergamon Press plc.

Meurers, W. D. (1994).
On implementing an hpsg theory.
Technical report, University of Tübingen.

Mey-Eppler, W. and Darius, G. (1955).
Two-dimensional photographic auto-correlation of pictures and alphabet letters.
In Information Theory, pages Two-Dimensional Photographic Auto-Correlation of Pictures and Alphabet Letters.
Papers read at a Symposium on ``Information Theory" held at the Royal Institution, London, September 12th to 26th 1955.

Meznaric, J. (1992).
Clitics and the Wackernagel Position in Slovenian.
Master's thesis.

Michalski, R. S. (1984).
Inductive learning.
In Machine Learning, chapter 4, pages 88-125. Springer-Verlag Berlin.

Milgrom, P. and Roberts, J. (1982).
Predation, reputation, and entry deterrence.
Journal of Economic Theory, 27, 280-312.

Miller, D. A. and Nadathur, G. (1986).
Some uses of higher-order logic in computational linguistics.
In Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, pages Some Uses of Higher-Order Logic in Computational Linguistics.

Miller, G. A. and Isard, S. (1964).
Free recall of self-embedded english sentences.
Information and Control, 7, 292-303.

Miller, G. A., Beckwith, R., Fellbaum, C., Gross, D., and Miller, K. (1993).
Introduction to wordnet: An online lexical database.

Miller, G. L. and Vavasis, S. A. (1990).
Density graphs and separators.
Technical report, Center for Theory and Simulation in Science and Engineering, Cornell University.

Miller, M. and Perlis, D. (1993).
Presentations and this and that: Logic in action.
In Proceedings of the 15th Annual Conference of the Cognitive Science Society, page Presentations and This and That: Logic in Action.

Miller, P. H. and Sag, I. A. (1996).
French clitic movement without clitics or movement.
In Natural Language and Linguistic Theory, page French Clitic Movement Without Clitics or Movement.

Millis, M. L. and Button, S. B. (1989).
The effect of polysemy on lexical decision time: Now you see it, now you don't.
Memory & Cognition, 17, 141-147.

Milward, D. (1992).
Incremental interpretation: The pulman approach.
Working Paper.

Milward, D. (1994a).
Dynamic dependency grammar.
Linguistics and Philosophy, 17, 561-605.

Milward, D. (1994b).
Non-constituent coordination: Theory and practice.
In Proceedings of the 15th Annual International Conference on Computational Linguistics, pages Non-Constituent Coordination: Theory and Practice.

Milward, D. (1995).
Situations and dynamics: Integrating situations into a theory of discourse anaphora.
Draft of Tech Report.

Milward, D. (1996a).
The clears user manual.
Technical report, The FRACAS Consortium.

Milward, D. (1996b).
Integrating situations into a theory of discourse anaphora.
Technical report, Universität des Saarlandes.

Milward, D. and Cooper, R. (1994).
Incremental interpretation: Applications, theory, and relationship to dynamic semantics.
In Proceedings of the 15th International Conference on Computational Linguistics - COLING'94, pages Incremental Interpretation: Applications, Theory, and Relationship to Dynamic Semantics.
Topical paper on semantics/parsing.

Minnen, G., Gerdemann, D., and Hinrichs, E. (1994).
Direct automated inversion of logic grammars.
New Generation Computing, 14, 131-168.

Mitchell, D. B. and Hunt, R. R. (1989).
How much "effort" should be devoted to memory?
Memory & Cognition, 17, 337-348.

Miyamoto, T. and Kess, J. F. (1993).
On processing empty categories in english and japanese.
In Proceedings of the 1st Association for Computational Linguistics, page On Processing Empty Categories in English and Japanese.
Keywords: sentence processing; psycholinguistic studies of sentence processing; empty categories; Japanese syntax; typological features of Japanese vs. English.

Moens, M., Calder, J., Klein, E., Reape, M., and Zeevat, H. (1989).
Expressing generalizations in unification-based grammar formalisms.
In Proceedings of the 4th Conference of the European Chapter of the Association for Computational Linguistics, pages Expressing Generalizations in Unification-Based Grammar Formalisms.

Moltmann, F. (1989a).
Clauses in an event-based semantics.
MIT. First draft.

Moltmann, F. (1989b).
Mental models in event semantics: Proposals for intensionality.
MIT. First draft.

Moltmann, F. (1992).
Coordination and Comparitives.
Ph.D. thesis, Massachusetts Institute of Technology.
Submitted to the Department of Linguistics and Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy.

Moltmann, F. (1995).
Intensional verbs and quantifiers.
Department of Philosophy, CUNY, Graduate Center.

Moltmann, F. (1996a).
Domain-related dynamic semantics and the weak-strong distinction among quantifiers.
Department of Philosophy, CUNY, Graduate Center.

Moltmann, F. (1996b).
E-type and dynamic approaches to unbound anaphoric pronouns.
Department of Philosophy, CUNY, Graduate Center.

Monnich, U. (1996).
On cloning context-freeness.
In Proceedings of the workshop "Morphology and the Complexity of Language ".

Monz, C. and de Rijke, M. (1998).
A tableaux calculus for ambiguous quantification.
In Proceedings of the Conference Tableaux '98.

Moore, R. C. (1977).
Reasoning about knowledge and action.
In Proceedings of the 5th International Joint Conference on Artificial Intelligence, page Reasoning about Knowledge and Action.

Moore, R. C. (1982).
The role of logic in knowledge representation and commonsense reasoning.
Technical report, Artificial Intelligence Center, SRI International.

Moore, R. C. (1985).
Semantical considerations on nonmonotonic logic.
Artificial Intelligence, 25.

Moore, R. C. (1989).
Unification-based semantic interpretation.
In Proceedings of the 27th Annual Meeting of the Association for Computational LInguistics, pages Unification-Based Semantic Interpretation.

Moortgat, M. (1991).
Generalized quantifiers and discontinuous type constructors.
Technical report, OTS.

Morawietz, F. (1995).
Formalization and parsing of typed unification-based id/lp grammars.
Technical report, Universität Tübingen.

Morawietz, F. and Cornell, T. (1997).
Representing constraints with automata.
Universität Tübingen. cmp-lg/9704006 v2.

Morgenbesser, S. and Mendelson, E. (1966).
Annual meeting of the association for symbolic logic - abstracts of papers.
The Journal of Symbolic Logic, 31, 682-691.

Moss, L. S. and Seligman, J. M. (1994).
Classification domains and information links: A brief survey.
In J. van Eijck and A. Visser, editors, Logic and the Flow Of Information, pages 112-124. Kluwer Academic Publishers.

Moxey, L. M. and Sanford, A. J. (1987).
Quantifiers and focus.
Journal of Semantics, 5, 198-206.

Moxey, L. M. and Sanford, A. J. (1993a).
Fuzzy Quantifier Reading, chapter 4: Focus and Attention Control.
Lawrence Erlbaum Associates.

Moxey, L. M. and Sanford, A. J. (1993b).
Prior expectation and the interpretation of natural language quantifiers.
European Journal of Cognitive Psychology, 5, 73-91.
Human Communication Research Centre, Department of Psychology, University of Glasgow.

Moxey, L. M. and Sanford, A. J. (1995).
Choosing the right quantifier: Usage in the context of communication.
Human Communication Research Center, Department of Psychology, University of Glasgow.

Mullin, T. (1997).
A Compositional Approach to Aspectuality in Czech.
Master's thesis.

Murphy, G. L. and Medin, D. L. (1985).
The role of theories in conceptual coherence.
Psychological Review, 92, 289-316.

Muskens, R. (1990).
Meaning, context and the logic of change.
This is an unfinished paper.

Muskens, R. (1995a).
Order-independence and underspecification.
In J. Groenendijk, editor, Ellipsis, Underspecification, Events and More in Dynamic Semantics, pages 1-17. ILLC/Department of Philosophy, University of Amsterdam.

Muskens, R. (1995b).
Order-independent interpretation and underspecified meanings.
Preliminary and unfinished sketch of first draft.

Nadel, M. (1985).
$\mbox{{\cal L}}_{\omega 1 \omega}$ and admissible fragments.
In K. J. Barwise and S. Feferman., editors, Perspectives in Mathematical Logic. Model-Theoretic Logics, chapter 8, pages 271-316. Springer-Verlag.
Part C - Infinitary Languages.

Nakajima, S. and Allen, J. F. (1993).
A study on prosody and discourse structure in cooperative dialogues.
Technical report, Computer Science Department, University of Rochester.

Narendran, P., O'Dunlaing, C., and Otto, F. (1991).
It is undecidable whether a finite special string-rewriting system presents a group.
Discrete Mathematics, 98, 153-159.

Nebel, B. (1989).
A knowledge level analysis of belief revision.
Technical report, IBM Deutschland GmbH.

Nehaniv, C. L. (1993).
Global structure of finite semigroups and automata.
Technical report, School of Computer Science and Engineering, The University of Aizu.

Nelson, D. G. K. (1988).
When category learning is holistic: A reply to ward and scott.
Memory and Cognition, 16, 79-84.

Nerbonne, J. (1994).
German in Head-Driven Phrase Structure Grammar, volume 109-150, chapter 4-Partial Verb Phrases and Spurious Ambiguities.
CSLI Publications.

Neufeld, E. and Poole, D. (1980).
Probabilistic semantics and defaults.
In Presented at the 4th Uncertainty Workshop. Probabilistic Semantics and Defaults.

Neumann, I. (1996).
Graded inheritance nets for knowledge representation.
In D. M. Gabbay and H. J. Ohlbach, editors, Practical Reasoning, pages 436-448. Springer-Verlag Berlin Heidelberg.

Newell, A. (1981).
The knowledge level.
AI Magazine, 2.

Nicol, J. L. and Pickering, M. J. (1993).
Processing syntactically ambiguous sentences: Evidence from semantic priming.
Journal of Psycholinguistics Research, 22, 207-237.

Niemelä, I. and Rintanen, J. (1994).
On the impact of stratification on the complexity of nonmonotonic reasoning.
Journal of Applied Non-Classical Logics, 4, 141-179.
This is an expanded version of a paper that appeared in the Proceedings of the third International Conference on Principles of Knowledge Representation and Reasoning.

Niggl, K.-H. (1993).
Subrecursive hierarchies on scott domains.
Arch. Math. Logic, 32, 239-257.

Nivre, J. (1991).
Feedback and situation theory.
Technical report, Gothenburg Papers in Theoretical Linguistics.

Nivre, J. (1993).
Communicative action and feedback.
This paper shows how the four basic communicative functions distinguished by Allwood can be derived from the general cybernetic notion of feedback combined with a certain analysis of communicative action.

Nute, D. (1991).
Tense and conditionals.
Technical report, Artificial Intelligence Research Group, Boyd Graduate Studies Center, University of Georgia.
This paper uses many special characters which are lost in the ASCII text version and may be lost in the PostScript version.

Nute, D. (1993).
Defeasible prolog.
Automated Deduction in Nonstandard Logics, 1.

O Donaill (1994).
O Donaill's Dictionary on Computer.
Gleacht Corporation.

Oaksford, M. and Stenning, K. (1992).
Reasoning with conditionals containing negated constituents.
Journal of Experimental Psychology: Learning, Memory and Cognition, 18, 835-850.

Oberlander, J. and Knott, A. (1996).
Issues in cue phrase implicature.
In Working Notes for the AAAI Spring Symposium on Computational Implicature, page Issues in Cue Phrase Implicature.
Stanford, Ca.

O''Brien, D. P. (1993).
Rationality:Psychological and Philosophical perspectives, chapter 3, pages 110-135.
Routledge.

O''Brien, D. P. (1998).
Mental Logic, chapter Introduction: Some Background tro the Mantal-Logic Theory and to the Book, pages 1-6.
Erlbaum.

O'Dunlaing, C. (1983a).
Infinite regular thue systems.
Theoretical Computer Science, 25, 171-192.

O'Dunlaing, C. (1983b).
Undecidable questions related to church-rosser thue systems.
Theoretical Computer Science, 23, 339-345.

O'Dunlaing, C. (1993).
Resolution proofs viewed as automata.
Technical report, Trinity College, Dublin.
Later appeared, slightly abridged in Bulletin of the EATCS 59 (June 1996), 153-156.

Oehrle, R. T. (1979).
A theoretical consequence of constituent structure in tough movement.
Linguistic Inquiry, 10, 583-593.

Ojeda, A. E. (1987).
Discontinuity and phrase structure grammar.
In A. Manaster-Ramer, editor, Mathematics of Language, pages 257-275. John Benjamins, Amsterdam.

Oliphant, M. (1994).
Evolving cooperation in the non-iterated prisoner's dilemma: The importance of spatial organization.
In 1994, editor, Proceedings of the Fourth Artificial Life Workshop.

Oliphant, M. (1996).
The dilemma of saussurean communication.
BioSystems, 37, 31-38.

Oliphant, M. (1997).
Formal Approaches to Innate and Learned Communication: Laying the Foundation for Language.
Ph.D. thesis, University of California, San Diego.

Oliphant, M. and Batali, J. (1997).
Learning and the emergence of coordinated communication.
Centre for Research in Langage, 11.

Olson, D. R. (1991).
Literacy and Orality, chapter 15 - Literacy as Metalinguistic Activity, pages 251-271.
Cambridge: Cup.

Ono, H. (1997).
Decidability and finite model property of substructural logics.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 18, pages 263-274. CSLI Publications.

Osborne, M. and Bridge, D. (1993a).
Inductive and deductive learning of grammar: Dealing with incomplete theories.
In Grammatical Inference Colloquium, Essex University.

Osborne, M. and Bridge, D. (1993b).
Learning unification-based grammars and the treatment of undergeneration.
In Workshop on Machine Learning and Text Analysis.

Osborne, M. and Bridge, D. (1994).
Learning unification-based grammars using the spoken english corpus.
In ICGI-94 Colloquim.

Osherson, D. N. and Smith, E. E. (1981).
On the adequacy of prototype theory as a theory of concepts.
Cognition, 9, 35-58.

Osherson, D. N. and Smith, E. E. (1982).
Gradedness and conceptual combination.
Cognition, 12, 299-318.

Osuna, M. M. and Meskill, C. (1998).
Using the world wide web to integrate spanish language and culture: A pilot study.
Language Learning and Technology, 1, 66-87.

Ovans, R. and Davison, R. (1992).
An interactive constraint-based expert assistant for music composition.
In Proceedings of the Ninth Annual Canadian A.I. Conference, Vancouver.

Paaß, G. (1989).
Conflicting evidence and probabilistic default reasoning.
Publishing information unavailable.

Padgham, L. (1988).
A model and representation for type information and its use in reasoning with defaults.
In Proceedings of the American Association for Artificial Intelligence, page A Model and Representation for Type Information and Its Use in Reasoning with Defaults.
Research Report.

Palmer, M. and Finin, T. (1990).
Workshop on the evaluation of natural language processing systems.
Computational Linguistics, 16, 175-181.

Panangaden, P. and Shanbhogue, V. (1990).
The expressive power of indeterminate dataflow primitives.
Unpublished Manuscript.

Parsons, S. (1994).
Some elements of the theory of qualitative possibilistic networks.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2, 67-90.

Passonneau, R. J. and Litman, D. J. (1993).
Intention-based segmentation: Human reliability and correlation with linguistic cues.
In Association of Computational Linguistics.

Patten, T. and Ritchie, G. (1987).
A formal model of systemic grammar.
In G. Kempen, editor, Natural Language Generation, chapter 18, pages 279-299. Martinus Nijhoff.

Paul, M. (1992).
Prolegomena to a situation-theoretic account of verbal communication.
First draft.

Paul, M. (1993a).
First steps towards a situation-theoretic dialogue model for the maze task.
Draft.

Paul, M. (1993b).
More ideas on a situation-theoretic dialogue model of the maze test.
Applying Situation-Theoretic Tools to Dialogue.

Paul, M. (1993c).
Talking about the same thing: The intersubjectivity of communication.
In International Symposium on Spoken Dialogue.
Keywords : Communication, Reference, Thoughts and Ideas.

Pearl, J. (1988a).
Markov and Bayesian Networks: Two Graphical Representations of Probalistic Knowledge, chapter 3 - Probabilistic Reasoning in Intelligent Systems, pages 77-141.
San Mateo, CA: Morgan Kaufmann.

Pearl, J. (1988b).
Probabilistic Reasoning in Intelligent Systems, chapter 10-Logic and Probability: The Strange Connection, pages 467-517.
San Mateo, CA: Morgan Kaufmann.

Pederson, T. and Chen, W. (1995).
Lexical acquisition via constraint solving.
In AAAI Spring Symposium on Representation and Acquisition of Lexical Knowledge: Polysemy, Ambiguity, and Generativity, Palo Alto, CA.

Pednault, E. P. D. (1987).
Formulating multiagent, dynamic-world problems in the classical planning framework.
In Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, pages Formulating Multiagent, Dynamic-World Problems in the Classical Planning Framework.

Pednault, E. P. D. (1989).
Adl: Exploring the middle ground between strips and the situation calculus.
In Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference, page ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus.

Pelletier, F. J. and Elio, R. (1993).
Some truths about non-monotonic reasoning.
Technical report, Department of Computing Science, University of Alberta.

Peregrin, J. and von Heusinger, K. (1995).
Dynamic semantics with choice functions.
Taken from Workshop Context Dependence in the Analysis of Linguistic Meaning, Prague, February 11-15, 1995.

Pereira, F. C. N. (1983).
Parsing as deduction.
In Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, page Parsing as Deduction. Parsing as Deduction.

Pereira, F. C. N. (1985).
A structure-sharing representation for unification-based grammar formalisms.
In Proceedings of the 23rd Meeting of the Association for Computational Linguistics, pages A Structure-Sharing Representation for Unification-Based Grammar Formalisms.

Pereira, L. M. and Aparicio, J. N. (1990).
Default reasoning as abduction.
Technical Report.

Pereira, L. M., Caires, L., and Alferes, J. (1990).
Classical negation in logic programs.
Prague Workshop on Context.

Perrault, C. R. (1984).
On the mathematical properties of linguistic theories.
Technical report, University of Toronto.

Peters, S. and Ritchie, R. W. (1981).
Phrase-linking grammars.
Draft.

Pickering, M. (1993).
Direct association and sentence processing: A reply to gorell and to gibson and hickok.
Language and Cognitive Processes, 8, 163-196.

Pickering, M. (1994a).
Sentence processing as dependency formation.
No information available.

Pickering, M. and Barry, G. (1991).
Sentence processing without empty categories.
Language and Cognitive Processes, 6, 229-259.

Pickering, M. and Barry, G. (1993).
Dependency categorical grammar and coordination.
Linguistics, 31, 855-902.

Pickering, M. and Shillock, R. (1990).
Processing subject extractions.
In H. Goodluck and M. Rochemont, editors, Island Constraints: Theory, Acquisition and Processing. KLUWER.

Pickering, M., Barton, S., and Shillock, R. (1994).
Unbounded dependencies, island constraints and processing complexity.
In C. C. Jr., L. Frazier, and K. Rayner, editors, Perspectives on Sentence Processing. Erlbaum: Hillsdale, NJ.

Pickering, M. J. (1994b).
Processing local and unbounded dependencies: A unified account.
Journal of Psycholinguistic Research, 23.

Pickering, M. J. and Barry, G. (1989).
Dependency and constituency in categorial grammar.
In G. Barry and G. Morrill, editors, Studies in Categorial Grammar, volume 5, pages 23-45. Centre for Cognitive Science, University of Edinburgh, Working Papers in Cognitive Science, Volume 5.

Pingali, K., Beck, M., Johnson, R., Moudgill, M., and Stodghill, P. (1990).
Dependence flow graphs: An algebraic approach to program dependencies.
Technical report, Advanced Computing Research Institute.
Also appears as CSTR90-1152.

Pinkal, M. (1991).
On the syntactic-semantic analysis of bound anaphora.
Technical report, Universität Saarbrücken.

Pitkow, J. E. and Kehoe, C. M. (1994).
Results from the third www user survey.
The World Wide Web Journal, 1.

Pitkow, J. E. and Recker, M. M. (1994).
Using the web as a survey tool: Results from the second www user survey.
Journal of Computer Networks and ISDN Systems, 27.

Poesio, M. (1993).
Definite descriptions and the dynamics of mental states.
In American Association for Artificial Intelligence 93.

Poesio, M. (1994).
Definite descriptions, focus shift, and a theory of discourse interpretation.
In Workshop on Focus in Natural Language Processing, pages Definite Descriptions, Focus Shift, and a Theory of Discourse Interpretation.

Poesio, M. (1995).
Semantic ambiguity and perceived ambiguity.
Technical report, HCRCP.

Poesio, M. (1996a).
8-semantic ambiguity and perceived ambiguity.
In K. Deemter and S. Peters, editors, Ambiguity and Underspecification, pages 159-201. CSLI Publications.

Poesio, M. (1996b).
Semantic ambiguity and perceived ambiguity.
In K. V. D. . S. Peters, editor, Semantic Ambiguity and Underspecification, pages 159-201. CSLI Publications.

Polanyi, L. (1988).
A formal model of the structure of discourse.
Journal of Pragmatics, 12, 601-638.
An Interdisciplinary Bi-monthly of Language Studies.

Polanyi, L. (1995).
The linguistic structure of discourse.
Technical report, Department of Linguistics, University of Chicago.

Polanyi, L. and van den Berg, M. H. (1995).
Discourse structure and discourse interpretation.
In Proceedings of the Tenth Amsterdam Colloquium: Part 1, page Discourse Structure and Discourse Interpretation.
This paper forms a pair with van den Berg 1996b.

Pollack, M. E. (1990).
Intentions in Communications, chapter 5 - Plans as Complex Mental Attitudes, pages 77-103.
MIT Press.

Pollard, C. and Sag, I. A. (1992).
Anaphors in english and the scope of binding theory.
Linguistic Inquiry, 23, 261-303.

Pollard, C. and Yoo, E. J. (1996).
A unified theory of scope for quantifiers and wh-phrases.
Journal of Linguistics.

Pollard, C., Kasper, R., and Levine, R. (1994).
Studies in constituent ordering : Toward a theory of linearization in head-driven phrase structure grammar.
Research Proposal to the National Science Foundation.

Pollard, C. J. (1984).
Generalized Phrase Structure Grammars, Head Grammars and Natural Language.
Ph.D. thesis, Stanford University.

Pollard, C. J. (1988).
Categorical grammar and phrase structure grammar: An excursion on the syntax-semantics frontier.
In Categorical Grammars and Natural Language Structures, pages 391-415. Reidel Publishing Company.

Pollard, C. J. (1990).
On head non-movement.
In press.

Pollard, C. J. and Moshier, M. D. (1990).
Unifying partial descriptions of sets.
In P. Hanson, editor, Information, Language and Cognition, chapter 10, pages 285-322. University of British Columbia Press.

Popowich, F. (1989).
Tree unification grammar.
In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics. Tree Unification Grammar.

Popowich, F. (1990).
Tree unification grammar, parsing and inheritance networks.
Technical report, Simon Fraser University, Burnaby, BC.

Popowich, F. and Kindersley, S. (1991).
Developing lexical unification-based grammars.
In Informatique & Langue Naturelle, Actes du colloque ILN'91. Developing Lexical Unification-Based Grammars.

Popowich, F. and Vogel, C. (1990).
Chart parsing head-driven phrase structure grammar.
Technical report, Simon Fraser University, Burnaby, BC.

Popowich, F. and Vogel, C. (1991).
A logic based implementation of head-driven phrase structure grammar.
In C. Brown and G. Koch, editors, Natural Language Understanding and Logic Programming, III, pages 227-245. Elsevier, North-Holland.

Popowich, F., McFetridge, P., Fass, D., and Hall, G. (1992).
Processing complex noun phrases in a natural language interface to a statistical database.
In Proceedings of COLING 92: 14th International Conference on Computational Linguistics.

Potter, M. C. (1990).
Remembering.
In D. N. Osherson and E. E. Smith, editors, Thinking, volume 3 of An Invitation to Cognitive Science, chapter 1, pages 3-32. MIT Press.

Priest, G. and Routley, R. (1989).
Systems of paraconsistent logic.
In Paraconsistent Logic: Essays on the Inconsistent, chapter 5, pages 151-186. Munich Philosophia Verlag.

Priest, G., Routley, R., Norman, J., and Arruda, A. I. (1989).
Classical logic aufgehoben.
In A. I. e. a. Arruda, editor, Paraconsistent Logic: Essays on the inconsistent, Analytica, pages 131-148. Philosophia.

Proudian, D. and Pollard, C. (1985).
Parsing head-driven phrase structure grammar.
In Association of Computational Linguistics, pages Parsing Head-Driven Phrase Structure Grammar.

Przepi'orkowski and Adam (1999).
Case Assignment & the Complement/Adjunct Dichotomy. A Non-Configurational Constraint-Based Approach.
Ph.D. thesis, Neuphilologischen Fakultät. Universität Tübingen.

Przepiorkowski, A. (1998).
On case assignmemt and "adjuncts as complements".
To appear in "Lexical and Constructional Aspects of Linguistic Explanation.

Przymusinski, T. C. (1989).
Three-valued formalizations of non-monotonic reasoning and logic programming.
In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming.

Pullum, G. K. (1982).
Free word order and phrase structure rules.
In Proceedings of the 12th Annual Meeting of the Northeast Linguistic Society, page Free Word Order and Phrase Structure Rules.

Pullum, G. K. and Gazdar, G. (1982).
Natural languages and context-free languages.
Linguistics and Philosophy, 4, 471-504.

Pulman, S. G. (1985).
A parser that doesn't.
In Second Congress of the European ACL, page A Parser That Doesn't.

Putnam, H. (1970).
Is semantics possible.
In Metaphilosophy, volume July, page Is Semantics Possible.

Putnam, H. (1979).
Mathematics, Matter and Method, volume 1 of Philosophical Papers, chapter 20 : Philosophy of Logic, pages 323-357.
Cambridge University Press, 2nd edition.

Pynte, J. and Besson, M. (1996).
The time-course of metaphor comprehension: An event-related potential study.
Brain and Language, 55, 293-316.
Article No. 0107.

Quast, J., van den Herik, J., and Aarts, L. (1996).
A generic model for the interpretation of vague norms.
In 1996, editor, Proceedings of the Conference Legal Knowledge Based Systems Jurix '96, page A Generic model for the Interpretation of Vague Norms. A Generic model for the Interpretation of Vague Norms.

R. Dowty, D. (1989).
On the semantic content of the notion of 'the thematic role'.
In 1989, editor, Properties, Types and Meaning, page On the Semantic Content of the Notion of 'The Thematic Role'.
Talk given by David Dowty on Tues, Feb. 18, announced in CSLI, Stanford University's calendar of public events-Feb.

Rabiner, L. R. (1989).
A tutorial on hidden markov models and selected applications in speech recognition.
In IEEE 89, page A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition.

Rambow, O. and Joshi, A. K. (1995).
A processing model for free word order languages.
Technical report, The Institute for Research in Cognitive Science, University of Pennsylvania.

Ramsay, A. (1989).
Extended graph unification.
In Proceedings of the 4th Meeting of the European Association for Computational Linguistics, page Extended Graph Unification.

Rapaport, W. J. (1996).
Cognitive science.
Technical Report 96-4, State University of New York at Buffalo, State University of New York at Buffalo, Buffalo, NY 14260.

Rapp, B. and Caramazza, A. (1997).
The modality-specific organization of grammatical categories: Evidence from impaired spoken and written sentence production.
Brain and Language, 56, 248-286.

Rayner, M. (1989).
Did newton solve the ``extended prediction problem"?
In Proceedings First International Conference on the Foundations of Knowledge Representation.
Toronto, Canada.

Reape, M. (1990).
Getting things in order.
In A. v. H. W. Sijtsma, editor, Proceedings of the Symposium on Discontinuous Constituency. Institute for Language Technology and Artificial Intelligence, Tilburg University, Holland.
Prefinal Draft.

Reape, M. (1991).
Parsing bounded discontinuous constituents: Generalizations of some common algorithms.
To appear in Proceedings of the First Conference on Computational Linguistics.

Reape, M. (1992a).
A Formal Theory of Word Order: A Case Study in West Germanic.
Ph.D. thesis, University of Edinburgh, Centre for Cognitive Science.

Reape, M. (1992b).
Notes on feature logic.
Unpublished Manuscript.

Reed, D. W. and Loveland, D. W. (1992).
Near-horn prolog and the ancestry family of procedures.
Technical report, Department of Computer Science, Duke University, Durham, North Carolina.

Reed, D. W., Loveland, D. W., and Smith, B. T. (1992).
The near-horn approach to disjunctive logic programming.
In Proceedings of the Second Workshop on Extensions of Logic Programming (ELP 91).
CS-1992-19.

Reichman, R. (1978).
Conversational coherency.
Cognitive Science, 2, 283-327.

Reinhart, T. (1995a).
Focus - the pf interface.
Prague Workshop on Context. This is part III of a larger manuscript - Interface Strategies.

Reinhart, T. (1995b).
Topics and the conceptual interface.
Prague Workshop on Context. This is part IV of a larger manuscript - Interface Strategies.

Reis, M. (1995).
Wer glaubst du hat recht? on so-called extractions from verb-second clauses and verb-first parenthetical constructions in german.
Tübingen.

Reiter, R. (1985).
On reasoning by default.
In Readings in Knowledge Representation, pages 210-218. Kaufman.

Ren, X. and Perrault, F. (1992).
The typology of unknown words: An experimental study of two corpora.
In Proceedings of the Conference for Computational Linguistics, page The Typology of Unknown Words: An Experimental Study of Two Corpora.

Rentier, G. (1994).
A lexicalist approach to dutch preposition stranding.
In Proceedings of KONVEN.

Resnik, P. and Melamed, D. (1997a).
Semi-automatic acquisition of domain-specific translation lexicons.
In Proceedings of the fifth Conference on Applied Natural Language Processing.

Resnik, P. and Melamed, I. D. (1997b).
Semi-automatic acquisition of domain-specific translation lexicons.
In Proceedings of the 5th ANLP Conference, 1997.
cmp-lg/9703005.

Restall, G. (1992).
A rather useful logic.
Unpublished manuscript. Department of Philosophy, University of Queensland.

Reyle, U. (1993).
Dealing with ambiguities by underspecification: Construction, representation and deduction.
Journal of Semantics, 10, 123-179.
Oxford University Press.

Reyle, U. (1995a).
Co-indexing labelled drss to represent and reason with ambiguities.
To appear in: Stanley Peters, Kees van Deemter (1995): Semantic Ambiguity and Underspecification, CSLI Publications, Stanford.

Reyle, U. (1995b).
On reasoning with ambiguities.
In Proceedings of the Seventh Conference of the European Chapter of the Association for Computational Linguistics, page On Reasoning with Ambiguities. On Reasoning with Ambiguities.

Riezler, S. (1997a).
Probabilistic constraint logic programming.
Technical report, University of Tubingen.
No. 117 in a series of working reports: Arbeitspapiere des SFB 340.

Riezler, S. (1997b).
Quantitative constraint logic programming for weighted grammar applications.
In Logical Aspects of Computational Linguistics.
cmp-lg/9705006.

Rigau, G., Atserias, J., and Agirre, E. (1997).
Combining unsupervised lexical knowledge methods for word sense disambiguation.
In Proceedings of ACL'97.
cmp-lg/9704007.

Rips, L. J. (1995).
The current status of research on concept combination.
Mind and Language, 10, 72-104.

Ristad, E. S. (1987).
Sources of interactability in gpsg theory.
In A. Manaster-Ramer, editor, Mathematics of Language, pages 277-292. John Benjamins, Amsterdam.

Ristad, E. S. and Thomas, R. G. (1997).
Hierarchial non-emmitting markov models.
In Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics.

Roach, K. (1987).
Formal properties of head grammars.
In A. Manaster-Ramer, editor, Mathematics of Language, pages 293-347. John Benjamins, Amsterdam.

Roeper, P. and Leblanc, H. (1989).
Indiscernibility and identity in probability theory.
Lecture notes.

Roeper, T. (1986).
Implicit arguments, implicit roles and subject/object asymmetry in morphological rules.
Draft.

Roeper, T. (1988).
Questions about the representation of implicit arguments.
UMass.

Rogers, J. (1994).
Capturing cfls with tree adjoining grammars.
In 32nd Annual Meeting of the Association for Computational Linguistics, page Capturing CFLs with Tree Adjoining Grammars.

Rogers, J. and Vijay-Shanker, K. (1992).
Reasoning with descriptions of trees.
In Proceedings of the 30th Annual Meeting of the Association for Computational Linguistics, page Reasoning with Descriptions of Trees. Reasoning with Descriptions of Trees.

Rohrer, C. and Rossdeutscher, A. (1994).
Remarks on the resolution of translation mismatches in contexts using lexically based drs construction.
Institut für Maschinelle Sprachverarbeitung.

Rooth, M. (1986).
Noun phrase interpretation in montague grammar, file change semantics, and situation semantics.
In P. Gärdenfors, editor, Generalized Quantifiers, Studies in Linguistics and Philosophy, pages 237-268. Reidel.

Rooth, M. (1995a).
Ellipsis redundancy and reduction redundancy.
Prague Workshop on Context.

Rooth, M. (1995b).
Ellipsis redundancy and reduction redundancy.
Prague Workshop on Context. This version is a handout.

Rosé, C. P. and Waibel, A. (1994).
Recovering from parser failures: A hybrid statistical/symbolic approach.
In Proceedings of the Balancing Act Workshop at the 32rd Annual Meeting of the ACL.
Las Cruces, New Mexico.

Rosenschein, S. J. and Kaelbling, L. P. (1994).
A situated view of representation and control.
Artificial Intelligence, 73, 1-25.
Appeared in the journal in 1995.

Rott, H. (1988).
Conditionals and theory change: Revision, expansions, and additions.
To appear in Synthese, 81.

Rott, H. (1989a).
On the logic of theory change: More maps between different kinds of contraction function.
Draft.

Rott, H. (1989b).
Two methods of constructing contractions and revisions of knowledge systems.
In 1989, editor, Proceedings of the Tübingen Workshop on Semantic Networks and Non-Monotonic Reasoning, volume June, page Two Methods of Constructing Contractions and Revisions of Knowledge Systems.

Rott, H. (1990a).
A nonmonotonic conditional logic for belief revision-part i: Semantics and logic.
This is a handout.

Rott, H. (1990b).
A nonmonotonic conditional logic for belief revision-part i: Semantics and logic of simple conditionals.
Publishing information unavailable.

Rounds, W. and Zhang, G. Q. (1995).
Domain theory meets default logic.
Journal of Logic and Computation, 5.

Rounds, W., Young, M., and Zhang, G. Q. (1992).
Applications of default domain logic.
To appear.

Rounds, W. C. and Manaster-Ramer, A. (1987).
A logical version of functional grammar.
In Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics, page A Logical Version of Functional Grammar.

Rowland, B. R. (1977).
Combining parsing and evaluation for attributes grammars.
Technical report, Computer Sciences Department, University of Wisconsin-Madison.

Rubin, D. C., Stoltzfus, E. R., and Wall, K. L. (1991).
The abstraction of form in semantic categories.
Memory & Cognition, 19, 1-7.

Rumelhart, D. E., Hinton, G. E., and Williams, R. J. (1986).
Learning representations by back-propagating errors.
Nature, 323, 533-536.

Saacks-Giguette, M. and Lopez, A. (1993).
A frame-based design for the tims and cams metadata for a stennis information management system.
J. Systems Software, 20, 87-92.

Saddock, J. M. and Zwicky, A. M. (1985).
A note on xy languages.
Linguistics and Philosophy, 8, 229-236.

Sag, I., Karttunen, L., and Goldberg, J. (1992).
Lexical Matters, chapter 11, pages 301-318.
Number 24 in Lecture Notes. CSLI Publications.

Sag, I. A. (1983).
On parasitic gaps.
Linguistics and Philosophy, 6, 35-45.

Sag, I. A. (1997).
English relative clause constructions.
To appear in Journal of Linguistics.

Sag, I. A. and Fodor, J. D. (1994).
Extraction without traces.
In Proceedings of the 13th Annual Meeting of the West Coast Conference on Formal Linguistics, page Extraction Without Traces.

Sag, I. A. and Godard, D. (1994).
Extraction of de-phrases from the french np.
In Proceedings of NELS, pages Extraction of De-Phrases from the French NP.

Sag, I. A. and Klein, E. (1982).
Stanford Working Papers in Grammatical Theory.

Sagan, C. (1984).
Sagan introduces a portfolio of machine-made masterpieces.
Science Digest, 70, 52-57.

Sakamoto, K. and Tanaka, Y. (1992).
Unifying vocalog and situation semantics.
In PRICAI 92, page Unifying Vocalog and Situation Semantics.

Sandewall, E. (1988).
Non-monotonic entailment for reasoning about time and action part i: Sequential actions.
Technical report, Department of Computer and Information Science, Linkoping University.

Sanfilippo, A. (1996).
Thematically bound adjuncts.
In S. Balari and L. Dini, editors, HPSG in Romance, chapter 8, pages 359-402. Stanford University.

Sanford, A. J., Moxey, L. M., and Paterson, K. B. (1996).
Attentional focusing with quantifiers in production and comprehension.
Memory and Cognition, 24, 144-155.

Santorini, B. (1990).
Part-of-speech tagging guidelines for the penn treebank project.

Satake, N. (1990).
A computational model of first language acquisition.
In Proceedings of the Pacific Rim International Conference on Artificial Intelligence, 1990, page A Computational Model of First Language Acquisition.

Savitch, W. J. (1989).
A formal model for context-free languages augmented with reduplication.
Computational Linguistics, 15, 250-61.

Schabes, Y. and Shieber, S. M. (1993).
An alternative conception of tree-adjoining derivation.
To appear in Computational Linguistics vol 20, number 1.

Schank, R. C. (1972).
Conceptual dependency: A theory of natural language understanding.
Cognitive Psychology, 3, 552-631.

Schank, R. C. and Rieger III, C. J. (1974).
Inference and the computer understanding of natural language.
Artificial Intelligence, 5, 373-412.

Schank, R. C. and Tesler, L. G. (1969).
A conceptual parser for natural language.
In Proceedings Washington D.C., page A Conceptual Parser for Natural Language.

Schank, R. C., Goldman, N. M., Rieger, C. J., and Riesbeck, C. R. (1975).
Conceptual Information Processing, chapter 2 and 3, pages 5-82.
North-Holland Publishing Co.

Schatz, U. and Lehner, C. (1991).
Implementation of the comprehension unification formalism.
Draft.

Schlechta, K. (1989).
Sceptical inheritance vs. extensions ii - directly sceptical inheritance cannot capture the intersection of extensions.
IBM Germany.

Schlechta, K. (1990).
Classical preferential models - some results on classical preferential models.
University of Hamburg.

Schlechta, K. and Lorenz, S. (1989).
Theory revision on partially ordered defaults.
IBM Germany.

Schmauks, D. (1987).
Natural and simulated pointing.
In Proceedings of the Third Conference of the European Chapter of the Association for Computational Linguistics, page Natural and Simulated Pointing.
Copenhagen, Denmark, 1-3 April 1987.

Schmid, H. (1994).
Probabilistic part-of-speech tagging using decision trees.
In Proceedings of the International Conference on New Methods in Language Processing.

Schneider, D. and McCoy, K. (1998).
Recognizing syntactic errors in the writing of second language learner.
In Proceedings of COLING-ACL '98 in Montreal.

Schöter, A. (1993).
Compiling feature structures into terms: An empirical study in prolog.
Technical report, Centre for Cognitive Science, University of Edinburgh.

Schöter, A. (1994).
Left corner patr parsing in prolog.
Centre for Cognitive Science, University of Edinburgh.

Schöter, A. (1995).
Paraconsistent feature logic.
In A. Schöter and C. Vogel, editors, Nonclassical Feature Systems. Centre for Cognitive Science, University of Edinburgh, Working Papers in Cognitive Science.
Volume 10.

Schouten, J. F. (1985).
Ignorance, knowledge and information.
In Information Theory, pages Ignorance, Knowledge and Information.
Papers read at a Symposium on ``Information Theory" held at the Royal Institution, London, September 12th to 26th 1985.

Schubert, L. K. and Pelletier, F. J. (1987).
Problems in the representation of the logical form of generics, plurals, and mass nouns.
In E. Lepore, editor, New Directions in Semantics, pages 385-451. Academic Press. Harcourt Brace Jovanovich, Publishers.

Schubert, L. K. and Pelletier, F. J. (1989).
Generically speaking, with remarks on the interpretation of pronouns and tenses.
This paper is a development of Schubert and Pelletier (1986).

Schulz, S. M. (1993).
Modal situation theory.
Situation Theory and Its Applications, 4, 163-187.

Schütze, C. T. (1996a).
The Empirical Base of Linguistics, chapter Definitions and Historical Background, pages 19-53.
U. Chicago Press.

Schütze, C. T. (1996b).
The Empirical Base of Linguistics, chapter Definitions and Historical Background, pages 19-53.
U. Chicago Press.

Schütze, C. T. (1996c).
The Empirical Base of Linguistics, chapter Definitions and Historical Background, pages 19-53.
U. Chicago Press.

Schwarzschild, R. (1994).
Plurals, presuppositions and the sources of distributivity.
Natural Language Semantics, 2, 201-48.

Schweizer, P. (1991a).
Indian philosophy of language.
Book review on Indian Philosophy of Language, by Mark Siderits, Klewer Academic Publishers.

Schweizer, P. (1991b).
A metalinguistic treatment of epistemic contexts.
In 1991, editor, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference.

Schweizer, P. (1992).
A syntactical approach to modality.
Journal of Philosophical Logic, 21, 1-31.

Schweizer, P. (1993).
Mind/consciousness dualism in sankhya-yoga philosophy.
Philosophy and Phenomenological Research, 53, 845-859.

Schweizer, P. (1994).
Self-predication and the third man.
In Erkenntnis, pages Self-Predication and the Third Man.

Schwind, C. (1997).
A logic based framework for action theories.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 19, pages 275-291. CSLI Publications.

Scobbie, J. M. (1993).
Constraint violation and conflict from the perspective of declarative phonology.
CJLING, 38, 155-167.

Searle, J. R. (1980).
Minds, brains and programs.
The Behavioral and Brain Sciences, 3.

Searls, D. B. (1988).
Representing genetic information with formal grammars.
In American Association for Artificial Intelligence, page Representing Genetic Information with Formal Grammars.

Searls, D. B. (1989).
Investigating the linguistics of dna with definite clause grammars.
In 1989, editor, Proceedings of the North American Conference 1989, page Investigating the Linguistics of DNA with Definite Clause Grammars.

Segerberg, K. (1971).
Qualitative probability in a modal setting.
In J. Fenstad, editor, Second Scandinavian Logic Symposium, pages 341-352. North-Holland.

Segerberg, K. (1986).
On the logic of small changes in theories i.
Technical report, Department of Philosophy, University of Auckland.
Forthcoming in Acta Philosophica Fennica.

Segerberg, K. (1987).
On the logic of small changes in theories ii.
Technical report, Department of Philosophy, University of Auckland.

Segerberg, K. (1988).
A note on an impossibility theorem of gärdenfors.
Auckland Philosophy Papers, XXIII, 351-354.
Appeared in Nous.

Seidenberg, M. S. (1987).
Visual word recognition and pronunciation: A computational model and its implications.
In W. Marslen-Wilson, editor, Lexical Representation and Process. Cambridge, MA: MIT Press.

Seligman, J. (1993).
Links and informorphisms.
In The Structure of Regularity.

Seligman, J. (1994).
An algebraic appreciation of diagrams.
Institute for Logic, Language and Computation, University of Amsterdam.

Seligman, J. (1996).
Interleaving, pairing, and the bilingual sum.
Keywords: combining logics, modal logic, fibered semantics, interleaving, pairing, bilingual sum.

Seligman, J. and Barwise, J. (1993).
Channel theory: Toward a mathematics of imperfect information flow.
Unpublished manuscript.

Seligman, J. and ter Meulen, A. (1993).
Dynamic aspect trees.
In Third Workshop on Logic and Language, page Dynamic Aspect Trees.
Draft 22-12-92.

Seligman, J. M. (1992).
Situated consequence in elementary situation theory.
University of Edinburgh.

Seligman, M. (1997).
Six issues in speech translation.
In 1997, editor, Spoken Language Translation, page Six Issues in Speech Translation.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Selman, B. and Levesque, H. J. (1989).
The tractability of path-based inheritance.
In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages The Tractability of Path-Based Inheritance. The Tractability of Path-Based Inheritance.

Selman, B. and Levesque, H. J. (1993).
The complexity of path-based defeasible inheritance.
Artificial Intelligence, 62, 303-39.

Seuren, P. A. M. (1997).
Topic and comment.
'The main purpose of this paper is to sketch the history of the topic-comment distinction...'.

Sgall, P. (1995).
Presupposition of existence and of uniqueness and allegation.
Taken from Workshop Context Dependence in the Analysis of Linguistic Meaning, Prague, February 11-15, 1995.

Shannon, T. F. (1992).
Recent Developments in Germanic Linguistics.
Papers presented at the 2nd annual Michigan/Berkeley Germanic Linguistics Roundtable held Apr. 12-14, 1991, at the University ofMichigan in Ann Arbor.

Shapiro, S. (1985).
Second-order languages and mathematical practice.
The Journal of Symbolic Logic, 50, 714-742.

Shapiro, S. C. (1979).
The sneps semantic network processing system.
In Associative Networks, pages 179-203. AP.

Shieber, S. M. (1985).
Using restriction to extend parsing algorithms for complex-feature-based formalisms.
In Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, pages Using Restriction to Extend Parsing Algorithms for Complex-Feature-Based Formalisms. Using Restriction to Extend Parsing Algorithms for Complex-Feature-Based Formalisms.

Shieber, S. M. (1987).
Evidence against the context-freeness of natural language.
In W. J. Savitch, E. Bach, W. Marsh, and G. Safran-Naveh, editors, The Formal Complexity of Natural Language, pages 320-334. Reidel, Dordrecht.

Shieber, S. M. (1994a).
Lessons from a restricted turing test.
Revision 6.

Shieber, S. M. (1994b).
Restricting the weak-generative capacity of synchronous tree-adjoining grammars.
To appear in Computational Intelligence.

Shieber, S. M. and Schabes, Y. (1990).
Synchronous tree-adjoining grammars.
In COLING 90, pages Synchronous Tree-Adjoining Grammars.

Shieber, S. M., van Noord, G., Moore, R. C., and Pereira, F. C. N. (1989).
A semantic-head-driven generation algorithm for unification-based formalisms.
In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, pages A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms.

Shieber, S. M., Schabes, Y., and Pereira, F. C. N. (1994).
Principles and implementation of deductive parsing.
Technical report, Computer Science Department, Harvard University.
cmp-lg/9404008.

Shillcock, R. C. and Bard, E. G. (1992).
Modularity and the processing of closed-class words.
In Second Sperlonga Conference of Cognitive Models of Speech Processing, pages Modularity and the Processing of Closed-Class Words.

Shimony, S. E. and Charniak, E. (1990).
A new algorithm for finding map assignments to belief networks.
Submitted to the Conference on Uncertainty in AI.

Shoham, Y. (1987).
Time for action: On the relation between time, knowledge and action.
Computer Science Department, Stanford University.

Siderits, M. (1991).
Indian Philosophy of Language: Studies in Selected Issues, volume Indian Philosophy of Language: Studies in Selected Issues.
Book, Siderits.

Simmons, K. (1987).
On a medieval solution to the liar paradox.
History and Philosophy of Logic, 8, 121-40.

Simmons, K. (1989a).
The diagonal argument and the liar.
Journal of Philosophical Logic, 18, 1-27.

Simmons, K. (1989b).
A singularity solution to the liar.
Unpublished manuscript.

Simpson, J. and Withgott, M. (1986).
The Syntax of Pronominal Clitics, volume 19 of Syntax and Semantics, chapter Pronominal Clitic Clusters and Templates, pages 149-174.
Academic Press.

Singh, M. P. (1989).
Towards a theory of situated know how.
Artificial Intelligence Laboratory, Microelectronics and Computer Technology Corporation.

Singh, M. P. (1991).
Intentions, commitments and rationality.
In Proceedings with Conference of the Cognitive Science Society, pages Intentions, Commitments and Rationality.

Singleton, D. (1997).
State of the art article: Learning and processing l2 vocabulary.
Language Teaching, 30, 213-225.

Singleton, D. (1999).
Lexical development: An overview.
To appear in Explaining the 2nd Language Mental Lexicon.

Smith, B. C. (1986).
The semantics of clocks.
Technical report, CSLI.

Smith, S. W. and Sturtivant, C. (1992).
Fixed points in spectral complexity.
Technical report, Carnegie Mellon University.

Smith, W. H. (1989).
Problems in applying discourse representation theory.
Technical report, University of Georgia.

Somenzi, V. (1955).
Can induction be mechanized?
In Information Theory, page Can Induction be Mechanized?
Papers read at a Symposium on ``Information Theory" held at the Royal Institution, London, September 12th to 26th 1955.

Soon, H.-S. V. and Tan, A.-H. (1993).
Concept hierarchy networks for inheritance systems: Concept formation, property inheritance and conflict resolution.
In Proceedings of the 15th Annual Conference of the Cognitive Science Society, pages Concept Hierarchy Networks for Inheritance Systems: Concept Formation, Property Inheritance and Conflict Resolution.

S$\oslash$rensen, M. H. (1997).
Properties of infinite reduction paths in untyped $\lambda$-calculus.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 24, pages 353-367. CSLI Publications.

S$\oslash$rensen, P. R. (1984).
Fractals.
Byte, 9, 157-172.

Sotillo and M., S. (2000).
Discourse functions and syntactic complexity in synchronous and asynchronous communication.
Language Learning and Technology, 4(1), 82-119.

Sowa, J. F. (1988).
Conceptual graph notation.
In Proceedings of the Third Annual Workshop on Conceptual Graphs.

Spaan, M. (1992).
Dyadic quantifiers.
Unpublished manuscript.

Spellman, B. A. and Holyoak, K. J. (1996).
Pragmatics in analogical mapping.
Cognitive Science, 31, 307-346.
Article No. 0019.

Spencer, D. (1990).
A survey of categorical computation: Fixed points, partiality, combinators, ...control?

Stabler, E. P. J. (1991).
Avoid the pedestrian's paradox.
In Principle-Based Parsing Computation and Psycholinguistics, pages 199-237. Kluwer Academic Publishers.

Stalnaker, R. (1991).
On what's in the head.
In Philosophical Perspectives, 3: Philosophy of Mind and Action Theory, pages 576-589. Oxford University Press.

Stalnaker, R. C. (1976).
Possible worlds.
Nous, 10, 65-75.

Stede, M. and Schmitz, B. (1997).
Discourse particles and routine formulas in spoken language translation.
In 1997, editor, Spoken Language Translation, page Discourse Particles and Routine Formulas in Spoken Language Translation.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech (ELSNET).

Steedman, M. (1985).
Dependency and coordination in the grammar of dutch and english.
Language - Journal of the Linguistic Society of America, 61, 523-568.

Steedman, M. (1988).
Combinators and grammars.
In R. T. Oehrle, E. Bach, and D. Wheeler, editors, Categorical Grammars and Natural Language Structures, volume 32, pages 417-442. D. Reidel Publishing Co.

Steedman, M. (1997).
Information structure and the syntax-phonology interface.
Draft.

Steedman, M. J. (1990).
Gapping as constituent coordination.
Linguistics and Philosophy, 13, 207-263.

Steedman, M. J. (1996a).
Combinators and grammars.
Draft.

Steedman, M. J. (1996b).
Surface structure and interpretation.
Draft.

Steels, L. and De Smedt, K. (1983).
Some examples of frame-based syntactic processing.
In F. Daems and L. Goossens, editors, Een Spyeghel voor G. Jo Steenbergen. Leuven, Amersfoort: Acco.

Stein, L. A. (1989).
Skeptical inheritance: Computing the intersection of credulous extensions.
In Proceedings of the 11th International Joint Conference on Artificial Intelligence, page Skeptical Inheritance: Computing the Intersection of Credulous Extensions. Skeptical Inheritance: Computing the Intersection of Credulous Extensions.

Stein, L. A. (1992).
Resolving ambiguity in nonmonotonic inheritance hierarchies.
Artificial Intelligence, 55, 259-310.

Stevenson, S. (1993).
Establishing long-distance dependencies in a hybrid network model of human parsing.
In Proceedings of the 15th Annual Conference of the Cognitive Science Society, pages Establishing Long-Distance Dependencies in a Hybrid Network Model of Human Parsing.

Strömbäck, L. (1995).
User-defined nonmonotonicity in unification-based formalisms.
In Proceedings of the ACL.
cmp-lg/9505033.

Strzalkowski, T. (1984).
On the complexity of context-sensitive languages.
Technical report, Simon Fraser University.

Sudman, S. (1980).
Reducing response error in surveys.
The Statistician, 29, 237-73.

Sullivan, S. (1985).
A maze of lost illusions.
Newsweek, 76.

Swinney, D. A. (1979).
Lexical access during sentence comprehension: (re)consideration of context effects.
Journal of Verbal Learning and Verbal Behaviour, 18, 645-59.

Tanaka, K. (1997).
What does paraconsistency do? the case of belief revision.
In Seminar Series: Intelligence and Logic.

Tanenhaus, M. K. and Lucas, M. M. (1987).
Context effects in lexical processing.
In U. Frauenfelder and L. Tyler, editors, Spoken Word Recognition. Cambridge, MA: MIT Press.

Tanenhaus, M. K., Carlson, G., and Trueswell, J. C. (1989).
The role of thematic structures in interpretation and parsing.
Language and Cognitive Processes, 4, 211-234.
1990 Lawrence Erlbaum Associates Limited and VSP Publications.

Teich, E., Firzlaff, B., and Bateman, J. A. (1994).
Emphatic generation: Employing the theory of semantic emphasis for text generation.
Institut für Integrierte Publikations- und Informationssysteme, Darmstadt, Germany.

Tenny, C. (1992).
Lexical Matters, chapter 1.
Number 24 in Lecture Notes. CSLI Publications.

Textor, M. (1995).
Truth and understanding demonstratives.
Technical report, Stanford.

Thiele, H. (1990).
Regulated algebras: A class of new algebraic structures for characterizing default reasoning.
Department of Mathematics, Humboldt University Berlin.

Thomason, R. H. and Horty, J. F. (1988).
Logics for inheritance theory.
In Workshop on Non-Monotonic Reasoning and Lecture Notes on Artificial Intelligence 346, page Logics for Inheritance Theory.

Thomason, R. H. and Touretzky, D. S. (1990).
Inheritance theory and networks with roles.
Draft of a paper to be published in the proceedings of the Catalina Conference on Formal Aspects of Semantic Networks 1988-1989.

Tin, E. and Akman, V. (1995).
Situations and computations: An overview of recent research.
Technical report, Faculty of Engineering, Bilkent University, Turkey.
cmp-lg/9602002.

Tinini, R. (1995).
Cscw overview.
Unpublished Manuscript.

Tipper, S. P. and Driver, J. (1988).
Negative priming between pictures and words in a selective attention task: Evidence for semantic processing of ignored stimuli.
Memory and Cognition, 16, 64-70.

Tjoe-Liong, K. (1987).
A computer model of functional grammar.
In G. Kempen, editor, Natural Language Generation, NATO ASI series, chapter 20, pages 315-331. Martinus Nijhoff.

Tokunaga, T., Iwayama, M., and Tanaka, H. (1992).
Lg$^{2}$: An extension of dcg for handling gaps.
Department of Computer Science, Tokyo Institute of Technology.

Tonhauser, J. (1998).
Reananlyzing neg-raising: Evidence from infinitival constructions in german.

Touretzky, D. S. and Thomason, R. H. (1988).
Nonmonotonic inheritance and generic reflexives.
In Proceedings of the American Association for Artificial Intelligence, page Nonmonotonic Inheritance and Generic Reflexives.

Touretzky, D. S., Thomason, R. H., and Horty, J. F. (1991).
A skeptic's menagerie: Conflictors, preemptors, reinstaters, and zombies in nonmonotonic inheritance.
In Proceedings of the 12th International Joint Conference on Artificial Intelligence. A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonmonotonic Inheritance.

Tovena, L. (1997a).
Neg-raising: negation as failure?
To appear in "Perspective on negation".

Tovena, L. M. (1995).
About any.
University of Edinburgh.

Tovena, L. M. (1996a).
Features of a semantic analysis of negative polarity.
University of Edinburgh.

Tovena, L. M. (1996b).
Negating an ordering relation.
University of Edinburgh.

Tovena, L. M. (1996c).
Polarity sensitivity and negative concord marking.
University of Edinburgh.

Tovena, L. M. (1997b).
Higher sentence negation. the phenomenon of neg-raising.
University of Edinburgh.

Toyota, J. (1997).
Assignment for Lexicology - Pragmatic Force in Phrasal Verbs.
Master's thesis.

Trautwein, M. (1995).
Assessing complexity results in feature theories.
Technical report, ILLC.

Traxler, M. J. and Pickering, M. J. (1996a).
Case-marking in the parsing of complement sentences: Evidence from eye movements.
In press.

Traxler, M. J. and Pickering, M. J. (1996b).
Plausibility and the processing of unbounded dependencies: An eye-tracking study.
Journal of Memory and Language, 35.

Trost, H. and Matiasek, J. (1994).
Morphology with a null-interface.
In Proceedings of the 15th International Conference on Computational Linguistics.

Trudel, A. (1991).
The interval representation problem.
International Journal of Intelligent Systems, 6, 509-547.

Trudel, A. (1996).
Representing allen's properties, events and processes.
Applied Intelligence, 6, 59-65.

Trujillo, A. (1994).
Computing first and follow functions for feature-theoretic grammars.
In COLING 94.

Trujillo, A. (1997).
Determining internal and external indices for chart generation.
To appear in The 7th International Conference on Theoretical and Methodological Issues in Machine Translation (TMI-97).

Tucker, A. B., Nirenburg, S., and Raskin, V. (1986).
Discourse and cohesion in expository text.
In Proceedings of the 10th International Conference on Computational Linguistics - COLING'86, page Discourse and Cohesion in Expository Text.

Turing, A. M. (1950).
Computing machinery and intelligence.
Mind, 236, 433-460.

Turtle, H. and Flood, J. (1995).
Query evaluation: Strategies and optimizations.
Information Processing and Management, 31, 831-850.

van Benthem, J. (1983).
Determiners and logic.
Linguistics and Philosophy, 6, 447-478.
D. Reidel Publishing Co.

van Benthem, J. (1984).
Partiality and nonmonotonicity in classical logic.
Technical report, CSLIREP.

van Benthem, J. (1985a).
The relational theory of meaning.
Draft.

van Benthem, J. (1985b).
Semantic automata, part ii.
Technical report, CSLIREP.
Rough draft.

van Benthem, J. (1986).
Determiners.
In Essays in Logical Semantics, chapter 1, pages 3-24. Dordrecht: Reidel.

van Benthem, J. (1987).
Semantic parallels in natural language and computation.
In Logic Colloquium '87, page Semantic Parallels in Natural Language and Computation.

van Benthem, J. (1988a).
New trends in categorical grammar.
In W. Buszkowski, W. Marciszewski, and J. van Benthem, editors, Categorical Grammar, volume 25, chapter 3, pages 23-33. John Benjamins Publishing Co.

van Benthem, J. (1988b).
The semantics of variety in categorial grammar.
In W. Buszkowski, W. Marciszewski, and J. van Benthem, editors, Categorical Grammar, volume 25, chapter 1, pages 37-55. John Benjamins Publishing Co.

van Benthem, J. and Doets, K. (1983).
Higher-order logic.
In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 1, chapter 1.4, pages 275-329. D. Reidel Publishing Co.

van de Koot, H. (1993).
On the computational complexity of natural language recognition.
University College London.

van den Berg, M. (1995).
Discourse grammar and dynamic logic.
In Proceedings of the Tenth Amsterdam Colloquim.

van der Linden, E.-J. (1989).
Lambek theorem proving and feature unification.
In Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics. Lambek Theorem Proving and Feature Unification.

van der Sandt, R. A. (1992).
Presupposition projection as anaphora resolution.
Journal of Semantics, 9, 333-77.

van der Sloot, K. (1989).
The tendum 2.7 parsing algorithm for dpsg.
Unpublished Manuscript.

van Dijk, V., Entrey, S., Erjavec, T., Plaß, T., and Vogel, C. (1992).
Automated semantic interpretation in instructional domains.
Unpublished Manuscript.

van Eijck, J. (1988).
Generalized quantifiers and partial information.
University of Edinburgh - Unpublished manuscript.

van Gelder, T. (1989).
Compositionality and the explanation of cognitive processes.
In 11th Annual Conference of the Cognitive Science Society, page Compositionality and the Explanation of Cognitive Processes.

van Genabith, J. (1997).
Modular integration and interpretation of principles in cf-psg technology based hpsg processing architectures.
Dublin City University.

van Genabith, J. and Crouch, D. (1996).
Direct and underspecified interpretations of lfg f-structures.
In The 16th International Conference on Computational Linguistics - COLING'96, pages Direct and Underspecified Interpretations of LFG F-Structures.
Version of December 1995.

van Genabith, J. and Crouch, D. (1997).
Interpreting f-structures as udrss.
In ACL-EACL-97, Madrid, Spain, pages Interpreting F-Structures as UDRSs.
Submitted 5 January 1996.

van Genabith, J. A. (1993).
Declarative Reformulations of DRT and their Computational Interpretation.
Master's thesis.

van Hentenvyck, P. (1989).
Constraint Satisfaction in Logic Programming.
Book.

van Hoof, T. and Hoepelman, J. (1989).
Non-monotonicity and conditionals in dialogue logic.
In Tübingen Workshop.

van Lancker, D. (1997).
Rags to riches: Our increasing appreciation of cognitive and communicative abilities of the human right cerebral hemisphere.
Brain and Language, 57, 1-11.
Article No. BL971850.

van Noord, G. (1991).
Head corner parsing for discontinuous constituency.
In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics, page Head Corner Parsing for Discontinuous Constituency.

van Noord, G. (1996).
Fsa utilities: A toolbox to manipulate finite-state automata.
To be published in a volume edited by D. Wood, Springer Verlag.

van Noord, G. (1997).
An efficient implementation of the head-corner parser.
In Association for Computational Linguistics.

van Noord, G. and Bouma, G. (1994).
Adjuncts and the processing of lexical rules.
In Computational Linguistics 1994.

van Noord, G. and Bouma, G. (1996).
Dutch verb clustering without verb clusters.
In P. Blackburn and M. de Rijke, editors, Specifying Syntactic Structures. CSLI Publications.

van Noord, G., Bouma, G., Koeling, R., and Nederhof, M.-J. (1997).
Robust grammatical analysis for spoken dialogue systems.
Natural Language Engineering, 1, 1-47.

van Rooy, R. (1987).
Précis of cohen and levesque: Persistence, intention and commitment.
Working Paper.

Vanderwende, L. (1995).
Ambiguity in the acquisition of lexical information.
In Proceedings of the American Association for Artificial Intelligence 1995 Spring Symposium Series, page Ambiguity in the Acquisition of Lexical Information.
Working notes of the Symposium on Representation and Acquisition of Lexical Knowledge.

Veale, T. and Keane, M. T. (1992).
Conceptual scaffolding: A spatially founded meaning representation for metaphor comprehension.
Computational Intelligence, 8, 494-519.

Velichokovsky, B., Pomplun, M., and Rieser, J. (1996).
Attention and commincation: Eye-movement based research paradigms.
In W. H. Zangmeister, H. S. Stiehl, and C. Freska, editors, Visual Attention and Cognition, pages 125-154.

Veltman, F. (1981).
Data semantics.
In J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof, editors, Formal Methods in the Study of Language, pages 43-63. MCT.

Veltman, F. (1985).
Logics for Conditionals, chapter 3: Data Logic.
University of Amsterdam.

Vendler, Z. (1967).
Causal relations.
The Journal of Philosophy, 64, 704-713.

Verkuyl, H. (1993).
A Theory of Aspectuality: The Interaction Between Temporal and Atemporal Structure, chapter Part 1, pages 3-69.
Cambridge University Press.

Verspoor, C. M. (1994).
Reduction of lexical redundancy via semantically-driven syntactic generalisations.
University of Edinburgh.

Vianu, V. (1997).
Databases.
Discrete Mathematics and Theoretical Computer Science, 31, 97-148.

Vieira, R. and Poesio, M. (1996).
Processing definite descriptions in corpora.
In press.

Vijay-Shanker, K. (1992).
Using descriptions of trees in a tree adjoining grammar.
Computational Linguistics, 18, 481-518.

Vijay-Shanker, K. and Weir, D. J. (1994a).
The equivalence of four extensions of context-free grammars.
Mathematical Systems Theory, 27, 511-546.

Vijay-Shanker, K. and Weir, D. J. (1994b).
The use of shared forests in tree adjoining grammar parsing.
In EACL6, page The Use of Shared Forests in Tree Adjoining Grammar Parsing.

Vijay-Shanker, K., J.Weir, D., and Joshi, A. K. (1986).
Tree adjoining and head wrapping.
In 11th International Conference on Computational Linguistics. Tree Adjoining and Head Wrapping.

Vijay-Shanker, K., Weir, D. J., and Joshi, A. K. (1987).
On the progression from context-free to tree adjoining languages.
In A. Manaster-Ramer, editor, Mathematics of Languages, pages 389-401. John Benjamins, Amsterdam.

Vogel, C. (1991).
Chart parsing discontinuous constituents in prolog.
DPSG Note 16. Rough Draft.

Vogel, C. (1992).
Situation semantics for inheritance reasoning.
Centre for Cognitive Science, University of Edinburgh.

Vogel, C. (1994a).
Review of dynamics, polarity and quantification kanazwa and pinon (eds) csli lecture notes 48, 1994.
In Natural Language Engineering.

Vogel, C. (1994b).
Why develop restrictive theories of grammar?
Unpublished manuscript - Centre for Cognitive Science, University of Edinburgh.

Vogel, C. (1995a).
A history of computational linguistics.
Institute for Computational Linguistics, University of Stuttgart.

Vogel, C. (1995b).
Inheritance Reasoning: Psychological Plausibility, Proof Theory and Semantics.
Ph.D. thesis, University of Edinburgh.

Vogel, C. (1995c).
Relational descriptions in text and context.
Institute for Computational Linguistics, University of Stuttgart.

Vogel, C. (1996a).
Ambiguous trees.
Institute for Computational Linguistics, University of Stuttgart.

Vogel, C. (1996b).
A parametric definition for a family of inheritance reasoners.
New Generation Computing, 15, 247-292.

Vogel, C. (1997).
A generalizable semantics for an inheritance reasoner.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 8, pages 103-121. CSLI Publications.

Vogel, C. and Cooper, R. (1994).
Robust chart parsing with mildly inconsistent feature structures.
In AAAI Technical Report: AAAI 1994 Fall Symposium--Knowledge Representation for Natural Language in Implemented Systems. November 4-6, 1994, New Orleans, LA. A revised version appears in Andreas Schöter and Carl Vogel (eds.) Nonclassical Feature Systems. Edinburgh Working Papers in Cognitive Science, Volume 10. (1995) EUCCS-WP10. pp. 197-216.

Vogel, C. and Erjavec, T. (1994).
Restricted discontinuous phrase structure grammar and its ramifications.
In C. Martin-Vide, editor, Current Issues in Mathematical Linguistics, pages 131-140. Elsevier.

Vogel, C. and Popowich, F. (1996).
A parametric definition for a family of inheritance reasoners.

Vogel, C. and van Genabith, J. (1998).
Two formal models of sense extension and metaphor.

Vogel, C., Popowich, F., and Cercone, N. (1991a).
An examination of redundancy in a declarative specification of path-based inheritance reasoning.
Submitted to The First International Workshop on Logic Programming and Non-Monotonic Reasoning. Washington, DC. July 22-24, 1991.

Vogel, C., Popowich, F., and Cercone, N. (1991b).
A proposed investigation of the representation of unknown words in a unification-based natural language understanding system.
Simon Fraser University, Burnaby, British Columbia.

Vogel, C., Popowich, F., and Cercone, N. (1992).
A declarative specification of path-based reasoning.
Technical report, School of Computing Science, Simon Fraser University, Burnaby, B.C.

Vogel, C., Popowich, F., and Cercone, N. (1993).
Logic-based inheritance reasoning.
In Proceedings of the Ninth Bi-Annual Conference of the Society for the Study of Artificial Intelligence and the Simulation of Behavior, pages Logic-Based Inheritance Reasoning. Logic-Based Inheritance Reasoning.
Appears in, A. Sloman, et al. (eds.), Prospects for Artificial Intelligence. Amsterdam: IOS Press. 1993.

Vogel, C., Hahn, U., and Branigan, H. (1996a).
Cross-serial dependencies are not hard to process.
In Proceedings of the 16th International Conference on Computational Linguistics (COLING '96), pages Cross-Serial Dependencies are not Hard to Process.

Vogel, C. M. (1995d).
Defining psychologically plausible default inheritance reasoners.
Unpublished manuscript, Institute for Computational Linguistics, University of Stuttgart.

Vogel, C. M. (1996c).
Human reasoning with negative defaults.
In D. Gabbay and H. J. Ohlbach, editors, Practical Reasoning, pages 606-621. Lecture Notes in Artificial Intelligence 1085. Berlin :Springer- Verlag.
Proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96. Bonn, Germany, June 1996.

Vogel, C. M. and Bunt, H. (1992).
Representing discontinuous constituency: Motivations and complexity.
In Proceedings of the Pacific Rim International Conference on Artificial Intelligence, Sept 16-18, 1992. Representing Discontinuous Constituency: Motivations and Complexity.

Vogel, C. M. and Tonhauser, J. (1996).
Psychological constraints on plausible default inheritance reasoning.
In L. Aiello, J. Doyle, and S. Shapiro, editors, Knowledge Representation, pages 608-619. San Francisco: Morgan Kaufmann.
Proceedings of the 5th International Conference on Principles and Practice of Knowledge Representation, KR`96. Cambridge, Mass. Nov. 1996.

Vogel, C. M., Hahn, U., and Branigan, H. (1996b).
Cross-serial dependencies are not hard to process.
In Proceedings of the 16th International Conference on Computational Linguistics, pages Cross-Serial Dependencies Are Not Hard to Process.
COLING`96, Copenhagen, Denmark.

von Fintel, K. (1996).
Bare plurals, bare conditionals and only.
Department of Linguistics and Philosophy, Massachuetts Institute of Technology.

von Stechow, A. (1980).
Modification of Noun Phrases. A Challenge for Compositional Semantics.
Theoretical Linguistics, 7, 57-110.

Voorbraak, F. (1993).
Preference-based semantics for nonmonotonic logics.
In Proceedings of the 13th International Joint Conference on Artificial Intelligence.

Voutilainen, A. (1993).
Nptool, a detector of english noun phrases.
In Proceedings of Workshop on Very Large Corpora.
Held at Ohio State University.

Voutilainen, A. and Padró, L. (1997).
Developing a hybrid np parser.
In Proceedings of 5th ANLP, 1997.
cmp-lg/9704009.

Wagner, G. (1990).
The two sources of nonmonotonicity in vivid logic: Weak falsity and inconsistency handling.
Gruppe für Logic, Wissenstheorie und Information, Freie Universität Berlin.

Wahlster, W. (1993).
Verbmobil: Translation of face-to-face dialogs.
Technical report, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, German Research Center for Artificial Intelligence.
Research Report.

Wakita, Y., Kawai, J., and Iida, H. (1997).
Correct parts extraction from speech recognition results using semantic distance calculation, and its application to speech translation.
In 1997, editor, Spoken Language Translation, pages Correct Parts Extraction from Speech Recognition Results Using Semantic Distance Calculation, and its Application to Speech Translation.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Walker, M. A. (1989).
Evaluating discourse processing algorithms.
In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, page Evaluating Discourse Processing Algorithms.

Walker, M. A. (1994).
Experimentally evaluating communicative strategies: The effect of the task.
In Proceedings of the American Association for Artificial Intelligence.

Walker, M. A. and Rambow, O. (1994).
The role of cognitive modeling in achieving communicative intentions.
In Proceedings of the 7th International Workshop on Natural Language Generation.

Walsh, E. (1997).
A Dependency Grammar approach to Machine Translation.

Wang, G. and Suzuki, A. (1992).
Refining incomplete theory using taxonomy.
In Proceedings of the Joint Conference of Artificial Intelligence 1992, page Refining Incomplete Theory Using Taxonomy.

Wang, P. (1993).
Non-axiomatic reasoning system (version 2.2).
A complete but brief description of a previous version of NARS.

Ward, T. B. (1988).
When is category learning holistic? a reply to kemler nelson.
Memory and Cognition, 16, 85-89.

Ward, T. B. and Scott, J. (1987).
Analytic and holistic modes of learning family-resemblance concepts.
Memory and Cognition, 15, 42-54.

Wechsler, S. (1996).
Explaining resultatives without unaccusativity.
Draft.

Wedekind, J. and Kaplan, R. M. (1996).
Squibs and discussions.
Computational Linguistics, 22, 555-559.

Wehrli, E. and Cochard, J.-L. (1997).
Spoken language translation with the its vox system.
In 1997, editor, Spoken Language Translation, page Spoken Language Translation with the ITS Vox System.
Proceedings of a Workshop Sponsored by the Association of Computational Linguistics and by the European Network in Language and Speech.

Weil, S. (1973).
The Illiad: The Poem of Force.
Book.

Weir, D. J. (1992).
A geometric hierarchy beyond context-free languages.
Theoretical Computer Science, 104, 235-261.

Weir, D. J. (1994).
Linear iterated pushdowns.
Computational Intelligence, 10, 431-439.

Weischedel, R. M. and Black, J. E. (1980).
Responding intelligently to unparsable inputs.
American Journal of Computational Linguistics, 6, 97-109.

Weischedel, R. M. and Sondheimer, N. K. (1983).
Meta-rules as a basis for processing ill-formed input.
American Journal of Computational Linguistics, 9, 161-177.

Wellman, M. P. (1990).
Fundamental concepts of qualitative probabilistic networks.
Artificial Intelligence, 44, 257-303.

Weydert, E. (1988).
Doxastic preference logic: A new look at belief revision.
Institut für Maschinelle Sprachverarbeitung.

Weydert, E. (1995).
Default entailment - a preferential construction semantics for defeasible inference.
In 1995, editor, Advances in Artificial Intelligence: Proceedings of the 19th German Annual Conference on Artificial Intelligence, volume September, pages Default Entailment - A Preferential Construction Semantics for Defeasible Inference.

Wharton, R. M. (1974).
Approximate language identification.
Information and Control, 26, 236-255.

Whitelock, P. (1992).
Shake-and-bake translation.
In Proceedings of the Association for Computational Linguistics, pages Shake-And-Bake Translation.

Wiebe, J., Hirst, G., and Horton, D. (1996).
Language use in context.
Communications of the ACM, 39, 102-111.

Wiggins, D. (1980).
Sameness and Substance.
Book.

Wilke, T. and Yoo, H. (1996).
Computing the rabin index of a regular language of infinitve words.
Information and Computation, 130, 61-70.

Wilks, Y. (1996).
Natural language processing.
Communications of the ACM, 39, 60-62.

Wilks, Y. and Ballim, A. (1988).
Multiple agents and the heuristic ascription of belief.
In Cognitive Modeling, page Multiple Agents and the Heuristic Ascription of Belief.

Wilks, Y. and Stevenson, M. (1997).
Sense tagging: Semantic tagging with a lexicon.
In Proceedings of the SIGLEX Workshop ``Tagging Text with Lexical Semantics".
cmp-lg/9705016.

Wilks, Y., Fass, D., Guo, C.-M., McDonald, J. E., Plate, T., and Slator, B. M. (1988).
Machine tractable dictionaries as tools and resources for natural language processing.
In Computational Linguistics, page Machine Tractable Dictionaries as Tools and Resources for Natural Language Processing.

Winograd, T. (1973).
A procedural model of language understanding.
In R. Schank and K. Colby, editors, Computer Models of Thought and Language, pages 153-186. San Francisco: W.H. Freeman.

Winograd, T. (1975).
Frame representations and the declarative/procedural controversy.
In D. G. Bobrow and A. Collins, editors, Representations and Understanding. Academic Press.

Wintner, S. (1997).
An Abstract Machine for Unification Grammars with Application to an HPSG Grammar for Hebrew.
Ph.D. thesis, Israel Institute of Technology.

Wintner, S. and Francez, N. (1995).
Parsing with typed feature structures.
In Proceedings in the Fourth International Workshop on Parsing Technologies.
Prague. cmp-lg/9601010.

Wintner, S., Gabrilovich, E., and Francez, N. (1997).
Abstract Machine for Linguistic Applications.
Israel Institute of Technology, 32000 Haifa, Israel, version 0.2 edition.

Wiren, M. (1987).
A comparison of rule-invokation strategies in context-free chart parsing.
In Proceedings of the Third European Meeting of the Association for Computational Linguistics, Copenhagen, pages A Comparison of Rule-Invokation Strategies in Context-Free Chart Parsing.

Wiren, M. (1989).
Interactive incremental chart parsing.
In Proceedings of the Fourth European Meeting of the Association for Computational Linguistics, Manchester, page Interactive Incremental Chart Parsing.

Wisniewski, E. J. (1996).
Construal and similarity in conceptual combination.
Journal of Memory and Language, 35, 434-453.
Article No. 0024.

Wisniewski, E. J. (1997).
Conceptual combination: Possibilities and esthetics.
In T. B. Ward, S. Smoth, M. Smith, and J. Vaid, editors, Creative Thought: An investigation of Conceptual Structures and Processes, pages 51-81. American Psychological Assosication.

Witton, N. (1997).
A simple concordancer.
On-Call, 8.

Wu, D. (1994a).
Aligning a parallel english-chinese corpus stastically with lexical criteria.
In ACL - 94.

Wu, D. (1994b).
Aligning a parallel english-chinese corpus statistically with lexical criteria.
In Proceedings of the 32nd ACL Conference at Las Cruces.

Yamauchi, T. and Markman, A. B. (1998).
Category learning by inference and classification.
Journal of Memory and Language, 39, 124-148.

Yates, J., Bessman, M., Dunne, M., Jertson, D., Sly, K., and Wendelboe, B. (1988).
Are conceptions of motion based on a naive theory or an prototypes?
Cognition, 29, 251-275.

Yip, M. (1982).
Reduplication and c-v skeleta in chinese secret languages.
Linguistic Inquiry, 13, 637-661.

Yuill, N., Perner, J., Pearson, A., Peerbhoy, D., and van den Ende, J. (1995).
Children's changing understanding of wicked desires: From objective to subjective and moral.
Technical report.

Zadeh, L. A. (1982).
A note on prototype theory and fuzzy sets.
Cognition, 12, 291-297.

Zadeh, L. A. (1987).
Mind over machine: The power of human intuition and expertise in the era of the computer.
Forefront, 20, 110-111.
Mind Over Machine reviewed bYZadeh, ectaully written by Hurbert L. Dreyfus and Stuart E. Dreyfus.

Zadrozny, W. (1988).
A three-level theory of reasoning.
IBM T. J. Research Center, New York.

Zaslavsky, I. (1997).
On a logically but not functionally complete calculus in three-valued logic.
In J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy, and E. Vallduvi, editors, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, chapter 21, pages 309-313. CSLI Publications.

Zeevat, H. (1987).
Text structure in discourse representation theory.
In 1987, editor, Proceedings of an Alvey/SERC Sponsored Workshop, page Text Structure in Discourse Representation Theory.
Held at University of Stirling.

Zelinski, E. M. and Hyde, J. C. (1996).
Old words, new meanings: Aging and sense creation.
Journal of Memory and Language, 35, 689-707.
Article No. 0036.

Zimmerman, T. E. (1995).
Possossivpronomina und die zweiteilung des lexikons.
Taken from Workshop Context Dependence in the Analysis of Linguistic Meaning, Prague, February 11-15, 1995.



Carl Vogel 2008-07-28