A. Projet and E. Acord, The Construction and Interrogation of Knowledge Base using Natural Language Text and Graphics ; Des articles seront prochainement publiés dans des revues et conférences. Pour une bibliographie provisoire s

H. Aït-kaci and R. Nasr, Login: a logic programming language with built-in inheritance, The Journal of Logic Programming, vol.3, issue.3, pp.3-1986
DOI : 10.1016/0743-1066(86)90013-0

H. Aït-kaci and P. Lincoln, LIFE: A Natural Language for Natural Language, 1988.

A. J. Benjamin, /. Cummings, C. Attardi, G. Simi, and M. , Natural Language UnderstandingConsistency and Completeness of Omega, a Logic for Knowledge Representation, ALLE IJCAI, vol.87, issue.81, 1981.

J. Barwise and R. Cooper, Generalized Quantifiers and Natural Language, Linguistics and Philosophy, vol.4, 1981.
DOI : 10.1002/9780470758335.ch3

J. Barwise and J. Perry, Situations and Attitudes, The Journal of Philosophy, vol.78, issue.11, 1983.
DOI : 10.2307/2026578

M. Bates and R. Weischedel, Evaluating Natural Language Interfaces, BATE Tutorial Session ACL, vol.87, issue.87, 1987.

D. Beaugrande, R. Dressler, and W. , Introduction to Text Linguistics ; Longman Linguistics Library, 1981.

B. Biebow, Enrichissement de réseau sémantique à partir de connaissances exprimées en langage naturel, Congrès AFCET-RFIA, vol.87, 1987.

B. Boguraev and K. Spark-jones, A note on a study of cases, CL, vol.87, issue.13, pp.1-2, 1987.

B. Boguraev, J. Carrol, T. Briscoe, and C. Grover, Software support for practical grammar development, Proceedings of the 12th conference on Computational linguistics -, 1988.
DOI : 10.3115/991635.991647

R. J. Brachman, What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks, Computer, vol.16, issue.10, p.10, 1983.
DOI : 10.1109/MC.1983.1654194

R. J. Brachman and J. G. Schmolze, An Overview of the KL-ONE Knowledge Representation System*, Cognitive Science, vol.16, issue.10, 1985.
DOI : 10.1207/s15516709cog0902_1

R. J. Brachman and H. Lesveque, Readings in Knowledge Representation, 1985.

R. J. Brachman, V. P. Gilbert, and H. J. Levesque, AN ESSENTIAL HYBRID REASONING SYSTEM: KNOWLEDGE AND SYMBOL LEVEL ACCOUNTS OF KRYPTON, IJCAI, vol.85, 1985.
DOI : 10.1016/B978-0-934613-53-8.50024-8

R. J. Brachman, I lied about the Trees' or Default and Definitions in Knowledge Representation, The AI Magazine, vol.6, issue.3, 1985.

R. J. Brachman and D. L. Mcguinness, Knowledge representation, connectionism and conceptual retrieval, Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval , SIGIR '88, 1988.
DOI : 10.1145/62437.62448

G. Bracon, La spécification de logiciel dans l'industrie Bigre n° 58 ; Actes des journées AFCET sur la Spécification de logiciel, 1988.

R. Kaplan and J. Bresnan, Lexical Functional Grammar : A Formal System for Grammatical Representation", in The Mental Representation of Grammatical Relations, 1982.

T. Briscoe, C. Grover, B. Boguraev, and J. Caroll, A Formalism and Environment for the Development of a Large Grammar of English, BRIS IJCAI, vol.87, issue.87, 1987.

. Burt, R. R. Burton, and J. S. Brown, Toward a Natural-Language Capability for Computer- Assisted Instruction, Procedures for Instructional Systems Development, 1979.

J. Calder, E. Klein, and H. Zeevat, Unification Categorial Grammar, Proceedings of the 12th conference on Computational linguistics -, 1988.
DOI : 10.3115/991635.991653

J. Calder, E. Klein, M. Moens, and M. Reape, English Parser6 ; Projet ESPRIT 393 ACORD "Construction and Interrogation of Knowledge Bases using Natural Language Text and Graphics, ACORD Deliverable T1, 1988.

J. G. Carbonell and R. D. Brown, Anaphora resolution, Proceedings of the 12th conference on Computational linguistics -, 1988.
DOI : 10.3115/991635.991656

D. Carter, E. Bonte, J. Castaing, P. Grandemange, S. Grumbach et al., Interpreting Anaphors in Natural Language Texts [CAST 88Description générale d'un raisonneur à profondeur variable, 1987.

J. D. Mccawley, Everything That Linguits Have Always Wanted to Know about Logic ; Univ, 1981.

. Chan, T. Chanier, and C. Sedogbo, AVAG: Un outil pour les grammaires de traits, 1986.

T. Chanier, C. Sedogbo, and M. Salkoff, Deliverable of Task 1.5, Projet ESPRIT ACORD, vol.87, 1987.

T. Chanier and C. Fournier, ACTES: Knowledge Acquisition from Texts for a Specification ExpertInteraction Homme-Machine et Intelligence Artificielle dans les domaines de l'Aéronautique et de l, Conférence Internationale, 1988.

. Chan, T. Chanier, and C. Fournier, Le système ACTES : Formalisme et Environnement , Le prototype, Manuel du poste de travail, 1989.

E. Charniak, Jack and Janet in Search of a Theory of Knowledge, IJCAI, vol.73, 1973.

S. Martin and F. D. Doladille, Un système d'aide à la définition de logiciel, Actes des journées BIGRE, vol.82, issue.82, 1982.

N. Chomsky, Syntactic Structures, Structures syntaxiques, 1957.
DOI : 10.1515/9783110218329

O. Bensadoun and C. Chrisment, Huge and Complex Objects: Document Handling, Recherche et Developpement dans les industries de la langue ; Cours AFCET

A. Colmerauer, Un sous-ensemble int??ressant du fran??ais, RAIRO. Informatique th??orique, vol.13, issue.4, 1979.
DOI : 10.1051/ita/1979130403091

A. Colmerauer and R. Kittredge, Présentation du système ORBIS, COLING, vol.82, 1982.

R. Cooper, Meaning representation in Montague grammar and situation semantics, Computational Intelligence, vol.2, issue.1, 1987.
DOI : 10.1111/j.1467-8640.1987.tb00172.x

D. Coulon and D. Kayser, Informatique et langage naturel : Présentation générale des méthodes d'interprétation des textes écrits, Technique et Science Informatique, vol.5, issue.2, 1986.

R. Schank, C. Riesbeck, N. J. , and L. Erlbaum, SAM" in Inside Computer Understanding, Hillsdale, pp.75-89, 1981.

D. A. Dahl, Focusing and reference resolution in PUNDIT, Proceedings of the workshop on Strategic computing natural language , HLT '86
DOI : 10.3115/1077146.1077161

J. Dekl-86-]-de-kleer, An assumption-based TMS, Artificial Intelligence, vol.28, issue.2, 1986.
DOI : 10.1016/0004-3702(86)90080-9

M. Dincbas, P. Van-hentenryck, H. Simonis, A. Aggoun, T. Graf et al., The Constraint Logic Programming Language Chip, International Conference on Fifth Generation Computer, 1988.

J. Doyle, A truth maintenance system, Artificial Intelligence, vol.12, issue.3, 1979.
DOI : 10.1016/0004-3702(79)90008-0
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA078419

A. Eisele and J. Dörre, A lexical functional grammar system in PROLOG, Proceedings of the 11th coference on Computational linguistics -, 1986.
DOI : 10.3115/991365.991525

A. Eisele and J. Dörre, Unification of Disjonctive Feature Descriptions Structures, ACL, vol.88, 1988.

R. S. Engelmore and A. J. Morgan, Blackboard Systems, 1988.

R. Evans, ProGram ??? a development tool for GPSG grammars, Linguistics, vol.23, issue.2, 1985.
DOI : 10.1515/ling.1985.23.2.213

J. Fargues, M. C. Landau, A. Duguourd, and L. Catach, Conceptual graphs for semantics and knowledge processing, IBM Journal of Research and Development, vol.30, issue.1, 1986.
DOI : 10.1147/rd.301.0070

R. E. Filman, Reasoning with worlds and truth maintenance in a knowledge-based programming environment, Communications of the ACM, vol.31, issue.4, 1988.
DOI : 10.1145/42404.42405

C. Froidevaux and D. Kayser, Inheritance in Semantics Networks and in Default Logic, Non Standard Logics for Automated Reasoning, Smets P.& al, 1988.

G. Gazdar, COMIT => PATR-II" TINLAP-3: Theoretical Issues in Natural Language Processing, 1987.

G. Gazdar, G. K. Pullum, R. Carpenter, E. Klein, T. E. Hakari et al., Category structures, CL, vol.14, issue.1, 1988.

J. J. Granacki, A. C. Parker, and Y. Arens, Understanding system specifications written in natural language, International Joint Conference on Artificial Intelligence IJCAI, 1987.

B. Grosz, A. K. Joshi, and S. Weinstein, Providing a unified account of definite noun phrases in discourse, Proceedings of the 21st annual meeting on Association for Computational Linguistics -, 1983.
DOI : 10.3115/981311.981320

B. Grosz and C. Sidner, Attention, Intentions, and the Structure of Discourse, AJCL, vol.12, issue.3, pp.juil-sept, 1986.

F. Guenthner and H. Lehman, Rules for pronominalization, Proceedings of the first conference on European chapter of the Association for Computational Linguistics -, 1983.
DOI : 10.3115/980092.980117

F. Guenthner, H. Lehman, and W. Schonfeld, A theory for the representation of knowledge, IBM Journal of Research and Development, vol.30, issue.1, 1986.
DOI : 10.1147/rd.301.0039

M. Halliday and R. Fawcett, New Developments in Systemic Linguistics, 1985.

Z. Harris, Methods in Structural Linguistics, 1951.

G. Heyer, T. Van-hoof, K. Luther, and P. Ovenhausen, Collaboration between Domain and Dialog Manager, Deliverable T5.10 ; projet ESPRIT ACORD, n° P393, 1988.

F. M. Lang and L. Hirschman, Improved portability and parsing through interactive acquisition of semantic information, Proceedings of the second conference on Applied natural language processing -, 1988.
DOI : 10.3115/974235.974245

J. Hobbs, Resolving pronoun references, Anaphora in Natural Language Understanding, 1978.
DOI : 10.1016/0024-3841(78)90006-2
URL : http://doi.org/10.1016/0024-3841(78)90006-2

L. Iordanskaja, R. Kittredge, and A. Polguère, Implementing a Meaning-Text Model for Language Generation, supplément aux actes du congrès COLING, vol.88, issue.88, 1988.

J. Jaffar, Efficient unification over infinite terms, New Generation Computing, vol.22, issue.2, 1984.
DOI : 10.1007/BF03037057

J. Jaffar and J. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, 1987.
DOI : 10.1145/41625.41635

A. Joshi, Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions?, 1985.
DOI : 10.1017/CBO9780511597855.007

R. M. Kaplan, A general syntactic processor" in Natural Language Processing, 1973.

L. Karttunen, Discourse Referents, Syntax and Semantics, vol.7, 1976.
DOI : 10.3115/990403.990490

L. Karttunen, Features and Values, COLING, vol.84, 1984.
DOI : 10.3115/980491.980499

S. M. Shieber, L. Karttunen, and F. Pereira, Notes from the Unification Underground : A compilation of Papers on Unification-based Grammar Formalisms, 1984.

R. T. Kasper and W. C. Rounds, D-PATR : A Development Environment for Unification-Based GrammarsA Logical Semantics for Feature Structures, COLING, vol.86, issue.86, 1986.

R. T. Kasper, Feature Structures : A Logical Theory with Application to Language Analysis, 1987.

R. T. Kasper, A Unification Method for Disjonctive Feature Descriptions, ACL, vol.87, issue.87, 1987.

R. T. Kasper, Conditional descriptions in Functional Unification Grammar, Proceedings of the 26th annual meeting on Association for Computational Linguistics -, 1988.
DOI : 10.3115/982023.982052

M. Kay, Functional Grammar, Proc. 5th Annual Meeting of the Berkeley Linguistics Society, 1979.
DOI : 10.3765/bls.v5i0.3262

M. Kay, Parsing in Functional Unification Grammar", in Natural Language Parsing, 1982.

K. R. Mckeown and C. Paris, Functional unification grammar revisited, Proceedings of the 25th annual meeting on Association for Computational Linguistics -, 1987.
DOI : 10.3115/981175.981189

R. Grishman and R. Kittredge, To the editor, The Journal of Emergency Medicine, vol.10, issue.4, 1986.
DOI : 10.1016/0736-4679(92)90282-X

E. Klein, VP Ellipsis in DR Theory" in Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, pp.161-187, 1984.

P. Isabelle, An Other Look at Nominal Compounds, COLING, vol.84, issue.84, 1984.
DOI : 10.3115/980491.980600
URL : http://www.aclweb.org/anthology/P84-1109

