Skip to main content
SpringerLink
Log in

An overview of plidis a problem solving information system with German as query language

  • Chapter
  • First Online:
Natural Language Communication with Computers

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 63))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Chang, C.L. & Lee, R. (1970): Symbolic Logic and Mechanical Theorem Proving.-Academic Press, New York.

    Google Scholar 

  • Dilger, W. (1976a): Ein Frage-Antwort-System auf der Basis einer prädikatenlogischen Sprache.-Proceedings of the workshop in ‘Dialoge in natürlicher Sprache und Darstellung von Wissen', Freudenstadt, 1976, p. 31ff.

    Google Scholar 

  • -(1976b): Verbindungsgraph und Auswahlfunktion.-unpubl. working paper, IdS, Mannheim.

    Google Scholar 

  • Ginsburg, S. & Partee, B. (1969): A Mathematical Model of Transformational Grammars.-In: Information and Control 15 (1969), pp. 297–334.

    Article  Google Scholar 

  • Hayes, P.J. (1971): A Logic of Actions.-In: B. Meltzer & D. Michie (eds.): Machine Intelligence 6. Edinburgh.

    Google Scholar 

  • -(1974): Some Problems and Non-problems in Representation Theory.-Proceedings of the 1974 AISB Summer Conference, pp. 63ff.

    Google Scholar 

  • Kolb, D. & Lutz, H.D. (1975): Verarbeitung von Netzwerken.-ISLIB-Info I–4, IdS, Mannheim.

    Google Scholar 

  • -& Wulz, H. (1975): Allgemeine Beschreibung und Kurzanleitung für die Benutzung von ISLIBBörse.-ISLIB-Info I-1, IdS, Mannheim.

    Google Scholar 

  • Kowalski, R. (1975): A Proof Procedure Using Connection Graphs.-In: Journal of the ACM, 22(4).

    Google Scholar 

  • Teitelman, W. (1974): INTERLISP Reference Manual.-XEROX Palo Alto Research Center, Palo Alto.

    Google Scholar 

  • Thomason, R. (1972): A Semantic Theory of Sortal Incorrectness.-In: Journal of Philosophical Logic 1, pp. 209–258.

    Article  Google Scholar 

  • Urmi, J. (1975): INTERLISP /360 and /370 User Reference Manual.-Uppsala University Data Center, Uppsala.

    Google Scholar 

  • Woods, W.A. (1973): An Experimental Parsing System for Transition Network Grammars.-In: Rustin, R. (ed.): Natural Language Processing. New York.

    Google Scholar 

  • Wulz, H. (1976): Konzept einer Theorie einer übersetzungsgrammatik.-unpubl. ms., IdS, Mannheim.

    Google Scholar 

  • Zifonun, G. (1974): KS: eine formale Sprache zur kanonischen Darstellung natürlicher Inhalte in einem automatischen Frage-Antwort-System.-Arbeitspapier LDV-MA-73-3, IdS, Mannheim.

    Google Scholar 

  • -(1976): Die Konstruktsprache KS. Entwurf eines Darstel-lungsmittels für natürlichsprachlich formulierte Information.-working paper, IdS, Mannheim.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für deutsche Sprache, Postfach 5409, D-6800, Mannheim 1

    G. L. Berry-Rogghe & H. Wulz

Authors
  1. G. L. Berry-Rogghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Wulz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Leonard Bolc

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Berry-Rogghe, G.L., Wulz, H. (1978). An overview of plidis a problem solving information system with German as query language. In: Bolc, L. (eds) Natural Language Communication with Computers. Lecture Notes in Computer Science, vol 63. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031370

Download citation

  • DOI: https://doi.org/10.1007/BFb0031370

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08911-7

  • Online ISBN: 978-3-540-35765-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation