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.deAquí podrás indicarnos un error existente en esta entrada de PONS o proponernos alguna rectificación:
¿Cómo puedo transferir las traducciones al Entrenador de vocabulario?
Ten en cuenta que los términos de la lista de vocabulario solo están disponibles en este navegador. En cuanto los hayas transferido al Entrenador de vocabulario estarán disponibles desde cualquier dispositivo.