Filtern
Erscheinungsjahr
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (355) (entfernen)
Sprache
- Deutsch (270)
- Englisch (84)
- Mehrsprachig (1)
Schlagworte
- Vorlesungsverzeichnis (55)
- Forschen in Koblenz (7)
- Junges Forschen (7)
- Wissenschaft Koblenz (7)
- Bluetooth (4)
- computer clusters (4)
- ontology (4)
- Knowledge Compilation (3)
- Petri-Netze (3)
- parallel algorithms (3)
Institut
- Zentrale Einrichtungen (171)
- Fachbereich 4 (132)
- Institut für Informatik (38)
- Institut für Wirtschafts- und Verwaltungsinformatik (35)
- Institut für Management (32)
- Institute for Web Science and Technologies (15)
- Institut für Computervisualistik (12)
- Institut für Anglistik und Amerikanistik (7)
- Institut für Evangelische Theologie (7)
- Institut für Kulturwissenschaft (7)
Achte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Sechste Ordnung zur Änderung der Prüfungsordnung für die Prüfung in den Masterstudiengängen für das Lehramt an Grundschulen, das Lehramt an Realschulen plus, das Lehramt an Förderschulen sowie das Lehramt an Gymnasien an der Universität Koblenz-Landau
Fünfte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Ordnung zur Aufhebung der Masterprüfungsordnung für den Weiterbildenden Fernstudiengang "Energiemanagement" an der Universität Koblenz-Landau
Erste Ordnung zur Änderung der Masterprüfungsordnung für den Weiterbildenden Fernstudiengang "Energiemanagement" an der Universität Koblenz-Landau
Redaktionelle Korrektur betreffend die Promotionsordnung des Fachbereichs 1: Bildungswissenschaften der Universität Koblenz-Landaurn
Dritte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der Universität Koblenz-Landau und der Hochschule Koblenz
Zweite Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang für das Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau und der Hochschule Koblenz
Erste Ordnung zur Änderung der Diplomprüfungsordnung für den Weiterbildenden Fernstudiengang Angewandte Umweltwissenschaften an der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Siebte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landaurn
Fünfte Ordnung zur Änderung der Prüfungsordnung für die Prüfung in den Masterstudiengängen für das Lehramt an Grundschulen, das Lehramt an Realschulen plus, das Lehramt an Förderschulen sowie das Lehramt an Gymnasien an der Universität Koblenz-Landau
Sechste Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-LandaurnrnErste Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang BioGeoWissenschaften der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang "Sozialwissenschaften" und den Masterstudiengang "Sozial- und Kommunikationswissenschaften" des Fachbereichs 6: Kultur und Sozialwissenschaften an der Universität Koblenz-Landau
Fünfte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für den Bachelorstudiengang und den Masterstudiengang "Psychologie" des FachbereichsrnPsychologie der Universität Koblenz-Landau, Campus Landau
This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to effciently delete assertions from the ABox. Furthermore, insertion of assertions as well as repair of inconsistent ABoxes is addressed. For the computation of the necessary actions for deletion, insertion and repair, the E-KRHyper theorem prover is used.
Promotionsordnung des Fachbereichs 7: Natur- und Umweltwissenschaften der Universität Koblenz-Landau, Campus Landau
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau für das Studienjahr 2014
Masterprüfungsordnung für den Weiterbildenden Fernstudiengang "Energiemanagement" an der Universität Koblenz-Landau
Fünfte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau
Zweite Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Promotionsordnung des Fachbereichs 1: Bildungswissenschaften der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für Studierende des Bachelorstudiengangs und des Masterstudiengangs "Kulturwissenschaft" des Fachbereichs 2: Philologie / Kulturwissenschaften an der Universität Koblenz-Landau