Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Model based deduction for knowledge representation [position paper]

Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2

Erscheinungsjahr: 2002

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Website
Geprüft:Bibliothek

Inhaltszusammenfassung


  • Knowledge Representation
  • Logic Programming
  • Model Computation
  • Terminological Languages
  • Theorem Proving

Autoren


Baumgartner, Peter (Autor)

Klassifikation


DFG Fachgebiet:
- ohne Zuordnung

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte


Verknüpfte Personen