Dissertationen zur Künstlichen Intelligenz (DISKI)
Infix Verlag, St. Augustin, Germany
2007
- 308
- Yll Haxhimusa:
The Structurally Optimal Dual Graph Pyramid and its Application in Image Partitioning.
DISKI Vol. 308 IOS Press 2007, ISBN 978-1-58603-743-7

- ...
- ...
2005
- 288
- Andreas Lüdtke:
Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells.
DISKI Vol. 288 Infix Akademische Verlagsgesellschaft 2005, ISBN 978-3-89838-288-5

- ...
- ...
2004
- 281
- Alke Martens:
Ein Tutoring Prozess Modell für fallbasierte intelligente Tutoring Systeme.
DISKI Vol. 281 Infix Akademische Verlagsgesellschaft 2004, ISBN 978-3-89838-281-6

- ...
- ...
2003
- 272
- Ji-Young Lim:
Discrete scale-space formulation and multiscale edge extraction toward higher dimensions.
DISKI Vol. 272 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-272-4

- 271
- Heiko Milde:
Qualitative Analyse von Störungen in elektrischen Systemen.
DISKI Vol. 271 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-271-7

- 270
- Stephen B. Balakirsky:
A framework for planning with incrementally created graphs in attributed problem spaces.
DISKI Vol. 270 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-270-0

- 269
- Detlef Küpper:
Benutzermodellierung für benutzerspezifische Plangenerierung und -präsentation.
DISKI Vol. 269 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-269-4

- 268
- Jörg Baus:
Ressourcenadaptierende hybride Personennavigation.
DISKI Vol. 268 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-268-7

- 267
- Frank Wittig:
Maschinelles Lernen Bayes'scher Netze für benutzeradaptive Systeme.
DISKI Vol. 267 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89839-267-9

- 266
- Claudia Brand:
Neuronale Identifikation von Totzeiten.
DISKI Vol. 266 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-266-3

- 265
- Stefan Kopp:
Synthese und Koordination von Sprache und Gestik für virtuelle multimodale Agenten.
DISKI Vol. 265 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-265-6

- 264
- Jens Woch:
Integrated natural language generation with Schema-TAGs.
DISKI Vol. 264 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-264-9

- 263
- Michael H. Breitner:
Nichtlineare, multivariate Approximation mit Perzeptrons und anderen Funktionen auf verschiedenen Hochleistungsrechnern.
DISKI Vol. 263 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-263-2

- 262
- Thomas Roth-Berghofer:
Knowledge maintenance of case-based reasoning systems - the SIAM methodology.
DISKI Vol. 262 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-262-5

- 261
- Holger Wache:
Semantische Mediation für heterogene Informationsquellen.
DISKI Vol. 261 Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-261-8

2002
- 260
- Hesham Khalil:
Logical foundations of reactive default reasoning.
DISKI Vol. 260 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-260-1

- 259
- Gunter Grieser:
Selbsteinschätzende Lernverfahren - Möglichkeiten und Grenzen.
DISKI Vol. 259 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-259-5

- 258
- Clemens Kirchmair:
Identifikation von Systemen mit Hysterese mit Hilfe von Preisach-Neuronen in vorstrukturierten neuronalen Netzen.
DISKI Vol. 258 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-258-8

- 257
- Christoph Peylo:
Wissen und Wissensvermittlung im Kontext von internetbasierten intelligenten Lehr- und Lernumgebungen.
DISKI Vol. 257 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-257-1

- 256
- Christiane Gresse von Wangenheim:
Operationalizing reuse of software measurement planning knowledge.
DISKI Vol. 256 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-256-4

- 255
- Ulrich John:
Konfiguration und Rekonfiguration mittels constraint-basierter Modellierung.
DISKI Vol. 255 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-255-7

- 254
- Matthias Wulf:
On modeling the spatiotemporal processing characteristics of the retina.
DISKI Vol. 254 Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-254-0

2001
- 253
- Sönke Frantz:
Local and semi-global approaches to the extraction of 3D anatomical landmarks from 3D tomographic images.
DISKI Vol. 253 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-253-3

- 252
- Ulrich Heller:
Process-oriented consistency-based diagnosis - theory, implementation and applications.
DISKI Vol. 252 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-252-6

- 251
- Marc Erich Latoschik:
Multimodale Interaktion in virtueller Realität am Beispiel der virtuellen Konstruktion.
Dissertationen zur künstlichen Intelligenz Vol. 251 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-251-9

- 250
- Marina Müller:
Extraktion großflächiger Strukturen in hochauflösenden, panchromatischen Satellitendaten.
DISKI Vol. 250 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-250-2

- 249
- Uta Bohnebeck:
mRNA-Signalstrukturerkennung mittels Knowledge Discovery.
DISKI Vol. 249 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-249-6

- 248
- Alexander Kröner:
Adaptive layout of dynamic web pages.
DISKI Vol. 248 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-248-9

- 247
- Tobias Ruland:
Ein hybrider Ansatz zur Strukturanalyse gesprochener Spontansprache.
DISKI Vol. 247 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-247-2

- 246
- Michael Boronowsky:
Diskretisierung reellwertiger Attribute mit gemischten kontinuierlichen Gleichverteilungen und ihre Anwendung bei der zeitreihenbasierten Entscheidungsbauminduktion.
DISKI Vol. 246 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-246-5

- 245
- Winfried Ilg:
Eine biologisch motivierte adaptive Bewegungssteuerung für eine vierbeinige Laufmaschine.
DISKI Vol. 245 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-245-8

- 244
- Martin Mühlenbrock:
Action-based collaboration analysis for group learning.
DISKI Vol. 244 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-244-1

- 202
- Josef Hochreiter:
Generalisierung bei neuronalen Netzen geringer Komplexität.
DISKI Vol. 202 Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-202-1

2000
- 243
- Frank Heimes:
Sichtsystemgestützte Fahrerassistenz im innerstädtischen Straßenverkehr.
DISKI Vol. 243 Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-243-4

- 242
- Harald Meyer auf'm Hofe:
Kombinatorische Optimierung mit Constraintverfahren - Problemlösung ohne anwendungsspezifische Suchstrategien.
DISKI Vol. 242 Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-242-7

- 241
- Jens-Steffen Gutmann:
Robuste Navigation autonomer mobiler Systeme.
DISKI Vol. 241 Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-241-0

- 240
- Elisabeth Umkehrer:
Formalisierung von unsicherem Wissen.
DISKI Vol. 240 Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-240-3

