Schon, Claudia - Institut für Informatik, Universität Koblenz-Landau

• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Precompiling ALC TBoxes and Query Answering Ulrich Furbach and Claudia Obermaier 1
• Institut fur Informatik SS '11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS '10/11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS '10/11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS '10/11 Ulrich Furbach www.uni-koblenz.de/~uli
• Klausur zur Vorlesung Kunstliche Intelligenz
• Klausur zur Vorlesung Kunstliche Intelligenz I (WS09/10)
• Institut fur Informatik SS 09 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS 09 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS 09 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Aufgabe 35: Gegeben sind die folgenden Aussagen
• Bei der Prologprogrammierung benutzen wir zwei Komponenten
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS '10/11 Ulrich Furbach www.uni-koblenz.de/~uli
• LinklessLinkless Normal FormNormal Form for ALC Conceptsfor ALC Concepts
• A Knowledge Compilation Technique for ALC Tboxes Ulrich Furbach and Heiko Gunther and Claudia Obermaier
• Institut fur Informatik SS '11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Knowledge Compilation for Description Logics Ulrich Furbach and Claudia Obermaier
• Modal Logic Modal logic is concerened with the investigation of modalities in logics.
• Institut fur Informatik SS '11 Ulrich Furbach www.uni-koblenz.de/~uli
• Aufgabe fur die Ubungsstunde: Gegeben sei das Diagnosebeispiel aus der Vorlesung
• Institut fur Informatik SS '07 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik SS '11 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS 11/12 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS 11/12 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS 11/12 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS 11/12 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS 11/12 Ulrich Furbach www.uni-koblenz.de/~uli
• Institut fur Informatik WS 11/12 Ulrich Furbach www.uni-koblenz.de/~uli