Automatic translation of natural language system specifications into temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 360-371

  Nelken, Rani ^a   Francez, Nissim ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER AIDED ANALYSIS; COMPUTER CIRCUITS; LINGUISTICS; MODEL CHECKING; RECONFIGURABLE HARDWARE; SPECIFICATIONS; TEMPORAL LOGIC;

AUTOMATIC TRANSLATION; DISCOURSE REPRESENTATION; NATURAL LANGUAGE SPECIFICATIONS; NATURAL LANGUAGE SYSTEMS; NATURAL LANGUAGES; TEMPORAL RELATION; TRANSLATION METHOD;

TRANSLATION (LANGUAGES);

EID: 84957367505     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_83     Document Type: Conference Paper

References (18)

1. E. M. Clarke, O. Grumberg, H. Hiraishi, S. Jha, D. E. Long, K. L. McMillan, and L. A. Ness. Verification of the futurebus+ cache coherence protocol. In L. Claesen, editor, Proceedings of the Eleventh International Symposium on Computer Hardware Description Langugages and their Applications, North Holland, 1993.
2. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Expressibility results for finear time and branching time logic. A CM transactions on Programming Languages and Systems, 8(2):244-263, 1986.
3. J. Dörre and M. Dorna. Cuf- a formalism for linguistic knowledge representation. In J. Dörre, editor, Computational Aspects of Constraint - Based Linguistic Description, volume 1. ILLC/Department of Philosophy, University of Amsterdam, Amsterdam, 1993. DYANA 2 deliverable R.1.2.A.
4. A. Fantechi, S. Gnesi, G. Ristori, M. Carenini, M. Vanoechi, and P. Moresehini. Assisting requirement formalization by means of natural language translation. Formal Methods in System Design, 4:243-263, 1994.
5. N. E. Fuchs and R. Schwitter. Specifying logic programs in controlled natural language. In Proceedings of the Workshop on Computational Logic for Natural Language Processing. A Joint COMPULOGNET/ELSNET/EA GLES Workshop, Edinburgh, 1995.
6. O. Grumberg and R.P. Kurshan. How linear can branching-time be? In D. M. Gabbay and H. J. Ohlbach, editors, First International Conference on Temporal Logic (ICTL '94). Lecture Notes in Artificial Intelligence 827, pages 180-194, Bonn, Germany, 1994. Springer-Verlag.
7. E. W. Hinrichs. Temporale anaphora im englischen. Unpublished Statexamen Thesis. University of Tuebingen., 1981.
8. H. Kamp. A theory of truth and semantic representation. In T. Janssen J. Groenendijk and M. Stokhof, editors, Formal Methods in the Study of Language, pages 277-322. Mathematical Center, Amsterdam, 1981.
9. H. Kamp and U. Reyle. A calculus for first order discourse representation structures. Bericht Nr.16-1991 Arbeitspapier des Sonderforschungsbereich 340, Institut für Maschinelle Sprachverarbeitung, Universitgt Stuttgart, 1991.
10. H. Kamp and U. Reyle. From Discourse to Logic, volume 42 of Studies in Linguistics and Philosophy. Kluwer Academic Publishers, 1993.
11. E. König. A study in grammar design. Arbeitspapier 54 des Sonderforschungsbereich 340. Institut fiir Maschinelle Sprachverarbeitung, Universität Stuttgart, 1994.
12. E. König. Lexgram - a practical categorial grammar formalism. In Proceedings of the Workshop on Computational Logic for Natural Language Processing. A Joint COMP UL 0 GNE T/ELSNET/EA GLES Workshop, Edinburgh, Scotland, 1995.
13. J. Lambek. The mathematics of sentence structure. American mathematical monthly, 65:154-170, 1958.
14. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer - Verlag, 1991o
15. K. L. Mcmillan. Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, Carnegie Mellon University, 1992.
16. R. Nelken and N. Francez. Spfitting the reference time: temporal anaphora and quantification. In Proceedings of the EA CL '95 - The seventh meeting of the European Chapter of the Association for Computational Linguistics, Dublin, Ireland, 1995. Also available as Technical Report LCL-94-10 of the Laboratory for Computational Linguistics, The Teehnion IIT.
17. B. Partee. Nominal and temporal anaphora. Linguistics and Philosophy, 7:243-286, 1984.
18. C. Pollard and I. A. Sag. Head Driven Phrase Structure Grammar. University of Chicago Press, Chicago, 1994.