- 239
- Stephan Schmitt:
Proof reconstruction in classical and non-classical logics.
DISKI Vol. 239 Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-239-7

- 238
- Ulrich Kühler:
A tactic-based inductive theorem prover for data types with partial operations.
DISKI Vol. 238 Infix 2000, ISBN 978-3-89838-238-0

- 237
- Thomas Linke:
New foundations for automation of default reasoning.
DISKI Vol. 237 Infix 2000, ISBN 978-3-89838-237-3

- 236
- Mario Lenz:
Case retrieval nets as a model for building flexible information systems.
DISKI Vol. 236 Infix 2000, ISBN 978-3-89838-236-6

- 235
- Gregor Meyer:
On types and type consistency in logic programming.
DISKI Vol. 235 Infix 2000, ISBN 978-3-89838-235-9

- 234
- Bettina Reinhardt:
Didaktische Strategien in generierten Trainingssystemen zum diagnostischen Problemlösen.
DISKI Vol. 234 Infix 2000, ISBN 978-3-89838-234-2

- 233
- Karlheinz Agsteiner:
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme.
DISKI Vol. 233 Infix 2000, ISBN 978-3-89838-233-5

- 232
- Antonio Krüger:
Automatische Abstraktion in 3D-Graphiken.
DISKI Vol. 232 Infix 2000, ISBN 978-3-89838-232-8

- 231
- Dirk Fuchs:
Cooperation in heterogeneous theorem prover networks.
DISKI Vol. 231 Infix 2000, ISBN 978-3-89838-231-1

- 230
- Stephan Schulz:
Learning search control knowledge for equational deduction.
DISKI Vol. 230 Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-230-4

- 229
- Till Brychy:
Modellierung dynamischer Systeme mit vorstrukturierten neuronalen Netzen.
DISKI Vol. 229 Infix 2000, ISBN 978-3-89838-229-8

- 228
- Kristina Schädler:
Die Ermittlung struktureller Ähnlichkeit und struktureller Merkmale bei komplexen Objekten - ein konnektionistischer Ansatz und seine Anwendungen.
DISKI Vol. 228 Infix 2000, ISBN 978-3-89838-228-1

- 227
- Marc Fuchs:
Relevancy-based use of lemmas in connection tableau calculi.
DISKI Vol. 227 Infix 2000, ISBN 978-3-89838-227-4

- 226
- Karin Sobottka:
Analysis of low-resolution range image sequences.
DISKI Vol. 226 Infix 2000, ISBN 978-3-89838-226-7

1999
- 225
- Tobias Scheffer:
Error estimation and model selection.
DISKI Vol. 225 Infix 1999, ISBN 978-3-89601-225-8

- 224
- Christian Drewniok:
Objektlokalisation durch Adaption parametrischer Grauwertmodelle und ihre Anwendung in der Luftbildauswertung.
DISKI Vol. 224 Infix 1999, ISBN 978-3-89601-224-1

- 223
- Jens von Berg:
Kortikale Karten und präattentive Wahrnehmung - über Segmentierungsleistungen und die Geometrie der Reizrepräsentation.
DISKI Vol. 223 Infix 1999, ISBN 978-3-89601-223-4

- 222
- Stefan Kriebel:
A combined parametric and nonparametric approach to time series analysis - motivated by coastal upwelling prediction.
DISKI Vol. 222 Infix 1999, ISBN 978-3-89601-222-7

- 221
- Jens-Uwe Möller:
DIA-MOLE - Modellierung gesprochen-sprachlicher Dialoge unter Zuhilfenahme eines maschinellen Lernverfahrens.
DISKI Vol. 221 Infix 1999, ISBN 978-3-89601-221-0

- 220
- Thomas Stützle:
Local search algorithms for combinatorial problems - analysis, improvements, and new applications.
DISKI Vol. 220 Infix 1999, ISBN 978-3-89601-220-3

- 219
- Armin Wolf:
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme.
DISKI Vol. 219 Infix 1999, ISBN 978-3-89601-219-7

- 218
- Kathleen Steinhöfel:
Stochastic algorithms in scheduling theory.
DISKI Vol. 218 Infix 1999, ISBN 978-3-89601-218-0

- 217
- Ortrun Ibens:
Connection tableau calculi with disjunctive constraints.
DISKI Vol. 217 Infix 1999, ISBN 978-3-89601-217-3

- 216
- Thorsten Hermes:
Texturen - Analyse, Beschreibung und Synthese.
DISKI Vol. 216 Infix 1999, ISBN 978-3-89601-216-6

- 215
- Holger H. Hoos:
Stochastic local search - methods, models, applications.
DISKI Vol. 215 Infix 1999, ISBN 978-3-89601-215-9

- 214
- Wolfgang Maass:
Von visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen - das Modell eines kognitiven Agenten.
DISKI Vol. 214 Infix 1999, ISBN 978-3-89601-214-2

- 213
- Wolfgang Wilke:
Knowledge management for intelligent sales support in electronic commerce.
DISKI Vol. 213 Infix 1999, ISBN 978-3-89601-213-5

- 212
- Peter Geibel:
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen.
DISKI Vol. 212 Infix 1999, ISBN 978-3-89601-212-8

- 211
- Robert Engels:
Component-based user guidance in knowledge discovery and data mining.
DISKI Vol. 211 Infix 1999, ISBN 978-3-89601-211-1

- 210
- Christiane Stutz:
Anwendungsspezifische Fuzzy-Clustermethoden.
DISKI Vol. 210 Infix 1999, ISBN 978-3-89601-210-4

- 209
- Hartwig Baumgärtel:
Verteiltes Lösen von Constraint-Problemen in Multiagenten-Systemen zur optimierten Planung in einer Fließfertigung.
DISKI Vol. 209 Infix 1999, ISBN 978-3-89601-209-8

- 208
- Volker Klingspor:
Reaktives Planen mit gelernten Begriffen.
DISKI Vol. 208 Infix 1999, ISBN 978-3-89601-208-1

- 207
- Jürgen Brauburger:
Automatic termination analysis for functional and imperative programs.
DISKI Vol. 207 Infix 1999, ISBN 978-3-89601-207-4

- 206
- Christoph Goller:
A connectionist approach for learning search-control heuristics for automated deduction systems.
DISKI Vol. 206 Infix 1999, ISBN 978-3-89601-206-7

- 205
- Rainer Holve:
Automatische Musterklassifikation mit hierarchischen Fuzzy-Regelbasen.
DISKI Vol. 205 Infix 1999, ISBN 978-3-89601-205-0

