Institut für Informatik - Dokumentenserver - Universität Leipzig

Weitere Magazine

Empfehlungen

Info

3.3.6.3 Publikationen - Alferes, J.; Herre, H.; Pereira, L. - M.: Partial Models of Extended Generalized Programs: 149 - 163; Computational Logic-CL2000, London, July 24 - 28, 2000 - Ho Ngoc Duc: Resource-Bounded Reasoning about Knowledge; Dissertation, 2000 3.3.6.4 Vorträge - Herre, H.: Partial Models of Extended Generalized Programs; Conference Computational Logic-CL2000, London July 24 - 28, 2000 72
3.3.7 Intelligente Systeme 3.3.7.1 Personelle Zusammensetzung Univ.-Professor Prof. Dr. Gerhard Brewka wiss. Mitarbeiter Prof. Dr. Andreas Schierwagen wiss. Mitarbeiter Prof. Dr. Ralf Der wiss. Mitarbeiter Dr. habil. Steffen Lange wiss. Mitarbeiter Dr. habil. Frank Wolter wiss. Mitarbeiter (DFG) Dr. Richard Booth wiss. Mitarbeiter (DFG) Oliver Kutz (seit August 2000) wiss. Mitarbeiterin (BMWI) Kathrin Speich (seit Oktober 2000) Sekretärin Renate Schildt 3.3.7.2 Projekte Formale Modelle des Entscheidens und Argumentierens (Brewka, Lange, Wolter) Die Künstliche Intelligenz befasst sich seit einigen Jahren verstärkt mit der Erforschung von Multi-Agenten Systemen. Ein Agent in einem solchen System muss in der Lage sein, mit anderen Agenten in Verhandlungen zu treten, <strong>für</strong> die eigenen Positionen zu argumentieren, sowie trotz unvollständiger Information sinnvolle Entscheidungen zu treffen. Das Forschungsgebiet untersucht formale Modelle des Argumentierens, Verhandelns und der Kompromissfindung. Dabei spielen insbesondere Begriffe wie Effizienz und Fairness eine wichtige Rolle. Aufbauend auf diesen Untersuchungen sollen qualitative Modelle der Entscheidungsfindung erforscht werden. Nichtklassische Logiken und ihre Anwendung in der Künstlichen Intelligenz (Brewka, Wolter) Eine adäquate Modellierung von Wissen ist eines der wichtigsten Ziele der Künstlichen Intelligenz. In diesem Forschungsvorhaben werden Wissensrepräsentationstechniken entwickelt und untersucht, deren Ausdrucksmächtigkeit deutlich über die von herkömmlichen Standardtechniken hinausgeht, welche sich im wesentlichen an der klassischen Logik orientieren. Insbesondere werden hier Inferenzverfahren untersucht, die eine geeignete Behandlung von Ausnahmen, von Inkonsistenzen sowie von Präferenzen in Wissensbasierten Systemen ermöglichen. 73
Seite 1 und 2:
Universität Leipzig Institut für
Seite 3 und 4:
Vorwort ...........................
Seite 5 und 6:
Vorwort Im Jahr 2000 hat sich das I
Seite 7:
Universität sehr ungünstig. Zur U
Seite 11 und 12:
Prof. Dr. Klaus-Peter Fähnrich, ge
Seite 13 und 14:
schwerpunkte sind multimediale und
Seite 15 und 16:
Prof. Dr. Ralf Der, geb. 1942 in Br
Seite 17 und 18:
2. Organisation, Mitarbeit und Mitg
Seite 19 und 20:
2.2 Funktionen und Gremienmitarbeit
Seite 21 und 22:
Rahm, E.: - Haushaltskommission der
Seite 23 und 24: Gerber, S.: - Projektleiter im BLK-
Seite 25 und 26: - Mitglied des Fachgruppe 3.1.2 (Bi
Seite 27 und 28: Herre, H.: - Zentralblatt (2) Heyer
Seite 29 und 30: - Reports in Mathematical Logic (1)
Seite 31 und 32: Müller, R.: - ACM - Gesellschaft f
Seite 33 und 34: 3. Forschung Zunächst erfolgt eine
Seite 35 und 36: Stankovic, Vladimir 01.09.2000 - 30
Seite 37 und 38: - Prof. Kebschull: System Managemen
Seite 39 und 40: Forschergruppe Service Engineering
Seite 41 und 42: - Fähnrich, K.-P.: Workflow-Manage
Seite 43 und 44: Modularisierung (Gerber, Schötz) D
Seite 45 und 46: Electronic Publishing (Heyer/Wolff)
Seite 47 und 48: - Wolff, Ch.: Structuring and Proce
Seite 49 und 50: der Bildsegmente durch geometrisch
Seite 51 und 52: Fehlerschutz mit einer Biterrorrate
Seite 53 und 54: FREIKOM (DFG-Projekt) (Melle, Trieb
Seite 55 und 56: Inhaltsbasiertes 3D Model-Retrieval
Seite 57 und 58: OpenGL basierendens Visualisierungs
Seite 59 und 60: 3.3.4.3 Publikationen - Burkhardt,
Seite 61 und 62: - Melle, M.: Components of Intersho
Seite 63 und 64: - Die Einführungsvorlesung "Datenb
Seite 65 und 66: Parallele Datenbanksysteme (Märten
Seite 67 und 68: Im Berichtszeitraum wurden daneben
Seite 69 und 70: Web Usage Mining (Rahm, Stöhr) Der
Seite 71 und 72: - Decker, S.; Mitra, P.; Melnik, S.
Seite 73: 3.3.6 Formale Konzepte 3.3.6.1 Pers
Seite 77 und 78: Modellierung und Computersimulation
Seite 79 und 80: - Werner, H.; Schierwagen, A.: Cate
Seite 81 und 82: 3.3.8 Rechnernetze und Verteilte Sy
Seite 83 und 84: Entwicklung und Einsatz von Telemat
Seite 85 und 86: 3.3.9 Parallelverarbeitung und komp
Seite 87 und 88: tionierungsstrategie, welche die Ko
Seite 89 und 90: lel Computing 2000 (LCPC'00), IBM T
Seite 91 und 92: 3.3.10 Technische Informatik Die Ab
Seite 93 und 94: Steuerung eines Hardwareemulators (
Seite 95 und 96: 3.3.11 Versicherungsinformatik 3.3.
Seite 97 und 98: 3.4 Graduierungsarbeiten am Institu
Seite 99 und 100: Dr. Wolff, Christian: Dynamische El
Seite 101 und 102: 12. Hoop, K.-U.: Einsatz von Metada
Seite 103 und 104: 3.5 Messebeteiligungen CeBIT99, in
Seite 105 und 106: 3.6.3 3. Halle - Leipziger Seminar
Seite 107 und 108: Puppe, B. (Deutschland)Computer-Bas
Seite 109 und 110: 20.12.2000 Saupe, D., Universität
Seite 111 und 112: 3.7.4 Theorie-Seminar 19.12.2000 No
Seite 113 und 114: zw. eine Studienarbeit zu absolvier
Seite 115 und 116: lagen der Sprachverarbeitung, des a
Seite 117 und 118: 4.3 Lehrveranstaltungen im SS00 GRU
Seite 119 und 120: PRAKTISCHE INFORMATIK Vorlesungen D
Seite 121 und 122: SCHWERPUNKT ANGEWANDTE INFORMATIK V
Seite 123 und 124: MEDIZININFORMATIK Vorlesungen Biolo
Seite 125 und 126:
Übungen, Praktika und Seminare Alg
Seite 127 und 128:
HAUPTSTUDIUM Spezialvorlesungen SCH
Seite 129 und 130:
Übungen, Praktika und Seminare Art
Seite 131 und 132:
Übungen, Praktika und Seminare Bio
Seite 133 und 134:
4.5.3 Praktikum Datenbanken Prof. D
Seite 135 und 136:
4.6 Lehrbezogene Schriften 4.6.1 St
Seite 137 und 138:
4.7.2 Betriebspraktikum, Betreuung
Seite 139 und 140:
- Die Abteilung Technische Informat
Alle anzeigen

Institut für Informatik - Dokumentenserver - Universität Leipzig

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?