Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDissertations in Artificial Intelligence (DAI)
Dissertationen zur Künstlichen Intelligenz (DISKI)
2023
353Leonid Berov:
From Narratology to Computational Story Composition and Back - An Exploratory Study in Generative Modeling. Dissertations in Artificial Intelligence 353, IOS Press 2023, ISBN 978-1-64368-382-9, pp. 1-344
2022
- 352Kai Sauerwald
:
Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability. University of Hagen, Germany, Dissertations in Artificial Intelligence 352, IOS Press 2022, ISBN 978-3-89838-768-2
2021
- 351Peter Bourgonje:
Shallow discourse parsing for German. University of Potsdam, Germany, Dissertations in Artificial Intelligence 351, IOS Press 2021 - 350Steven Kutsch:
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions. University of Hagen, Germany, Dissertations in Artificial Intelligence 350, IOS Press 2021, ISBN 978-3-89838-760-6, pp. 1-172
2020
- 349Markus Schwinn:
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows. University of Trier, Germany, Dissertations in Artificial Intelligence 349, IOS Press 2020, ISBN 978-3-89838-755-2, pp. i-xx, 1-322
2019
- 348Pascal Welke:
Efficient Frequent Subtree Mining Beyond Forests. University of Bonn, Germany, Dissertations in Artificial Intelligence 348, IOS Press 2019, ISBN 978-3-89838-753-8, pp. 1-176 - 347Johannes Hellrich:
Word embeddings: reliability & semantic change. University of Jena, Germany, Dissertations in Artificial Intelligence 347, Akademische Verlagsgesellschaft AKA GmbH 2019, ISBN 978-3-89838-744-6, pp. 1-168 - 346Mark Wernsdorfer:
Symbol grounding as the generation of mental representations. University of Bamberg, Germany, DISKI 346, IOS Press 2019, ISBN 978-3-89838-741-5, pp. 1-269
2018
- 343Alexander Steen:
Extensional paramodulation for higher-order logic and its effective implementation Leo-III. Free University of Berlin, Dahlem, Germany, DISKI 345, IOS Press 2018, ISBN 978-1-61499-919-5, pp. 1-231 - 344Jan Ole Berndt:
Self-organizing multiagent negotiations: cooperation and competition of concurrently acting agents with limited knowledge. DISKI 344, IOS Press, Amsterdam 2018, ISBN 978-3-89838-731-6, pp. 1-589
2017
- 343Emmanuelle-Anna Dietz Saldanha:
From Logic Programming to Human Reasoning: How to be Artificially Human. Dresden University of Technology, Germany, DISKI 343, IOS Press 2017, ISBN 978-3-89838-732-3, pp. 1-214 - 342Marc Finthammer:
Concepts and algorithms for computing maximum entropy distributions for knowledge bases with relational probabilistic conditionals. University of Hagen, Germany, DISKI 342, Akademische Verlagsgesellschaft AKA GmbH 2017, ISBN 978-3-89838-342-4, pp. 1-309
2016
- 341Jasper van de Ven:
Supporting communication in spatially distributed groups: privacy as a service for ambient intelligence. University of Bremen, Germany, DISKI 341, Akademische Verlagsgesellschaft AKA GmbH 2016, ISBN 978-3-89838-341-7, pp. 1-201
2013
- 340Nina Dethlefs:
Hierarchical joint learning for natural language generation. University of Bremen, DISKI 340, AKA 2013, ISBN 978-3-89838-340-0, pp. 1-238 - 339Jens Haupert:
DOMeMan: Repräsentation, Verwaltung und Nutzung von digitalen Objektgedächtnissen. Saarland University, DISKI 339, IOS Press 2013, ISBN 978-3-89838-339-4, pp. 1-286
2012
- 338Mari Carmen Suárez-Figueroa:
NeOn methodology for building ontology networks: specification, scheduling and reuse. Technical University of Madrid, Spain, DISKI 338, AKA 2012, ISBN 978-3-89838-338-7, pp. 1-268 - 337Nicola Pirlo:
Zur Robustheit eines modellgestützten Verfolgungsansatzes in Videos von Straßenverkehrszenen. Karlsruhe Institute of Technology, DISKI 337, AKA 2012, ISBN 978-3-89838-337-0, pp. 1-290 - 336Matthias Thimm:
Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. DISKI 336, AKA 2012, ISBN 978-3-89838-336-3, pp. I-XIII, 1-336
2011
- 335René Schumann:
Engineering Coordination - A Methodology for the Coordination of Planning Systems. Goethe University Frankfurt am Main, DISKI 335, AKA 2011, ISBN 978-3-89838-652-4, pp. I-XXVIII, 1-314 - 334Marvin R. G. Schiller:
Granularity Analysis for Tutoring Mathematical Proofs. Saarland University, Saarbrücken, Germany, DISKI 334, IOS Press 2011 - 333Marc Wagner:
A change-oriented architecture for mathematical authoring assistance. Saarland University, Saarbrücken, Germany, Dissertations in Artificial Intelligence 333, IOS Press 2011, ISBN 978-3-89838-333-2, pp. 1-289 - 332Robert Jäschke:
Formal concept analysis and tag recommendations in collaborative tagging systems. University of Kassel, DISKI 332, IOS Press 2011, ISBN 978-3-89838-332-5, pp. 1-201 - 331Thijs Urlings:
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems. University of Valencia, Spain, DISKI 331, IOS Press 2011
2010
- 330Markus Müller:
Interactive concept description with bayesian partition models: an approach for the analysis of hierarchically structured quality data in the automotive industry. University of Bamberg, DISKI 330, IOS Press 2010, ISBN 978-3-89838-330-1, pp. 1-206 - 329Uwe Bubeck:
Model-based transformations for quantified boolean formulas. University of Paderborn, DISKI 329, IOS Press 2010, ISBN 978-3-89838-329-5, pp. 1-211 - 328Jens Fisseler:
Learning and modeling with probabilistic conditional logic. FernUniversität in Hagen, DISKI 328, IOS Press 2010, ISBN 978-3-89838-328-8, pp. 1-223 - 327Simone Paolo Ponzetto:
Knowledge acquisition from a collaboratively generated encyclopedia. University of Stuttgart, DISKI 327, IOS Press 2010, ISBN 978-3-89838-327-1, pp. 1-212
2007
- 308Yll Haxhimusa:
The Structurally Optimal Dual Graph Pyramid and its Application in Image Partitioning. DISKI 308, IOS Press 2007, ISBN 978-1-58603-743-7, pp. I-XXIII, 1-193 - ...….
2005
- 288Andreas Lüdtke:
Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells. Carl von Ossietzky University of Oldenburg, Germany, DISKI 288, Infix Akademische Verlagsgesellschaft 2005, ISBN 978-3-89838-288-5, pp. I-XIV, 1-320 - ...….
2004
- 281Alke Martens:
Ein Tutoring Prozess Modell für fallbasierte intelligente Tutoring Systeme. University of Rostock, Germany, DISKI 281, Infix Akademische Verlagsgesellschaft 2004, ISBN 978-3-89838-281-6, pp. I-XIX, 1-243 - ...….
2003
- 272Ji-Young Lim:
Discrete scale-space formulation and multiscale edge extraction toward higher dimensions. University of Hamburg, Germany, DISKI 272, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-272-4, pp. I-XIII, 1-202 - 271Heiko Milde:
Qualitative Analyse von Störungen in elektrischen Systemen. DISKI 271, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-271-7, pp. I-XII, 1-233 - 270Stephen B. Balakirsky:
A framework for planning with incrementally created graphs in attributed problem spaces. University of Bremen, Germany, DISKI 270, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-270-0, pp. I-XX, 1-259 - 269Detlef Küpper:
Benutzermodellierung für benutzerspezifische Plangenerierung und -präsentation. University of Duisburg-Essen, Germany, DISKI 269, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-269-4, pp. I-XIX, 1-346 - 268Jörg Baus:
Ressourcenadaptierende hybride Personennavigation. DISKI 268, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-268-7, pp. I-XIV, 1-186 - 267Frank Wittig:
Maschinelles Lernen Bayes'scher Netze für benutzeradaptive Systeme. Saarland University, Saarbrücken, Germany, DISKI 267, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89839-267-9, pp. I-XIII, 1-219 - 266Claudia Brand:
Neuronale Identifikation von Totzeiten. Technical University Munich, Germany, DISKI 266, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-266-3, pp. I-XX, 1-127 - 265Stefan Kopp:
Synthese und Koordination von Sprache und Gestik für virtuelle multimodale Agenten. Bielefeld University, Germany, DISKI 265, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-265-6, pp. I-XIV, 1-260 - 264Jens Woch:
Integrated natural language generation with Schema-TAGs. University of Koblenz-Landau, Germany, DISKI 264, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-264-9, pp. I-XX, 1-159 - 263Michael H. Breitner:
Nichtlineare, multivariate Approximation mit Perzeptrons und anderen Funktionen auf verschiedenen Hochleistungsrechnern. DISKI 263, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-263-2, pp. I-XIV, 1-520 - 262Thomas Roth-Berghofer:
Knowledge maintenance of case-based reasoning systems - the SIAM methodology. Kaiserslautern University of Technology, Germany, DISKI 262, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-262-5, pp. I-XXI, 1-240 - 261Holger Wache:
Semantische Mediation für heterogene Informationsquellen. University of Bremen, Germany, DISKI 261, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-261-8, pp. I-XVIII, 1-308
2002
- 260Hesham Khalil:
Logical foundations of reactive default reasoning. Darmstadt University of Technology, Germany, DISKI 260, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-260-1, pp. I-XIV, 1-192 - 259Gunter Grieser:
Selbsteinschätzende Lernverfahren - Möglichkeiten und Grenzen. Darmstadt University of Technology, Germany, DISKI 259, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-259-5, pp. I-XIII, 1-186 - 258Clemens Kirchmair:
Identifikation von Systemen mit Hysterese mit Hilfe von Preisach-Neuronen in vorstrukturierten neuronalen Netzen. Technical University Munich, Germany, DISKI 258, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-258-8, pp. I-XII, 1-153 - 257Christoph Peylo:
Wissen und Wissensvermittlung im Kontext von internetbasierten intelligenten Lehr- und Lernumgebungen. University of Osnabrück, Germany, DISKI 257, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-257-1, pp. I-XVI, 1-233 - 256Christiane Gresse von Wangenheim:
Operationalizing reuse of software measurement planning knowledge. Kaiserslautern University of Technology, Germany, DISKI 256, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-256-4, pp. I-XIII, 1-255 - 255Ulrich John:
Konfiguration und Rekonfiguration mittels constraint-basierter Modellierung. Berlin Institute of Technology, Germany, DISKI 255, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-255-7, pp. I-V, 1-176 - 254Matthias Wulf:
On modeling the spatiotemporal processing characteristics of the retina. University of Hamburg, Germany, DISKI 254, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-254-0, pp. I-XXXVI, 1-316
2001
- 253Sönke Frantz:
Local and semi-global approaches to the extraction of 3D anatomical landmarks from 3D tomographic images. University of Hamburg, Germany, DISKI 253, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-253-3, pp. I-XXII, 1-232 - 252Ulrich Heller:
Process-oriented consistency-based diagnosis - theory, implementation and applications. Technical University Munich, Germany, DISKI 252, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-252-6, pp. I-VIII, 1-146 - 251Marc Erich Latoschik:
Multimodale Interaktion in virtueller Realität am Beispiel der virtuellen Konstruktion. Bielefeld University, Germany, DISKI 251, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-251-9, pp. I-XVI, 1-192 - 250Marina Müller:
Extraktion großflächiger Strukturen in hochauflösenden, panchromatischen Satellitendaten. DISKI 250, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-250-2, pp. I-XXII, 1-158 - 249Uta Bohnebeck:
mRNA-Signalstrukturerkennung mittels Knowledge Discovery. DISKI 249, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-249-6, pp. I-VI, 1-150 - 248Alexander Kröner:
Adaptive layout of dynamic web pages. Saarland University, Saarbrücken, Germany, DISKI 248, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-248-9, pp. I-XXII, 1-238 - 247Tobias Ruland:
Ein hybrider Ansatz zur Strukturanalyse gesprochener Spontansprache. University of Erlangen-Nuremberg, Germany, DISKI 247, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-247-2, pp. 1-127 - 246Michael Boronowsky:
Diskretisierung reellwertiger Attribute mit gemischten kontinuierlichen Gleichverteilungen und ihre Anwendung bei der zeitreihenbasierten Entscheidungsbauminduktion. University of Bremen, Germany, DISKI 246, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-246-5, pp. I-XI, 1-182 - 245Winfried Ilg:
Eine biologisch motivierte adaptive Bewegungssteuerung für eine vierbeinige Laufmaschine. DISKI 245, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-245-8, pp. I-III, 1-187 - 244Martin Mühlenbrock:
Action-based collaboration analysis for group learning. University of Duisburg-Essen, Germany, DISKI 244, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-244-1, pp. I-XII, 1-190 - 202Josef Hochreiter:
Generalisierung bei neuronalen Netzen geringer Komplexität. Technical University of Munich, Germany, DISKI 202, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-202-1, pp. I-VIII, 1-250
2000
- 243Frank Heimes:
Sichtsystemgestützte Fahrerassistenz im innerstädtischen Straßenverkehr. DISKI 243, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-243-4, pp. I-IX, 1-209 - 242Harald Meyer auf'm Hofe:
Kombinatorische Optimierung mit Constraintverfahren - Problemlösung ohne anwendungsspezifische Suchstrategien. DISKI 242, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-242-7, pp. I-VIII, 1-230 - 241Jens-Steffen Gutmann:
Robuste Navigation autonomer mobiler Systeme. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 241, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-241-0, pp. 1-191 - 240Elisabeth Umkehrer:
Formalisierung von unsicherem Wissen. Technical University Munich, Germany, DISKI 240, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-240-3, pp. 1-152 - 239Stephan Schmitt:
Proof reconstruction in classical and non-classical logics. Darmstadt University of Technology, Germany, DISKI 239, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-239-7, pp. I-XII, 1-216 - 238Ulrich Kühler:
A tactic-based inductive theorem prover for data types with partial operations. Kaiserslautern University of Technology, Germany, DISKI 238, Infix 2000, ISBN 978-3-89838-238-0, pp. I-XIV, 1-261 - 237Thomas Linke:
New foundations for automation of default reasoning. Bielefeld University, Germany, DISKI 237, Infix 2000, ISBN 978-3-89838-237-3, pp. I-VII, 1-182 - 236Mario Lenz:
Case retrieval nets as a model for building flexible information systems. DISKI 236, Infix 2000, ISBN 978-3-89838-236-6, pp. I-XV, 1-200 - 235Gregor Meyer:
On types and type consistency in logic programming. University of Hagen, Germany, DISKI 235, Infix 2000, ISBN 978-3-89838-235-9, pp. I-VI, 1-176 - 234Bettina Reinhardt:
Didaktische Strategien in generierten Trainingssystemen zum diagnostischen Problemlösen. Julius Maximilians University Würzburg, Germany, DISKI 234, Infix 2000, ISBN 978-3-89838-234-2, pp. I-IV, 1-272 - 233Karlheinz Agsteiner:
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme. Chemnitz University of Technology, Germany, DISKI 233, Infix 2000, ISBN 978-3-89838-233-5, pp. I-XV, 1-190 - 232Antonio Krüger:
Automatische Abstraktion in 3D-Graphiken. Saarland University, Saarbrücken, Germany, DISKI 232, Infix 2000, ISBN 978-3-89838-232-8, pp. I-XIV, 1-218 - 231Dirk Fuchs:
Cooperation in heterogeneous theorem prover networks. Kaiserslautern University of Technology, Germany, DISKI 231, Infix 2000, ISBN 978-3-89838-231-1, pp. 1-262 - 230Stephan Schulz:
Learning search control knowledge for equational deduction. Technical University Munich, Germany, DISKI 230, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-230-4, pp. I-XIII, 1-182 - 229Till Brychy:
Modellierung dynamischer Systeme mit vorstrukturierten neuronalen Netzen. Technical University Munich, Germany, DISKI 229, Infix 2000, ISBN 978-3-89838-229-8, pp. I-IV, 1-112 - 228Kristina Schädler:
Die Ermittlung struktureller Ähnlichkeit und struktureller Merkmale bei komplexen Objekten - ein konnektionistischer Ansatz und seine Anwendungen. Technical University of Berlin, Germany, DISKI 228, Infix 2000, ISBN 978-3-89838-228-1, pp. I-XIII, 1-182 - 227Marc Fuchs:
Relevancy-based use of lemmas in connection tableau calculi. Technical University Munich, Germany, DISKI 227, Infix 2000, ISBN 978-3-89838-227-4, pp. 1-239 - 226Karin Sobottka:
Analysis of low-resolution range image sequences. University of Bern, Switzerland, DISKI 226, Infix 2000, ISBN 978-3-89838-226-7, pp. 1-239
1999
- 225Tobias Scheffer:
Error estimation and model selection. Technical University of Berlin, Germany, DISKI 225, Infix 1999, ISBN 978-3-89601-225-8, pp. I-XI, 1-126 - 224Christian Drewniok:
Objektlokalisation durch Adaption parametrischer Grauwertmodelle und ihre Anwendung in der Luftbildauswertung. University of Hamburg, Germany, DISKI 224, Infix 1999, ISBN 978-3-89601-224-1, pp. I-XX, 1-253 - 223Jens von Berg:
Kortikale Karten und präattentive Wahrnehmung - über Segmentierungsleistungen und die Geometrie der Reizrepräsentation. University of Hamburg, Germany, DISKI 223, Infix 1999, ISBN 978-3-89601-223-4, pp. I-XIV, 1-211 - 222Stefan K. T. Kriebel:
A combined parametric and nonparametric approach to time series analysis - motivated by coastal upwelling prediction. Technical University Munich, Germany, DISKI 222, Infix 1999, ISBN 978-3-89601-222-7, pp. I-XII, 1-121 - 221Jens-Uwe Möller:
DIA-MOLE - Modellierung gesprochen-sprachlicher Dialoge unter Zuhilfenahme eines maschinellen Lernverfahrens. University of Hamburg, Germany, DISKI 221, Infix 1999, ISBN 978-3-89601-221-0, pp. 1-288 - 220Thomas Stützle:
Local search algorithms for combinatorial problems - analysis, improvements, and new applications. Darmstadt University of Technology, Germany, DISKI 220, Infix 1999, ISBN 978-3-89601-220-3, pp. I-XI, 1-203 - 219Armin Wolf:
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme. Technical University of Berlin, Germany, DISKI 219, Infix 1999, ISBN 978-3-89601-219-7, pp. 1-240 - 218Kathleen Steinhöfel:
Stochastic algorithms in scheduling theory. Technical University of Berlin, Germany, DISKI 218, Infix 1999, ISBN 978-3-89601-218-0, pp. I-X, 1-134 - 217Ortrun Ibens:
Connection tableau calculi with disjunctive constraints. Technical University Munich, Germany, DISKI 217, Infix 1999, ISBN 978-3-89601-217-3, pp. I-XIX, 1-214 - 216Thorsten Hermes:
Texturen - Analyse, Beschreibung und Synthese. University of Bremen, Germany, DISKI 216, Infix 1999, ISBN 978-3-89601-216-6, pp. I-XX, 1-225 - 215Holger H. Hoos:
Stochastic local search - methods, models, applications. DISKI 215, Infix 1999, ISBN 978-3-89601-215-9, pp. I-X, 1-219 - 214Wolfgang Maass:
Von visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen - das Modell eines kognitiven Agenten. Saarland University, Saarbrücken, Germany, DISKI 214, Infix 1999, ISBN 978-3-89601-214-2, pp. I-IV, 1-239 - 213Wolfgang Wilke:
Knowledge management for intelligent sales support in electronic commerce. Kaiserslautern University of Technology, Germany, DISKI 213, Infix 1999, ISBN 978-3-89601-213-5, pp. 1-212 - 212Peter Geibel:
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen. Technical University of Berlin, Germany, DISKI 212, Infix 1999, ISBN 978-3-89601-212-8, pp. I-XIII, 1-187 - 211Robert Engels:
Component-based user guidance in knowledge discovery and data mining. Karlsruhe Institute of Technology, Germany, DISKI 211, Infix 1999, ISBN 978-3-89601-211-1, pp. I-XII, 1-234 - 210Christiane Stutz:
Anwendungsspezifische Fuzzy-Clustermethoden. Technical University Munich, Germany, DISKI 210, Infix 1999, ISBN 978-3-89601-210-4, pp. I-XII, 1-148 - 209Hartwig Baumgärtel:
Verteiltes Lösen von Constraint-Problemen in Multiagenten-Systemen zur optimierten Planung in einer Fließfertigung. DISKI 209, Infix 1999, ISBN 978-3-89601-209-8, pp. I-XIV, 1-190 - 208Volker Klingspor:
Reaktives Planen mit gelernten Begriffen. Technical University of Dortmund, Germany, DISKI 208, Infix 1999, ISBN 978-3-89601-208-1, pp. I-XIV, 1-205 - 207Jürgen Brauburger:
Automatic termination analysis for functional and imperative programs. Darmstadt University of Technology, Germany, DISKI 207, Infix 1999, ISBN 978-3-89601-207-4, pp. 1-244 - 206Christoph Goller:
A connectionist approach for learning search-control heuristics for automated deduction systems. Technical University Munich, Germany, DISKI 206, Infix 1999, ISBN 978-3-89601-206-7, pp. I-XIII, 1-136 - 205Rainer Holve:
Automatische Musterklassifikation mit hierarchischen Fuzzy-Regelbasen. University of Erlangen-Nuremberg, Germany, DISKI 205, Infix 1999, ISBN 978-3-89601-205-0, pp. 1-134 - 204Axel Brinkop:
Variantenkonstruktion durch Auswertung der Abhängigkeiten zwischen den Konstruktionsbauteilen. Karlsruhe Institute of Technology, Germany, DISKI 204, Infix 1999, ISBN 978-3-89601-204-3, pp. I-X, 1-166 - 203Stefan K. Bamberger:
Verteiltes Problemlösen mit wissensbasierten Diagnosesystemen. Julius Maximilians University Würzburg, Germany, DISKI 203, Infix 1999, ISBN 978-3-89601-203-6, pp. I-XVII, 1-289 - 201Stefan Edelkamp:
Datenstrukturen und Lernverfahren in der Zustandsraumsuche. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 201, Infix 1999, ISBN 978-3-89601-201-2, pp. I-VIII, 1-192 - 200Katja Markert:
Metonymien - eine computerlinguistische Analyse. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 200, Infix 1999, ISBN 978-3-89601-200-5, pp. I-XVI, 1-282 - 199Andreas Fordan:
Projection in constraint logic programming. Technical University of Berlin, Germany, DISKI 199, Infix 1999, ISBN 978-3-89601-199-2, pp. I-XIV, 1-145 - 198Daniel S. Korn:
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik. Darmstadt University of Technology, Germany, DISKI 198, Infix 1999, ISBN 978-3-89601-198-5, pp. I-XV, 1-213 - 197Bettina Berendt:
Representation and processing of knowledge about distances in environmental spaces - a computational model of inferred route distances investigating their qualitative and quantitative determinants. University of Hamburg, Germany, DISKI 197, Infix 1999, ISBN 978-3-89601-197-8, pp. I-VII, 1-260 - 196Carsten Schröder:
Bildinterpretation durch Modellkonstruktion - eine Theorie zur rechnergestützten Analyse von Bildern. University of Hamburg, Germany, DISKI 196, Infix 1999, ISBN 978-3-89601-196-1, pp. I-XV, 1-306 - 195Boris Baginski:
Motion planning for manipulators with many degrees of freedom - the BB-method. Technical University Munich, Germany, DISKI 195, Infix 1999, ISBN 978-3-89601-195-4, pp. I-XX, 1-171 - 194Peter Neuhaus:
Nebenläufiges Parsing - ein lexikalisch verteiltes Verfahren zur performanzgrammatischen Analyse beim Textverstehen. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 194, Infix 1999, ISBN 978-3-89601-194-7, pp. I-XIV, 1-280
1998
- 193Michael Haag:
Bildfolgenauswertung zur Erkennung der Absichten von Straßenverkehrsteilnehmern. DISKI 193, Infix 1998, ISBN 978-3-89601-193-0, pp. I-XV, 1-182 - 192Peter Fröhlich:
DRUM-II - efficient model-based diagnosis of technical systems. University of Hanover, Hannover, Germany, DISKI 192, Infix 1998, ISBN 978-3-89601-192-3, pp. I-XI, 1-151 - 191Steffen Egner:
Zur Rolle der Aufmerksamkeit für die Objekterkennung - Modellierung, Simulation, Empirie. University of Hamburg, Germany, DISKI 191, Infix 1998, ISBN 978-3-89601-191-6, pp. I-XII, 1-148 - 190Gunther Heidemann:
Ein flexibel einsetzbares Objekterkennungssystem auf der Basis neuronaler Netze. Bielefeld University, Germany, DISKI 190, Infix 1998, ISBN 978-3-89601-190-9, pp. I-XI, 1-183 - 189Ralf Röhrig:
Repräsentation und Verarbeitung von qualitativem Orientierungswissen. University of Hamburg, Germany, DISKI 189, Infix 1998, ISBN 978-3-89601-189-3, pp. 1-136 - 188Wolfgang Pohl:
Logic-based representation and reasoning for user modeling shell systems. University of Duisburg-Essen, Germany, DISKI 188, Infix 1998, ISBN 978-3-89601-188-6, pp. I-XIV, 1-251 - 187Markus Wiese:
Learning first-order concept definitions by using a bidirectional heuristic search strategy. Karlsruhe Institute of Technology, Germany, DISKI 187, Infix 1998, ISBN 978-3-89601-187-9, pp. I-XVI, 1-208 - 186Soenke Ziesche:
Perspektivierungsprozesse bei der Sprachproduktion - Spezifikation und Modellierung der Abbildung von konzeptuellen Strukturen auf semantische Repräsentationen. University of Hamburg, Germany, DISKI 186, Infix 1998, ISBN 978-3-89601-186-2, pp. I-XIII, 1-240 - 185Jürgen Eckerle:
Heuristische Suche unter Speicherbeschränkungen. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 185, Infix 1998, ISBN 978-3-89601-185-5, pp. I-XII, 1-185 - 184Britta Lenzmann:
Benutzeradaptive und multimodale Interface-Agenten. Bielefeld University, Germany, DISKI 184, Infix 1998, ISBN 978-3-89601-184-8, pp. I-X, 1-189 - 183….
- 182Brigitte Wirtz:
Segmentorientierte Analyse und nichtlineare Auswertung für die dynamische Unterschriftsverifikation. Technical University Munich, Germany, DISKI 182, Infix 1998, ISBN 978-3-89601-182-4, pp. 1-102 - 181Stefan Schrödl:
Negation as failure in explanation-based generalization. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 181, Infix 1998, ISBN 978-3-89601-181-7, pp. I-XI, 1-173 - 180Herwig Henseler:
Aktive Ablaufplanung mit Multi-Agenten. DISKI 180, Infix 1998, ISBN 978-3-89601-180-0, pp. I-XI, 1-222 - 179Jörg Walter Schaaf:
Über die Suche nach situationsgerechten Fällen im fallbasierten Schließen. Kaiserslautern University of Technology, Germany, DISKI 179, Infix 1998, ISBN 978-3-89601-179-4, pp. 1-172 - 178Jürgen Rahmel:
Topology preserving neural networks - connectionist learning of structured knowledge. Kaiserslautern University of Technology, Germany, DISKI 178, Infix 1998, ISBN 978-3-89601-178-7, pp. I-XVII, 1-191 - 176Sabine Borndorff-Eccarius:
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme. University of Kassel, Germany, DISKI 176, Infix 1998, ISBN 978-3-89601-176-3, pp. 1-165 - 175Simone Bürsner:
Situationsbezogene Wissensverarbeitung mit medizinischen Assistenzsystemen (SIRKIMA). DISKI 175, Infix 1998, ISBN 978-3-89601-175-6, pp. I-XVIII
1997
- 177Katy 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. Kaiserslautern University of Technology, Germany, DISKI 177, Infix 1997, ISBN 978-3-89601-177-0, pp. I-XV, 1-211 - 174Reinhard Moratz:
Visuelle Objekterkennung als kognitive Simulation. DISKI 174, Infix 1997, ISBN 978-3-89601-174-9, pp. 1-123 - 173Adi Palm:
Transforming tree constraints into formal grammars - the expressivity of tree languages. DISKI 173, Infix 1997, ISBN 978-3-89601-173-2, pp. I-X, 1-366 - 172Wlodzimierz Kasprzak:
Adaptive Erkennung von bewegten Fahrbahnobjekten in monokularen Bildfolgen mit Eigenbewegung. DISKI 172, Infix 1997, ISBN 978-3-89601-172-5, pp. I-XII, 1-181 - 171Edgar Sommer:
Theory restructuring - a perspective on design and maintenance of knowlege based systems. Technical University of Dortmund, Germany, DISKI 171, Infix 1996, ISBN 978-3-89601-171-8, pp. I-XIV, 1-209 - 170Gudrun Socher:
Qualitative scene descriptions from images for integrated speech and image understanding. DISKI 170, Infix 1997, ISBN 978-3-89601-170-1, pp. I-XIII, 1-184 - 169Antje Strohmaier:
Logisches Schließen mit massiv parallelen Methoden. DISKI 169, Infix 1997, ISBN 978-3-89601-169-5, pp. I-XVI, 1-220 - 168Alex Rummel:
Knowledge extraction from databases - using available data more efficiently through multi-events. DISKI 168, Infix 1997, ISBN 978-3-89601-168-8, pp. I-IV, 1-102 - 167