- 204
- Axel Brinkop:
Variantenkonstruktion durch Auswertung der Abhängigkeiten zwischen den Konstruktionsbauteilen.
DISKI Vol. 204 Infix 1999, ISBN 978-3-89601-204-3

- 203
- Stefan Bamberger:
Verteiltes Problemlösen mit wissensbasierten Diagnosesystemen.
DISKI Vol. 203 Infix 1999, ISBN 978-3-89601-203-6

- 201
- Stefan Edelkamp:
Datenstrukturen und Lernverfahren in der Zustandsraumsuche.
DISKI Vol. 201 Infix 1999, ISBN 978-3-89601-201-2

- 200
- Katja Markert:
Metonymien - eine computerlinguistische Analyse.
DISKI Vol. 200 Infix 1999, ISBN 978-3-89601-200-5

- 199
- Andreas Fordan:
Projection in constraint logic programming.
DISKI Vol. 199 Infix 1999, ISBN 978-3-89601-199-2

- 198
- Daniel S. Korn:
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik.
DISKI Vol. 198 Infix 1999, ISBN 978-3-89601-198-5

- 197
- Bettina Berendt:
Representation and processing of knowledge about distances in environmental spaces - a computational model of inferred route distances investigating their qualitative and quantitative determinants.
DISKI Vol. 197 Infix 1999, ISBN 978-3-89601-197-8

- 196
- Carsten Schröder:
Bildinterpretation durch Modellkonstruktion - eine Theorie zur rechnergestützten Analyse von Bildern.
DISKI Vol. 196 Infix 1999, ISBN 978-3-89601-196-1

- 195
- Boris Baginski:
Motion planning for manipulators with many degrees of freedom - the BB-method.
DISKI Vol. 195 Infix 1999, ISBN 978-3-89601-195-4

- 194
- Peter Neuhaus:
Nebenläufiges Parsing - ein lexikalisch verteiltes Verfahren zur performanzgrammatischen Analyse beim Textverstehen.
DISKI Vol. 194 Infix 1999, ISBN 978-3-89601-194-7

1998
- 193
- Michael Haag:
Bildfolgenauswertung zur Erkennung der Absichten von Straßenverkehrsteilnehmern.
DISKI Vol. 193 Infix 1998, ISBN 978-3-89601-193-0

- 192
- Peter Fröhlich:
DRUM-II - efficient model-based diagnosis of technical systems.
DISKI Vol. 192 Infix 1998, ISBN 978-3-89601-192-3

- 191
- Steffen Egner:
Zur Rolle der Aufmerksamkeit für die Objekterkennung - Modellierung, Simulation, Empirie.
DISKI Vol. 191 Infix 1998, ISBN 978-3-89601-191-6

- 190
- Gunther Heidemann:
Ein flexibel einsetzbares Objekterkennungssystem auf der Basis neuronaler Netze.
DISKI Vol. 190 Infix 1998, ISBN 978-3-89601-190-9

- 189
- Ralf Röhrig:
Repräsentation und Verarbeitung von qualitativem Orientierungswissen.
DISKI Vol. 189 Infix 1998, ISBN 978-3-89601-189-3

- 188
- Wolfgang Pohl:
Logic-based representation and reasoning for user modeling shell systems.
DISKI Vol. 188 Infix 1998, ISBN 978-3-89601-188-6

- 187
- Markus Wiese:
Learning first-order concept definitions by using a bidirectional heuristic search strategy.
DISKI Vol. 187 Infix 1998, ISBN 978-3-89601-187-9

- 186
- Soenke Ziesche:
Perspektivierungsprozesse bei der Sprachproduktion - Spezifikation und Modellierung der Abbildung von konzeptuellen Strukturen auf semantische Repräsentationen.
DISKI Vol. 186 Infix 1998, ISBN 978-3-89601-186-2

- 185
- Jürgen Eckerle:
Heuristische Suche unter Speicherbeschränkungen.
DISKI Vol. 185 Infix 1998, ISBN 978-3-89601-185-5

- 184
- Britta Lenzmann:
Benutzeradaptive und multimodale Interface-Agenten.
DISKI Vol. 184 Infix 1998, ISBN 978-3-89601-184-8

- 183
- ...
- 182
- Brigitte Wirtz:
Segmentorientierte Analyse und nichtlineare Auswertung für die dynamische Unterschriftsverifikation.
DISKI Vol. 182 Infix 1998, ISBN 978-3-89601-182-4

- 181
- Stefan Schrödl:
Negation as failure in explanation-based generalization.
DISKI Vol. 181 Infix 1998, ISBN 978-3-89601-181-7

- 180
- Herwig Henseler:
Aktive Ablaufplanung mit Multi-Agenten.
DISKI Vol. 180 Infix 1998, ISBN 978-3-89601-180-0

- 179
- Jörg Walter Schaaf:
Über die Suche nach situationsgerechten Fällen im fallbasierten Schließen.
DISKI Vol. 179 Infix 1998, ISBN 978-3-89601-179-4

- 178
- Jürgen Rahmel:
Topology preserving neural networks - connectionist learning of structured knowledge.
DISKI Vol. 178 Infix 1998, ISBN 978-3-89601-178-7

- 176
- Sabine Borndorff-Eccarius:
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme.
DISKI Vol. 176 Infix 1998, ISBN 978-3-89601-176-3

- 175
- Simone Bürsner:
Situationsbezogene Wissensverarbeitung mit medizinischen Assistenzsystemen (SIRKIMA).
DISKI Vol. 175 Infix 1998, ISBN 978-3-89601-175-6

1997
- 177
- Katy Börner:
Konzeptbildende Analogie - Integration von Conceptual Clustering und analogem Schließen zur effizienten Unterstützung von Entwurfsaufgaben: motiviert durch und illustriert an Aufgaben aus der Bauarchitektur.
DISKI Vol. 177 Infix 1997, ISBN 978-3-89601-177-0

- 174
- Reinhard Moratz:
Visuelle Objekterkennung als kognitive Simulation.
DISKI Vol. 174 Infix 1997, ISBN 978-3-89601-174-9

- 173
- Adi Palm:
Transforming tree constraints into formal grammars - the expressivity of tree languages.
DISKI Vol. 173 Infix 1997, ISBN 978-3-89601-173-2