J. M. Lancel, M. Otani, N. Simonin, and L. Danlos, Analyse et génération de phrases dans le cadre d'un dialogue en langage naturel, Colloque Informatique et Langue Naturelle, 1988.

H. J. Levesque and R. J. Brachman, Expressiveness and tractability in knowledge representation and reasoning, Computational Intelligence, vol.2, issue.2, 1987.
DOI : 10.1016/0004-3702(84)90054-7

K. Luck, B. Nebel, C. Petalson, and A. Schmiedel, The Anatomy of the BACK-System, 1986.

S. Lytinen and A. Gershman, ATRANS: Automatic Processing of Money Transfer Messages, AAAI, vol.86, 1986.

H. Maeda, Parsing Japanese honorifics in unification-based grammar, Proceedings of the 26th annual meeting on Association for Computational Linguistics -, 1988.
DOI : 10.3115/982023.982040

I. A. Zolkovskij and A. K. , Towards a Functioning 'Meaning-Text' Model of Language, Linguistics ; n° 57, 1970.

I. A. Polguère and A. , A Formal Lexicon in the Meaning-Text Theory, pp.3-4, 1987.

R. Montague, The proper Treatment of quantification in ordinary English, Formal Philosophy, 1974.

. Mori and J. Y. Morin, Theories syntaxique et théorie du parsage, 1985.

M. D. Moshier and W. C. Rounds, A logic for partially specified data structures, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, 1987.
DOI : 10.1145/41625.41639

F. Ommani and C. Sedogbo, Principles and Implementation of a Theorem Prover Based on the Tableau Calculus, Journées européennes sur les méthodes logiques en IA, 1988.

M. S. Palmer, D. A. Dahl, R. J. Shiffman, L. Hirschman, M. Linebarger et al., Recovering Implicit Information, ACL, vol.86, 1986.
DOI : 10.1007/978-0-585-35958-8_31
URL : http://www.aclweb.org/anthology/P86-1004

P. F. Patel-schneider, A four-valued semantics for terminological logics, Artificial Intelligence, vol.38, issue.3, 1989.
DOI : 10.1016/0004-3702(89)90036-2

C. Peltason, K. Luck, B. Nebel, and A. Schmiedel, The User's Guide to the BACK System, 1987.

F. C. Pereira and D. Warren, Definite clause grammars for language analysis???A survey of the formalism and a comparison with augmented transition networks, Artificial Intelligence, vol.13, issue.3, 1980.
DOI : 10.1016/0004-3702(80)90003-X

F. Pereira and D. Warren, An Efficient and Easily Adaptable System for Interpreting Natural Language Queries, PERE, vol.828, pp.3-4, 1982.

F. C. Pereira and S. M. Shieber, The Semantics of Grammar Formalisms Seen as Computer Languages, PERE ACL et COLING, vol.84, issue.84, 1984.

F. C. Pereira, Grammars and Logics of Partial Information, Proc. of the International Conference on Logic Programming, 1987.

F. C. Pereira and S. M. Shieber, Prolog and Natural Language Analysis ; CSLI Lecture Notes ; Center for the Study of Language and Information, 1987.

F. C. Pereira and M. E. Pollack, An Integrated Framework for Semantic and Pragmatic Interpretation, ACL, vol.88, 1988.

J. M. Pierrel, Dialogue oral homme-machine, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00525166

C. Pollard and I. Sag, Information-based Syntax and Semantics ; CSLI Lecture Notes ; Center for the Study of Language and Information, 1985.

H. H. Porter, Incorporating inheritance and feature structures into a Logic Grammar formalism, Proceedings of the 25th annual meeting on Association for Computational Linguistics -, 1987.
DOI : 10.3115/981175.981207
URL : http://www.aclweb.org/anthology/P87-1032

J. M. Pujin, Contribution à l'étude des Raisonnements Non-Monotones: Le Tableur Logique, Thèse université Paris VII, 1988.

. Rau, P. S. Jacobs, and L. F. Rau, Natural Language Techniques for Intelligent Information Retrieval, 11° ACM/SIGIR Conference on Research & Development in Information Retrieval, 1988.

E. Rich and S. Luperfoy, An architecture for anaphora resolution, Proceedings of the second conference on Applied natural language processing -, 1988.
DOI : 10.3115/974235.974239

B. Grosz, K. Jones, and B. Webber, Readings in Natural Language Processing, 1986.

J. Robinson, DIAGRAM: A Grammar for Dialogues, Communication of the Association for Computing Machinery CACM, vol.25, issue.1, 1982.

C. Kasper and R. , A Complete Logical Calculus for Record Structures Representing Linguistic Information, IEEE Symposium on Logic in Computer Science, 1986.

M. Saeki, H. Horai, K. Toyama, N. Uematsu, and H. Enomoto, Specification Framework Based on Natural Language, Fourth International Workshop on Software Specification and Design, 1987.

G. Salton, Automatic Text Processing, 1989.

R. Schank, R. Abelson, and N. J. Hillsdale, SCRIPTS, PLANS, GOALS, AND UNDERSTANDING, 1977.
DOI : 10.1016/B978-1-4832-1446-7.50019-4
URL : https://hal.archives-ouvertes.fr/hal-00692030

R. Schank and A. Kass, Natural Lanfguage Processing: What is Really Involved ? " TINLAP-3: Theoretical Issues in Natural Language Processing, 1987.

A. Schmiedel, C. Peltason, B. Nebel, and K. V. Luck, A case Study in Knowledge Representation, 1986.

L. Schubert and F. J. Pelletier, From English to Logic: Context-Free Computation of 'Conventional Logical Translations, 1984.

L. Seligmann, P. Taillibert, and A. Vivancos, Définition de logiciel en langue naturel, Journée de Synthèse Langage Naturel, 1985.

. Sell and P. Sells, Restrictive and Non-Restrictive Modification, CSLI Report, 1985.

. Sell and P. Sells, Lectures on Contemporary Syntactic Theories ; CSLI Lecture Notes ; Center for the Study of Language and Information, 1985.

B. Selman, Connectionist systems for natural language understanding, Artificial Intelligence Review, vol.9, issue.1, 1989.
DOI : 10.1007/BF00139194

L. Sterling and E. Shapiro, The Art of Prolog, IEEE Expert, vol.2, issue.2, 1986.
DOI : 10.1109/MEX.1987.4307074

S. M. Shieber, H. Uskoreit, F. Pereira, J. Robinson, and . Tyson, The formalism and implementation of PATR-II", in Research on Interactive Acquisition and Use of Knowledge, 1983.

S. M. Shieber, The Design of a Computer Language for Linguistics Information, COLING, vol.84, 1984.

S. M. Shieber, An introduction to unification-based approaches to grammar, CSLI Lecture Notes ; Center for the Study of Language and Information, 1986.

S. M. Shieber, Separating Linguistic Analysis from Linguistic Theories, Linguistic Theory and Computer Applications, 1987.
DOI : 10.1007/978-94-009-1337-0_2

C. L. Sidner, Towards a Computational Theory of Definite Anaphora Comprehension in English Discourse, MIT-AI TR-537, 1979.

M. Brady and R. Berwick, Focusing in the Comprehension of Definite Anaphora", in Computational Models of Discourse, 1983.

G. Smolka and H. Aït-kaci, Inheritance hierarchies: Semantics and unification, Journal of Symbolic Computation, vol.7, issue.3-4, 1989.
DOI : 10.1016/S0747-7171(89)80016-1
URL : http://doi.org/10.1016/s0747-7171(89)80016-1

R. Sugimura, K. Hasida, K. Akasaka, K. Hatano, Y. Kubo et al., A Software Environment for Research into Discourse Understanding Systems, International Conference on Fifth Generation Computer Systems, 1988.
DOI : 10.1007/978-1-4471-3156-4_29

. Tena and H. R. Tenant, Menu-based Natural Language Understanding, ACL, vol.83, 1983.

G. Bouma, E. König, and H. Uszkoreit, A flexible graph-unification formalism and its application to natural-language processing, IBM Journal of Research and Development, vol.32, issue.2, p.2, 1988.
DOI : 10.1147/rd.322.0170

B. Vauquois and C. Boitet, Automated Translation at Grenoble University, 1985.

L. Wada, H. Asher, and N. , La composante matérielle des structures textuellesBUILDRS : An Implementation of DR Theory and LFG, COLING, vol.82, issue.86

H. Wada and N. Asher, A Computational Account of Syntactic, Semantic and Discourse Principles for Anaphora Resolution, 1987.

D. L. Waltz, Connectionist models, Proceedings of the 1987 workshop on Theoretical issues in natural language processing -, 1987.
DOI : 10.3115/980304.980317

Y. A. Wilks, X. Huang, and D. C. Fass, Syntax, Preference and Right Attachment, IJCAI, vol.85, 1985.