das Auswerten von Datenbank-Anfragen ( Model-Checking für die Logik erster Stufe und Datalog )
Konsistenz- und Subsumtionsprobleme in der Wissenrepräsentation ( Erfüllbarkeit in geeigneten logischen Formalismen, z.B. Modallogiken oder Fragmenten der Logik erster Stufe )
In der Vorlesung werden wichtige Methoden und Techniken vorgestellt, um
www-mgi.informatik.rwth-aachen.dethe evaluation of database queries ( model checking for first-order logic and Datalog )
consistency and subsumption problems in knowledge representation ( satisfiability tests for suitable logical formalisms, such as modal logics, description logics, or fragments of first-order logic )
In this course we will, on the basis of numerous examples, present methods and techniques that permit us
www-mgi.informatik.rwth-aachen.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.Hier kannst du uns Verbesserungen dieses PONS-Eintrags vorschlagen:
Wie kann ich Übersetzungen in den Vokabeltrainer übernehmen?
Bitte beachte, dass die Vokabeln in der Vokabelliste nur in diesem Browser zur Verfügung stehen. Sobald sie in den Vokabeltrainer übernommen wurden, sind sie auch auf anderen Geräten verfügbar.