- 172
- Wlodzimierz Kasprzak:
Adaptive Erkennung von bewegten Fahrbahnobjekten in monokularen Bildfolgen mit Eigenbewegung.
DISKI Vol. 172 Infix 1997, ISBN 978-3-89601-172-5

- 171
- Edgar Sommer:
Theory restructuring - a perspective on design and maintenance of knowlege based systems.
DISKI Vol. 171 Infix 1997, ISBN 978-3-89601-171-8

- 170
- Gudrun Socher:
Qualitative scene descriptions from images for integrated speech and image understanding.
DISKI Vol. 170 Infix 1997, ISBN 978-3-89601-170-1

- 169
- Antje Strohmaier:
Logisches Schließen mit massiv parallelen Methoden.
DISKI Vol. 169 Infix 1997, ISBN 978-3-89601-169-5

- 168
- Alex Rummel:
Knowledge extraction from databases - using available data more efficiently through multi-events.
DISKI Vol. 168 Infix 1997, ISBN 978-3-89601-168-8

- 167
- Thomas Cord:
Absolute Lokalisation mobiler Roboter durch Codierung der Einsatzumgebung.
DISKI Vol. 167 Infix 1997, ISBN 978-3-89601-167-1

- 166
- Martin Tonko:
Zur sichtsytemgestützten Demontage am Beispiel von Altfahrzeugen.
DISKI Vol. 166 Infix 1997, ISBN 978-3-89601-166-4

- 165
- Wolfgang Finkler:
Automatische Selbstkorrektur bei der inkrementellen Generierung gesprochener Sprache unter Realzeitbedingungen - ein empirisch-simulativer Ansatz unter Verwendung eines Begründungsverwaltungssystems.
DISKI Vol. 165 Infix 1997, ISBN 978-3-89601-165-7

- 164
- Thomas Fuhr:
Modellierung von und mit Relationen - Integration qualitativer Modellierungstechniken in ein semantisches Netzwerksystem.
DISKI Vol. 164 Infix 1997, ISBN 978-3-89601-164-0

- 163
- Joachim Denzler:
Aktives Sehen zur Echtzeitobjektverfolgung.
DISKI Vol. 163 Infix 1997, ISBN 978-3-89601-163-3

- 162
- Bernd Bachmann:
A solution for the semantic unification problem to reuse knowledge-based systems.
DISKI Vol. 162 Infix 1997, ISBN 978-3-89601-162-6

- 161
- Andreas Arning:
Fehlersuche in großen Datenmengen unter Verwendung der in den Daten vorhandenen Redundanz.
DISKI Vol. 161 Infix 1997, ISBN 978-3-89601-161-9

- 160
- Claus Sengler:
Induction on non-freely generated data types.
DISKI Vol. 160 Infix 1997, ISBN 978-3-89601-160-2

- 159
- Stefan Gerberding:
Implizite und explizite Induktionsbeweisverfahren.
DISKI Vol. 159 Infix 1997, ISBN 978-3-89601-159-6

- 158
- Matthias E. Kölln:
Textproduktion als intentionaler, benutzerorientierter Prozeß.
DISKI Vol. 158 Infix 1997, ISBN 978-3-89601-158-9

- 157
- Bernhard Jung:
Wissensverarbeitung für Montageaufgaben in virtuellen und realen Umgebungen.
DISKI Vol. 157 Infix 1997, ISBN 978-3-89601-157-2

- 156
- Stefan Klingenbeck:
Counter examples in semantic tableaux.
DISKI Vol. 156 Infix 1997, ISBN 978-3-89601-156-5

- 155
- Michael R. Berthold:
Konstruktives Training von probabilistischen neuronalen Netzen für die Musterklassifikation.
DISKI Vol. 155 Infix 1997, ISBN 978-3-89601-155-8

- 154
- Michael Neitzke:
Relativsimulation von Störungen in technischen Systemen.
DISKI Vol. 154 Infix 1997, ISBN 978-3-89601-154-1

- 153
- Michael Kaiser:
Interaktive Akquisition elementarer Roboterfähigkeiten.
DISKI Vol. 153 Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-153-7

- 152
- Karsten Homann:
Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme.
DISKI Vol. 152 Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-152-9

- 151
- Wilfried Hötker:
Dynamische Modularisierung lexikalischer Informationen in einem Wiederverwendungsszenario.
DISKI Vol. 151 Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-151-0

- 150
- Sabine Kockskämper:
Vorgangsmodelle. Ein Ansatz zur Repräsentation und Analyse zeitabhängigen Verhaltens bei der Überwachung und Diagnose technischer Systeme.
DISKI Vol. 150 Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-150-2

- 149
- Ralf Möller:
HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen.
DISKI Vol. 149 Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-149-9

- 148
- Winfried Graf:
Intentionsgesteuertes Layout-Design multimedialer Präsentationen mit Constraints.
DISKI Vol. 148 Infix 1997, ISBN 978-3-89601-148-0

- 147
- Aldo von Wangenheim:
Cyclops - Wissensbasierte Bildanalyse in der Medizin.
DISKI Vol. 147 Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-147-2

- 146
- Georg Näger:
Constraint-Netze als Grundlage für Bottom-up Planungsansätze in der Unternehmensmodellierung.
DISKI Vol. 146 Infix 1997, ISBN 978-3-89601-146-6

- 145
- Christoph S. Herrmann:
Ein hybrides KI-System zur medizinischen Befundung.
DISKI Vol. 145 Infix 1997, ISBN 978-3-89601-145-9

- 144
- Rainer Weiß:
Übertragbarkeit des Ansatzes der Erklärungskomponenten auf konventionelle Anwendungsprogramme - Konzeption, Entwicklung von Prototypen und empirische Untersuchung.
DISKI Vol. 144 Infix 1997, ISBN 978-3-89601-144-2

1996
- 143
- Daniel Polani:
Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen.
DISKI Vol. 143 Infix 1996, ISBN 978-3-89601-143-5

- 142
- Ralf Böhme:
Ein Ansatz zur wissensbasierten Störungsanalyse verfahrenstechnicher Systeme.
DISKI Vol. 142 Infix 1996, ISBN 978-3-89601-142-8

- 141
- Gerrit Burkert:
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache.
DISKI Vol. 141 Infix 1996, ISBN 978-3-89601-141-1

- 140
- Gerhard Hanrieder:
Inkrementelles Parsing gesprochener Sprache mit einer linksassoziativen Unifikationsgrammatik.
DISKI Vol. 140 Infix 1996, ISBN 978-3-89601-140-4

- 139
- Thomas Rist:
Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation.
DISKI Vol. 139 Infix 1996, ISBN 978-3-89601-139-8

- 138
- Ralph Bergmann:
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen.
DISKI Vol. 138 Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-138-3

- 137
- Norman Hendrich:
Mustererkennung mit neuronalen Assoziativspeichernetzen.
DISKI Vol. 137 Infix 1996, ISBN 978-3-89601-137-4

- 136
- Johann Gamper:
A temporal reasoning and abstraction framework for model-based diagnosis systems.
DISKI Vol. 136 Infix 1996, ISBN 978-3-89601-136-7

- 135
- Karl Schäfer:
Unscharfe zeitlogische Modellierung von Situationen und Handlungen in Bildfolgenauswertung und Robotik.
DISKI Vol. 135 Infix 1996, ISBN 978-3-89601-135-0

- 134
- Ralf Bruns:
Wissensbasierte genetische Algorithmen - Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme.
DISKI Vol. 134 Infix 1996, ISBN 978-3-89601-134-3

- 133
- Andreas Hauenstein:
Aussprachewörterbücher zur automatischen Spracherkennung.
DISKI Vol. 133 Infix 1996, ISBN 978-3-89601-133-6

- 132
- Barbara Messing:
Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen.
DISKI Vol. 132 Infix 1996, ISBN 978-3-89601-132-9

- 131
- Karlheinz Blank:
Benutzermodellierung für adaptive interaktive Systeme - Architektur, Methoden, Werkzeuge und Anwendungen.
DISKI Vol. 131 Infix 1996, ISBN 978-3-89601-131-2

- 130
- Oksana Arnold:
Die Therapiesteuerungskomponente einer wissensbasierten Systemarchitektur für Aufgaben der Prozeßführung.
DISKI Vol. 130 Infix 1996, ISBN 978-3-89601-130-5

- 129
- Michael Gollner:
Eine abstrakte Maschine für das logisch-funktionale Programmieren.
DISKI Vol. 129 Infix 1996, ISBN 978-3-89601-129-9

- 128
- Jochen Dörre:
Feature-Logik und Semiunifikation.
DISKI Vol. 128 Infix 1996, ISBN 978-3-89601-128-2

- 127
- Klaus Goos:
Fallbasiertes Klassifizieren - Methoden, Integration und Evaluation.
DISKI Vol. 127 Infix 1996, ISBN 978-3-89601-127-5

- 126
- Stefan Wess:
Fallbasiertes Problemlösen in wissensbaiserten Systemen zur Entscheidungsunterstützung und Diagnostik - Grundlagen, Systeme und Anwendungen.
DISKI Vol. 126 Infix 1996, ISBN 978-3-89601-126-8

- 125
- Olaf Munkelt:
Erkennung von Objekten in Einzelvideobildern mittels Aspektbäumen.
DISKI Vol. 125 Infix 1996, ISBN 978-3-89601-125-1

- 124
- Andrea Drees:
Visuelle Erkennung von Handstellungen mit neuronalen Netzen.
DISKI Vol. 124 Infix 1996, ISBN 978-3-89601-124-4

- 123
- Rainer Sprengel:
Entwurf und Analyse nichtlinearer Diffusionsverfahren für die Bildverarbeitung.
DISKI Vol. 123 Infix 1996, ISBN 978-3-89601-123-7

- 122
- Philipp Hanschke:
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning.
DISKI Vol. 122 Infix 1996, ISBN 978-3-89601-122-0

- 121
- Maria-Dolores Soriano-Lopez:
Vergleichende Bewertung konnektionistischer Modelle mit klassischen statistischen Klassifikationsverfahren.
DISKI Vol. 121 Infix 1996, ISBN 978-3-89601-121-3

- 120
- Barbara Heller:
Modularisierung und Fokussierung erweiterbarer komplexer Wissensbasen auf der Basis von Kompetenzeinheiten.
DISKI Vol. 120 Infix 1996, ISBN 978-3-89601-120-6

- 119
- Thomas Wengerek:
Reinforcement-Lernen in der Robotik.
DISKI Vol. 119 Infix 1996, ISBN 978-3-89601-119-0

- 118
- Martin Böttcher:
Unifikation disjunktiver Attributterme - Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse.
DISKI Vol. 118 Infix 1996, ISBN 978-3-89601-118-3

- 117
- Joachim Weisbrod:
Unscharfes Schließen.
DISKI Vol. 117 Infix 1996, ISBN 978-3-89601-117-6

- 116
- Klaus Schneider:
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation.
DISKI Vol. 116 Infix 1996, ISBN 978-3-89601-116-9

- 115
- Rolf Schuster:
Objektverfolgung in Farbbildfolgen.
DISKI Vol. 115 Infix 1996, ISBN 978-3-89601-115-2

- 114
- Xiaoqing Cheng:
Reaktive Einsatzplanung eines mobilen Zweiarm-Roboters für asynchrone Serviceaufgaben in einer industriellen Fertigungsumgebung.
DISKI Vol. 114 Infix 1996, ISBN 978-3-89601-114-5

- 113
- Jürgen Kopp:
Konstruktion von Wissensrepräsentationssprachen durch Nutzen und Erweitern objektorientierter Sprachmittel.
DISKI Vol. 113 Infix 1996, ISBN 978-3-89601-113-8

- 112
- Xiaorong Huang:
Human oriented proof presentation - a reconstructive approach.
DISKI Vol. 112 Infix 1996, ISBN 978-3-89601-112-1

- 111
- Martin Eldracher:
Planung kinematischer Trajektorien für Manipulatoren mit Hilfe von Subzielen und neuronalen Netzen.
DISKI Vol. 111 Infix 1996, ISBN 978-3-89601-111-4

- 109
- Dirk Wetzel:
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung.
DISKI Vol. 109 Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-109-X

1995
- 110
- Holger Müller:
Konsistenzbasierte Handlungsplanung.
DISKI Vol. 110 Infix 1995, ISBN 978-3-89601-110-7

- 108
- Elisabeth André:
Ein planbasierter Ansatz zur Generierung multimedialer Präsentationen.
DISKI Vol. 108 Infix Verlag, St. Augustin, Germany 1995, ISBN 3-89601-108-1

- 107
- Daniel Möri:
Automatische Erkennung und Ausführung von Korrekturanweisungen in Textdokumenten.
DISKI Vol. 107 Infix 1995, ISBN 978-3-89601-107-7

- 106
- Silke Richter:
Ein mehrfach adaptierendes, stabiles Modell zur Analyse von Straßenszenen.
DISKI Vol. 106 Infix 1995, ISBN 978-3-89601-106-0

- 105
- Volkmar Pflug:
Graphembasierte On-line-Erkennung fließender Handschrift.
DISKI Vol. 105 Infix 1995, ISBN 978-3-89601-105-3

- 104
- Bernd Hildebrandt:
Struktur und Bedeutung temporaler Konstituenten in einem sprachverstehenden Dialogsystem.
DISKI Vol. 104 Infix 1995, ISBN 978-3-89601-104-6

- 103
- Gernot A. Fink:
Integration von Spracherkennung und Sprachverstehen.
DISKI Vol. 103 Infix 1995, ISBN 978-3-89601-103-9

- 102
- Jürgen Falk:
Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr - Entwicklung und Vergleich mit zentralisierten Methoden und menschlichen Disponenten.
DISKI Vol. 102 Infix 1995, ISBN 978-3-89601-102-2

- 101
- Christian B. Suttner:
Parallelization of search-based systems by static partitioning with slackness.
DISKI Vol. 101 Infix 1995, ISBN 978-3-89601-101-5

- 100
- Ute Gappa:
Grafische Wissensakquisitionssysteme und ihre Generierung.
DISKI Vol. 100 Infix 1995, ISBN 978-3-89601-100-8

- 99
- Erich Rome:
Simulierte Gestalt-Erkennung in Präsentationsgrafiken.
DISKI Vol. 99 Infix 1995, ISBN 978-3-89601-099-5

- 98
- Martin Protzen:
Lazy generation of induction hypotheses and patching faulty conjectures.
DISKI Vol. 98 Infix 1995, ISBN 978-3-89601-098-8

- 97
- Thomas Hoppe:
Incremental partial deduction.
DISKI Vol. 97 Infix 1995, ISBN 978-3-89601-097-1

- 96
- Jürgen Giesl:
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
DISKI Vol. 96 Infix 1995, ISBN 978-3-89601-096-4

- 95
- Volker G. Fischer:
Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse.
DISKI Vol. 95 Infix 1995, ISBN 978-3-89601-095-7

- 94
- Matthias Stüber:
Adaptive Steuerungen - Fuzzy Control im Vergleich zu Regelungstechnik und neuronalen Netzen.
DISKI Vol. 94 Infix 1995, ISBN 978-3-89601-094-0

- 93
- Alexander Linden:
SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete.
DISKI Vol. 93 Infix 1995, ISBN 978-3-89601-093-3

- 92
- Stefan Jokusch:
Modellierung und Manipulation von Bild- und Grafikdaten mit neuronalen Netzen.
DISKI Vol. 92 Infix 1995, ISBN 978-3-89601-092-6

- 91
- Rainer Hoch:
READLEX - ein wörterbuchbasierter Ansatz für die Erkennung und Analyse von Text in strukturierten Dokumenten.
DISKI Vol. 91 Infix 1995, ISBN 978-3-89601-091-9

- 90
- Gabriele Schmidt:
Modellbasierte, interaktive Wissensakquisition und Dokumentation von Domänenwissen (MIKADO).
DISKI Vol. 90 Infix 1995, ISBN 978-3-89601-090-2

- 89
- Andreas Winzen:
Automatische Erzeugung dreidimensionaler Modelle für Bildanalysesysteme.
DISKI Vol. 89 Infix 1995, ISBN 978-3-929037-89-0

- 88
- Henner Kollnig:
Ermittlung von Verkehrsgeschehen durch Bildfolgenauswertung.
DISKI Vol. 88 Infix 1995, ISBN 978-3-929037-88-3

- 87
- Wolfgang Melchert:
Ein Ansatz zur Formalisierung der Echtzeit-Bildauswertung und seine Nutzung zur automatischen Erzeugung lauffähiger Maschinenprogramme.
DISKI Vol. 87 Infix 1995, ISBN 978-3-929037-87-6

- 86
- Karsten Poeck:
Konfigurierbare Problemlösungsmethoden am Beispiel der Problemklassen - Zuordnung und Diagnostik.
DISKI Vol. 86 Infix 1995, ISBN 978-3-929037-86-9

- 85
- Thomas Pirlein:
Wiederverwendung von Commonsense Ontologien im Knowledge Engineering - Methoden und Werkzeuge.
DISKI Vol. 85 Infix 1995, ISBN 978-3-929037-85-2

- 84
- Dieter Landes:
Die Entwurfsphase in MIKE - Methode und Beschreibungssprache.
DISKI Vol. 84 Infix 1995, ISBN 978-3-929037-84-5

- 83
- Dominik Henrich:
Lastverteilung für feinkörnig parallelisiertes Branch-and-Bound.
DISKI Vol. 83 Infix 1995, ISBN 978-3-929037-83-8

- 82
- Nils Lenke:
Paraphrasen - Lösungen für antizipierte Leserprobleme bei der automatischen Textgenerierung.
DISKI Vol. 82 Infix 1995, ISBN 978-3-929037-82-1

- 81
- Knut Hinkelmann:
Transformation von Hornklausel-Wissensbasen - Verarbeitung gleichen Wissens durch verschiedene Inferenzen.
DISKI Vol. 81 Infix 1995, ISBN 978-3-929037-81-4

- 80
- Thomas Kuhn:
Die Erkennungsphase in einem Dialogsystem.
DISKI Vol. 80 Infix 1995, ISBN 978-3-929037-80-7

- 79
- Manfred Meyer:
Finite domain constraints - declaritivity meets efficiency, theory meets application.
DISKI Vol. 79 Infix 1995, ISBN 978-3-929037-79-1

- 78
- Enno Littmann:
Strukturierung neuronaler Netze zwischen Biologie und Anwendung - biologische Modellierung, Kaskadierung und hybrider Ansatz.
DISKI Vol. 78 Infix 1995, ISBN 978-3-929037-78-4

- 77
- Jianwei Zhang:
Ein integriertes Verfahren zur effizienten Planung und Ausführung von Roboterbewegungen in unscharfen Umgebungen.
DISKI Vol. 77 Infix 1995, ISBN 978-3-929037-77-7

- 76
- Michael Thielscher:
Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution.
DISKI Vol. 76 Infix 1995, ISBN 978-3-929037-76-0

- 75
- Gerhard Weiß:
Distributed Machine Learning.
DISKI Vol. 75 Infix Verlag, St. Augustin, Germany 1995, ISBN 3-929037-75-0

