Exportieren
Filter
Medientyp
Sprache
Region
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Zugriff
  • 1
    Buch
    Buch
    Cambridge [u.a.] :Cambridge Univ. Press,
    UID:
    almafu_BV036503095
    Umfang: XIX, 601 S. : , graph. Darst.
    Ausgabe: 2. ed., paperback ed.
    ISBN: 978-0-521-87625-4 , 978-0-521-15011-8
    Sprache: Englisch
    Fachgebiete: Informatik , Mathematik
    RVK:
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Informatik ; Terminologische Logik ; Aufsatzsammlung ; Aufsatzsammlung
    Mehr zum Autor: Baader, Franz 1959-
    Bibliothek Standort Signatur Verfügbarkeit
    FU Berlin Campusbibliothek, Neubau Untergeschoss - Selbstausleihe/Nutzung vor OrtST 120 B111(2)Präsenz­bestand
    TH Brandenburg Magdeburger Str., Bibliothek0TXE021(02)-01+03Verfügbar
    TH Brandenburg Magdeburger Str., Bibliothek1TXE021(02)-01+01Verfügbar
    TH Brandenburg Magdeburger Str., Bibliothek0TXE021(02)-01+02Nicht verfügbar
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Cambridge :Cambridge University Press,
    UID:
    almahu_9948234145102882
    Umfang: 1 online resource (xix, 601 pages) : , digital, PDF file(s).
    Ausgabe: Second edition.
    ISBN: 9780511711787 (ebook)
    Inhalt: Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge representation systems based on description logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique resource for the subject, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
    Anmerkung: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , An introduction to description logics / D. Nardi and R.J. Brachman -- Basic description logics / F. Baader and W. Nutt -- Complexity of reasoning / F.M. Donini -- Relationships with other formalisms / U. Sattler, D. Calvanese, and R. Molitor -- Expressive description logics / D. Calvanese and G. De Giacomo -- Extensions to description logics / F. Baader, R. Küsters, and F. Wolter -- From description logic provers to knowledge representation systems / D.L. McGuinness and P.F. Patel-Schneider -- Description logic systems / R. Möller and V. Haarslev -- Conceptual modeling with description logics / A. Borgida and R.J. Brachman -- Software engineering / C.A. Welty -- Configuration / D.L. McGuinness -- Medical informatics / A. Rector -- OWL : a description-logic-based ontology language for the semantic web / I. Horrocks [and others] -- Natural language processing / E. Franconi -- Description logics for databases / A. Borgida, M. Lenzerini, and R. Rosati -- Description logic terminology / F. Baader.
    Weitere Ausg.: Print version: ISBN 9780521876254
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Cambridge ; : Cambridge University Press,
    UID:
    almafu_9960119214302883
    Umfang: 1 online resource (xix, 601 pages) : , digital, PDF file(s).
    Ausgabe: 2nd ed.
    ISBN: 1-107-19865-8 , 1-283-14940-0 , 0-511-71313-4 , 9786613149404 , 0-511-71230-8 , 0-511-72245-1 , 0-511-71437-8 , 0-511-71178-6 , 0-511-71563-3
    Inhalt: Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge representation systems based on description logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique resource for the subject, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
    Anmerkung: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , An introduction to description logics / D. Nardi and R.J. Brachman -- Basic description logics / F. Baader and W. Nutt -- Complexity of reasoning / F.M. Donini -- Relationships with other formalisms / U. Sattler, D. Calvanese, and R. Molitor -- Expressive description logics / D. Calvanese and G. De Giacomo -- Extensions to description logics / F. Baader, R. Küsters, and F. Wolter -- From description logic provers to knowledge representation systems / D.L. McGuinness and P.F. Patel-Schneider -- Description logic systems / R. Möller and V. Haarslev -- Conceptual modeling with description logics / A. Borgida and R.J. Brachman -- Software engineering / C.A. Welty -- Configuration / D.L. McGuinness -- Medical informatics / A. Rector -- OWL : a description-logic-based ontology language for the semantic web / I. Horrocks [and others] -- Natural language processing / E. Franconi -- Description logics for databases / A. Borgida, M. Lenzerini, and R. Rosati -- Description logic terminology / F. Baader. , English
    Weitere Ausg.: ISBN 0-521-15011-6
    Weitere Ausg.: ISBN 0-521-87625-7
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 9780521110198?
Meinten Sie 9780521015011?
Meinten Sie 9780521101318?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz