Computational Logic:(28 Vorlesungen TUHH 2008-2014)

Link:
Autor/in:
Erscheinungsjahr:
2014
Medientyp:
Text
Beschreibung:
  • Einführung

    Boolesche Algebra und Resolution

    SAT 2KNF

    Prädikatenlogik

    Unifikation und Resolution

    Grundlagen der Logikprogrammierung

    Programming in Prolog

    Constraint-Logic-Programming

    Description Logics: Syntax, Semantics, Decision Problems, Applications, Tableau Algorithm for Deciding Abox Consistency

    Temporal Logics
Lizenz:
  • info:eu-repo/semantics/openAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/17b3164d-0f19-4fda-8faf-a6a8a8139a30