1994
- 74
- Friedrich Mädler:
Problemzerlegung durch Nadelöhrmengen - ein modellbasierter Ansatz zur Akquisition von Kontrollwissen für Planungssysteme.
DISKI Vol. 74 Infix 1994, ISBN 978-3-929037-74-6

- 73
- Jan Schloen:
Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern.
DISKI Vol. 73 Infix 1994, ISBN 978-3-929037-73-9

- 72
- Volker Gengenbach:
Einsatz von Rückkopplungen in der Bildauswertung bei einem Hand-Auge-System zur automatischen Demontage.
DISKI Vol. 72 Infix 1994, ISBN 978-3-929037-72-2

- 71
- Jörg R. J. Schirra:
Bildbeschreibung als Verbindung von visuellem und sprachlichem Raum - eine interdisziplinäre Untersuchung von Bildvorstellungen in einem Hörermodell.
DISKI Vol. 71 Infix 1994, ISBN 978-3-929037-71-5

- 70
- Ute Schmid:
Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln - ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten.
DISKI Vol. 70 Infix 1994, ISBN 978-3-929037-70-8

- 69
- Bernd S. Müller:
PPO, eine objektorientierte Prolog-Erweiterung zur Entwicklung wissensbasierter Anwendungssysteme.
DISKI Vol. 69 Infix 1994, ISBN 978-3-929037-69-2

- 68
- Jürgen Kreuziger:
Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik.
DISKI Vol. 68 Infix 1994, ISBN 978-3-929037-68-5

- 67
- Markus A. Thies:
Planbasierte Hilfeverfahren für direkt-manipulative Systeme - Erkennung, Vervollständigung und Visualisierung von Interaktionsplänen.
DISKI Vol. 67 Infix 1994, ISBN 978-3-929037-67-8

- 66
- Christoph Klauck:
Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD/CAM.
DISKI Vol. 66 Infix 1994, ISBN 978-3-929037-66-1

- 65
- Jana Köhler:
Wiederverwendung von Plänen in deduktiven Planungssystemen.
DISKI Vol. 65 Infix 1994, ISBN 978-3-929037-65-4

- 64
- Klaus Grebner:
Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich.
DISKI Vol. 64 Infix 1994, ISBN 978-3-929037-64-7

- 63
- Michael Otte:
Extraktion von linienförmigen Merkmalen und Ermittlung des optischen Flusses mit seinen Ableitungen aus Voll- und Halbbildfolgen.
DISKI Vol. 63 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-63-7

- 62
- Thorsten von Stein:
Wissensbasierte Analyse medizinischer Bilder - das Biotop-Verfahren.
DISKI Vol. 62 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-62-9

- 61
- Karsten Berns:
Steuerungsansätze auf der Basis Neuronaler Netze für sechsbeinige Laufmaschinen.
DISKI Vol. 61 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-61-0

- 60
- Susanne Neubert:
Modellkonstruktion in MIKE. Methoden und Werkzeuge.
DISKI Vol. 60 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-60-2

- 59
- Jun Zhao:
Qualitative Analyse im Rahmen qualitativen und modellbasierten Schließens.
DISKI Vol. 59 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-59-9

- 58
- Andreas Winklhofer:
Zeitrepräsentation und merkmalsgesteuerte Suche zur Terminplanung.
DISKI Vol. 58 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-58-0

- 57
- Werner Karbach:
MODEL-K: Modellierung und Operationalisierung von Selbsteinschätzung und -steuerung durch Reflexion und Metawissen.
DISKI Vol. 57 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-57-2

- 56
- Andrea Neufeld:
Validierung konzeptueller Schemata.
DISKI Vol. 56 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-56-4

- 55
- Jochen Heinsohn:
ALCP - Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken.
DISKI Vol. 55 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-55-6

- 54
- Martin Schröder:
Erwartungsgestützte Analyse medizinischer Befundungstexte. Ein wissensbasiertes Modell zur Sprachverarbeitung.
DISKI Vol. 54 Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-54-8

1993
- 53
- Jürgen Angele:
Operationalisierung des Modells der Expertise mit KARL.
DISKI Vol. 53 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-53-X

- 52
- Stephan Mehl:
Dynamische semantische Netze - Zur Kontextabhängigkeit von Wortbedeutungen.
DISKI Vol. 52 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-52-1

- 51
- Joachim Posegga:
Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe.
DISKI Vol. 51 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-51-3

- 50
- Marion Mast:
Ein Dialogmodul für ein Spracherkennungs- und Dialogsystem.
DISKI Vol. 50 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-50-5

- 49
- Lothar Simon:
Dynamische, situationsbezogene Hypertext-Handbücher für komplexe Tätigkeiten.
DISKI Vol. 49 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-49-1

- 48
- Frank Maurer:
Hypermediabasiertes Knowledge Engineering für verteilte wissensbasierte Systeme.
DISKI Vol. 48 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-48-3

- 47
- Albert Maier:
Einbettung von Konzepthierarchien in ein Deduktives Datenbanksystem.
DISKI Vol. 47 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-47-5

- 46
- Gerhard Werling:
Produkorientierte automatische Planung von Prüfoperationen bei der robotergestützten Montage.
DISKI Vol. 46 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-46-7

- 45
- Volker Steinhage:
Verdeckungen und spezielle Sichten bei der Polyederrekonstruktion.
DISKI Vol. 45 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-45-9

- 44
- Thomas Bayer:
Ein modellgestütztes Analysesystem zum Bildverstehen strukturierter Dokumente.
DISKI Vol. 44 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-44-0

- 43
- Josef Ingenerf:
Benutzeranpaßbare semantische Sprachanalyse und Begriffsrepräsentation für die medizinische Dokumentation.
DISKI Vol. 43 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-43-2

- 42
- Günther Specht:
Source-to-Source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken.
DISKI Vol. 42 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-42-4

- 41
- Michael Ley:
Ein Datenbankkern zur Speicherung variabel strukturierter Feature-Terme. Implementierungstechniken.
DISKI Vol. 41 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-41-6

- 40
- Barbara Hemforth:
Kognitives Parsing: Repräsentation und Verarbeitung sprachlichen Wissens.
DISKI Vol. 40 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-40-8

- 39
- Karlhorst Klotz:
Eine mehrschichtige Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer Programme.
DISKI Vol. 39 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-39-4

- 38
- Axel Köhne:
Integration von Aktionsplanung und Konfigurierung.
DISKI Vol. 38 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-38-6

- 37
- Jürgen Sauer:
Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken.
DISKI Vol. 37 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-37-8

- 36
- Haibin Liu:
Oberflächenbasierte Segmentierung von Tiefenbildern.
DISKI Vol. 36 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-36-X

- 35
- Hans-Christian Brüning:
Erweiterung der Wissensbasierten CAD-Konstruktion um Restriktionsnetztechniken.
DISKI Vol. 35 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-35-1

- 34
- Michael Spreng:
Situationsanalyse bei Kontakten während der Ausführung von Roboterbewegungen in unsicheren Umgebungen.
DISKI Vol. 34 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-34-3

- 33
- Yong Cao:
Zur Darstellung und Verarbeitung von Wissen über Himmelsrichtungen.
DISKI Vol. 33 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-33-5

- 32
- Claudia Sommer:
MoKon - Ein Ansatz zur Wissensbasierten Konfiguration von Variantenerzeugnissen.
DISKI Vol. 32 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-32-7

- 31
- Wolfgang Eckstein:
Die Bildanalysesprache TRIAS.
DISKI Vol. 31 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-31-9

- 30
- Petra Ludewig:
Inkrementelle wörterbuchbasierte Wortschatzerweiterungen in sprachverarbeitenden Systemen. Entwurf einer konstruktiven Lexikonkonzeption.
DISKI Vol. 30 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-30-0

- 29
- Christoph Lehner:
Grammatikentwicklung mit Constraint Logik Programmierung. Implementierung einer Grammatik für das Deutsche mit PROLOG III.
DISKI Vol. 29 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-29-7

- 28
- Reinhard Prechtel:
Erklärungen für komplexe Wissensbasen.
DISKI Vol. 28 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-28-9

- 27
- Josef Pauli:
Erklärungsbasiertes Computer-Sehen von Bildfolgen.
DISKI Vol. 27 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-27-0

- 26
- Klaus Fischer:
Verteiltes und kooperatives Planen in einer flexiblen Fertigungsumgebung.
DISKI Vol. 26 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-26-2

- 25
- Wolfgang Ertel:
Parallele Suche mit randomisiertem Wettbewerb in Inferenzsystemen.
DISKI Vol. 25 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-25-4

- 24
- Klaus Obermayer:
Adaptive Neuronale Netze und ihre Anwendung als Modelle der Entwicklung kortikaler Karten.
DISKI Vol. 24 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-24-6

- 23
- Klaus-Dieter Althoff:
Eine fallbasierte Lernkomponente als integraler Bestandteil der MOLTKE-Werkbank zur Diagnose technischer Systeme.
DISKI Vol. 23 Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-23-8

1992
- 22
- Tilo Messer:
Wissensbasierte Synthese von Bildanalyseprogrammen.
DISKI Vol. 22 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-22-X

- 21
- Ulrich Aßmann:
Parallele Modelle für Deduktionssysteme.
DISKI Vol. 21 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-21-1

- 20
- Adelinde Uhrmacher:
EMSY - Ein Modellierungskonzept für ökologische und biologische Systeme unter besonderer Berücksichtigung ihrer dynamischen Veränderung.
DISKI Vol. 20 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-20-3

- 19
- Manfred A. Jeusfeld:
Änderungskontrolle in deduktiven Datenbanken.
DISKI Vol. 19 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-19-X

- 18
- Gerd Neugebauer:
Pragmatische Programmsynthese.
DISKI Vol. 18 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-18-1

- 17
- Kai Zercher:
Wissensintensives Lernen für zeitkritische technische Diagnoseaufgaben.
DISKI Vol. 17 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-17-3

- 16
- Byoung-Tak Zhang:
Lernen durch Genetisch-Neuronale Evolution: Aktive Anpassung an unbekannte Umgebungen mit selbstentwickelten parallelen Netzwerken.
DISKI Vol. 16 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-16-5

- 15
- Roman Cunis:
Das 3-stufige Frame-Repräsentationsschema - eine mehrdimensional modulare Basis für die Entwicklung von Expertensystemkernen.
DISKI Vol. 15 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-15-7

- 14
- Thomas Martinetz:
Selbstorganisierende neuronale Netzwerkmodelle zur Bewegungssteuerung.
DISKI Vol. 14 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-14-9

- 13
- Dieter Koller:
Detektion, Verfolgung und Klassifikation bewegter Objekte in monokularen Bildfolgen am Beispiel von Straßenverkehrsszenen.
DISKI Vol. 13 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-13-0

- 12
- Franz Kummert:
Flexible Steuerung eines sprachverstehenden Systems mit homogener Wissensbasis.
DISKI Vol. 12 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-12-2

- 11
- Andreas Hörmann:
Begleitende Montageablaufplanung für ein sensorgestütztes Zweiarm-Manipulatorsystem.
DISKI Vol. 11 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-11-4

- 10
- Jutta Eusterbrock:
Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine kombinatorische Anwendung.
DISKI Vol. 10 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-10-6

- 9
- Longin Jan Latecki:
Digitale und Allgemeine Topologie in der bildhaften Wissensrepräsentation.
DISKI Vol. 9 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-09-2

- 8
- Andreas Strasser:
Generierung domänenspezifischer Wissensrepräsentationssysteme und Transformation von Wissensbasen mit einer Anwendung in der Rechtsinformatik.
DISKI Vol. 8 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-08-4

- 7
- Knut Möller:
Adaptive Roboterkontrolle mit konnektionistischen Systemen.
DISKI Vol. 7 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-07-6

- 6
- Günter Wöhlke:
Wissensbasierte Greifplanung für Mehrfinger-Roboterhände.
DISKI Vol. 6 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-06-8

- 5
- Wolfgang Tank:
Modellierung von Expertise über Konfigurierungsaufgaben.
DISKI Vol. 5 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-05-X

- 4
- Ingo Syska:
Modulare Problemlösungsarchitekturen für Konstruktionssysteme.
DISKI Vol. 4 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-04-1

- 3
- Andreas Günter:
Flexible Kontrolle in Expertensystemen zur Planung und Konfigurierung in technischen Domänen.
DISKI Vol. 3 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-03-3

- 2
- Claus Müller:
Verwendung von Bildauswertungsmethoden zur Erkennung und Lagebestimmung von generischen polyedrischen Objekten im Raum.
DISKI Vol. 2 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-02-5

- 1
- Norbert Reithinger:
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge.
DISKI Vol. 1 Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-01-7

Last update Thu May 23 23:55:39 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page