Skip to main content
SpringerLink
Log in
Book cover

GWAI-89 13th German Workshop on Artificial Intelligence pp 477–478Cite as

Feature-Logik

  • Conference paper

Part of the book series: Informatik-Fachberichte ((2252,volume 216))

Zusammenfassung

Feature-Logik ist die überraschend einfache und universelle Grundlage für die von Computerlinguisten entwickelten Unifikationsgrammatiken und den für Wissensrepräsentation und Logikprogrammierung entworfenen ψ-Termkalkül von Aït-Kaci. Ich werde zunächst diese Anwendungen skizzieren und mich danach auf Feature-Logik als logischen Formalismus konzentrieren. Mit dem Vortrages will ich zeigen, daß die logische Fundierung von aus Anwendungen enstanden Wissensrepräsentationsformalismen wesentlich zu deren Verständnis, Vereinfachung und Erweiterung beitragen kann.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Literatur

  • H. Aït-Kaci, An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theoretical Computer Science 45, 1986, 293–351.

    Article  MathSciNet  MATH  Google Scholar 

  • H. Aït-Kaci and R. Nasr, LOGIN: A Logic Programming Language with Built-In Inheritance. The Journal of Logic Programming, 1986, 3, 185–215.

    Article  Google Scholar 

  • M. Höhfeld and G. Smolka, Definite Relations over Constraint Languages. LILOG Report 53, IBM Deutschland, West Germany, October 1988.

    Google Scholar 

  • H.J. Levesque and R.J. Brachman, Expressiveness and Tractability in Knowledge Representation and Reasoning. Computational Intelligence 3, 1987, 78–93.

    Article  Google Scholar 

  • W.C. Rounds and R.T. Kasper, A Complete Logical Calculus for Record Structures Representing Linguistic Information. Proc. of the First IEEE Symposium on Logic in Computer Science, Boston, 1986, 38–43.

    Google Scholar 

  • S. Shieber, An Introduction to Unification-Based Approaches to Grammar. CSLI Lecture Notes 4, Stanford University, 1986.

    Google Scholar 

  • G. Smolka, A Feature Logic with Subsorts. LILOG Report 33, IBM Deutschland, West Germany, May 1988. To appear in the proceedings of the Workshop on Unification Formalisms—Syntax, Semantics and Implementation, Titisee, The MIT Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IWBS, IBM Deutschland, 7000, Stuttgart 80, Germany

    Gert Smolka

Authors
  1. Gert Smolka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computerlinguistik, Universität Bielefeld, Postfach 8640, D-4800, Bielefeld 1, Germany

    Dieter Metzing

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Smolka, G. (1989). Feature-Logik. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_56

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-75100-4_56

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51743-6

  • Online ISBN: 978-3-642-75100-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation