Note: Intro -- Title Page -- Preface -- Organization -- Table of Contents -- Expressivity-Preserving Tempo Transformation for Music - A Case-Based Approach -- The Problem of Generating Expressive Music -- TempoExpress -- Results -- Conclusions -- MicroPsi: Contributions to a Broad Architecture of Cognition -- Introduction -- Assumptions of the Psi Theory -- MicroPsi -- Current Experiments: Neural Prototyping -- Affective Cognitive Modeling for Autonomous Agents Based on Scherer's Emotion Theory -- Introduction -- Related Research -- Developing Socially Intelligent Agents -- A Three-Layered Emotional State Generator -- Sensory Motor Level -- Schematic Level -- Conceptual Level -- Stimulus Evaluation Checks (SECs) -- Affective-Cognitive Architecture and Embodiment Forms -- Functionalities of Our Robot -- Navigation with Sonar and Vision -- Integration of Face Recognition with Social Status Knowledge -- Sensory Motor Level Design and Implementation -- Behavior State Generator (BSG) -- Integration on a Robotic Platform with Anthropomorphic Interface -- Conclusion -- References -- OWL and Qualitative Reasoning Models -- Introduction -- Qualitative Reasoning -- Representing General Situations -- The Formalisation of Relations -- Representing Values -- Relation Restriction Through Classification -- Implementation -- Conclusions and Discussion -- Techniques for Fast Query Relaxation in Content-Based Recommender Systems -- Introduction -- Non-interactive Relaxation -- Interactive Relaxation -- Implementation and Evaluation -- Conclusion and Future Work -- Solving Proportional Analogies by E-Generalization -- Introduction -- Syntactic Anti-unification and E--Generalization -- Syntactic Anti-unification -- E--Generalization -- Letter String Analogies -- Solving Proportional Analogies by E--Generalization -- Illustration of the Approach. , Algorithmic Realization of E-Generalization -- Using E-Generalization to Solve Proportional Analogies -- Implementation -- Conclusion and Further Work -- Building Robots with Analogy-Based Anticipation -- Introduction -- The DUAL Architecture -- Basic Properties -- DUAL-Agents -- The Coalitions of Agents -- The AMBR Model -- Main Ideas -- Mechanisms Used in AMBR -- Anticipation by Analogy -- Simulation Results -- Mapping Between Close Situations -- Single Run of the Model -- Statistical Results from Many Runs of the System -- Conclusion -- References -- Classification of Skewed and Homogenous Document Corpora with Class-Based and Corpus-Based Keywords -- Introduction -- Document Representation -- Keyword Selection -- Experiment Results -- Document Data Sets -- Results and Discussion -- Conclusion -- References -- Learning an Ensemble of Semantic Parsers for Building Dialog-Based Natural Language Interfaces -- Introduction -- Background -- Bagging Classifiers -- Inductive Logic Programming -- Ensemble Learning for Semantic Parsing -- The {\sc Chill} Architecture for Semantic Parser Induction -- The {\sc ChillE} Algorithm -- Experimental Evaluation -- Domains and Corpora -- Experimental Design -- Discussion of Results -- Related Work -- Conclusion and Future Work -- Game-Theoretic Agent Programming in Golog Under Partial Observability -- Introduction -- Preliminaries -- The Situation Calculus -- Golog -- Normal Form Games -- Partially Observable Stochastic Games -- Partially Observable GTGolog (POGTGolog) -- Domain Theory -- Belief States -- Syntax -- Semantics -- A POGTGolog Interpreter -- Summary and Outlook -- Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model -- Introduction -- Definitions -- The Blocked SAT Problem -- The Blocked SAT Solver Algorithm -- Blocked Clause Rules. , Towards the Computation of Stable Probabilistic Model Semantics -- Introduction -- Normal Hybrid Probabilistic Programs -- Probabilistic Strategies -- Language Syntax -- Satisfaction and Models -- Stable Probabilistic Model Semantics -- An Algorithm for Computing Stable P-Models -- PAtleast(P,h) and PAtmost(P,h) -- Conclusions -- DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics -- Introduction -- Design Aspects -- The DiaWOz-II System -- \TeX \lower.5ex\hbox{\bfseries {\sc macs} -- \TeX \lower.5ex\hbox{\bfseries {\sc macs} as Base Component of DiaWOz-II -- Student and Wizard Interfaces -- The Server -- Implementation -- An Empirical Study Using DiaWOz-II -- Method -- Discussion -- Conclusion -- Applications of Automated Reasoning -- Introduction -- State of the Art in Automated Deduction -- Applications -- Knowledge Compilation -- Conclusion -- On the Scalability of Description Logic Instance Retrieval -- Introduction -- Lehigh University Benchmark -- Optimization Techniques -- Query Optimization -- Indexing by Exploiting Told and Taxonomical Information -- Obvious Non-instances: Exploiting Information from One Completion -- Obvious Instances: Exploiting Information from the Precompletion -- Index Structures for Optimizing Tableau Provers -- Transforming Sufficient Conditions into Conjunctive Queries -- Evaluation -- Conclusion and Future Work -- Relation Instantiation for Ontology Population Using the Web -- Introduction -- Relation Instantiation Task -- Redundancy-Based Relation Instantiation -- Approach -- Method Specification -- Extracting Artist-Art Style Relation -- Cultural Heritage Domain -- Experiment Setup -- Evaluation -- Results for 'Neue Sachlichkeit' -- Results for the Nine Art Styles -- Discussion -- Related Work -- Conclusions and Further Research -- GeTS - A Specification Language for Geo-Temporal Notions. , Motivation and Introduction -- Basic Data Structures in CTTN and GeTS -- Time Points and Time Intervals -- Partitionings -- Durations -- The GeTS Language -- Types in the GeTS Language -- Language Constructs for GeTS -- Built-ins for Time Intervals -- Summary and Related Work -- Active Monte Carlo Recognition -- Introduction -- Related Work -- Active Monte Carlo Recognition (AMCR) -- Analogy Between Object Recognition and Mobile Robot Localization -- An Example -- Overview -- Definitions -- Probabilistic Formulation -- The AMCR-Algorithm -- Radial-AMCR: AMCR for Shape Recognition -- The Affine Estimator and the Measurement Model -- The Motion Model -- Feedback Loops -- Lookup Tables -- The Focus of Attention -- Experimental Results -- Conclusions -- Cross System Personalization and Collaborative Filtering by Learning Manifold Alignments -- Introduction -- Automatic Cross System Personalization -- Non Linear Dimensionality Reduction and Manifold Alignment -- Laplacian Eigenmaps -- Aligned Manifold Learning -- Locally Linear Embedding -- Reconstructing Points from Alignments -- The Manifold Alignment Collaborative Filtering Algorithm -- Evaluation -- Dataset and Evaluation Scheme -- Discussion -- Implementation and Performance -- Computation Complexity -- Usefulness in Practical Scenarios -- Privacy -- Scaling to a n-System Scenario -- Conclusions and Future Work -- A Partitioning Method for Mixed Feature-Type Symbolic Data Using a Squared Euclidean Distance -- Introduction -- Data Homogenization Pre-processing Step -- Categorical Multi-valued Variables -- Interval Variables -- Example -- A Dynamic Clustering Algorithm for Mixed Feature-Type Symbolic Data -- Representation Step: Definition of the Best Prototypes -- Allocation Step: Definition of the Best Partition -- The Algorithm -- Experimental Evaluation -- The Monte Carlo Experiences. , Applications with Real Data Sets -- Concluding Remarks -- On Generalizing Orientation Information in OPRAm -- Introduction -- Qualitative Orientation Calculi -- Mapping Orientation Calculi into OPRAm -- Preliminaries -- Encoding FlipFlop Calculus and LR in OPRAm -- Encoding DCC in OPRAm -- Encoding DRAf in OPRAm -- The DRAfp Enhancement in OPRAm -- Encoding QTC in OPRAm -- Applications of OPRAm Mappings -- From DCC Relations to FlipFlop Relations -- DCC Composition with OPRAm -- Conclusion -- Towards the Visualisation of Shape Features The Scope Histogram -- Introduction -- Scope Histograms -- Representing Polygons by Their Scope -- Conceptual Neighbourhoods of Scopes -- Computing Scope Histograms -- Visualising Scope Histograms -- Categorising Objects -- Discussion -- Summary -- A Robot Learns to Know People-First Contacts of a Robot -- Introduction -- Obtaining Attention and Initiating Dialogs -- Recognizing Persons and Names -- Face Recognition -- System Integration and Dialog Components -- OOV Recognition -- The Dialog Manager -- Conclusions and Future Work -- Conclusions -- Future Works -- Recombinant Rule Selection in Evolutionary Algorithm for Fuzzy Path Planner of Robot Soccer -- Introduction -- Illustrative Example - Path Planning -- Proposed Evolutionary Technique -- Parent Selection Process -- Implementation -- Experiments -- Robot Soccer System -- Fuzzy System -- The Evolutionary Algorithm -- Experiment Results -- Experimental Conclusions -- Conclusion -- A Framework for Quasi-exact Optimization Using Relaxed Best-First Search -- Introduction -- Search by A* -- Previous Work -- Dynamic Weighting -- Constant Inflation -- Search Effort Estimates -- Unifying View -- Monotonicity -- Preventing to Reopen States -- Experimental Results -- Conclusions -- Gray Box Robustness Testing of Rule Systems -- Introduction. , Measuring the Quality of Rule-Based Systems.

Note: Förderkennzeichen BMWi 0325927A-D , Verbundnummer 01164447 , Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden

Note: Förderkennzeichen BMWi 50 NA 1505 , Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden

Note: Förderkennzeichen BMBF 031B0238 , Paralleltitel dem englischen Berichtsblatt entnommen , Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden , Sprache der Zusammenfassung: Deutsch, Englisch

Note: Förderkennzeichen BMBF 01BF1712 , Autoren dem Berichtsblatt entnommen , Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden

Note: Literaturverzeichnis: Seite 102+103 , Förderkennzeichen BMBF 01FP1611-01FP1615 , Verbundnummer 01178804 , Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden