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.deOvde možete ostaviti obaveštenje o greškama u ovom unosu ili predloge za poboljšanja:
Kako funkcioniše izvoz u trener vokabulara?
Lista sa vokabularom nalazi se samo u veb-brauzeru. Nakon izvoza vokabulara u trener, ona će biti svuda dostupna.