Models in Knowledge Management -- Two Applications of Computer-Aided Theorem Discovery and Verification -- Knowware: The Third Star after Hardware and Software -- Required Knowledge for Delivering Services -- Mapping Relational Databases to the Semantic Web with Original Meaning -- Computing Knowledge-Based Semantic Similarity from the Web: An Application to the Biomedical Domain -- An Anytime Algorithm for Computing Inconsistency Measurement -- Forwarding Credible Information in Multi-agent Systems -- Convergence Analysis of Affinity Propagation -- Propagation of Random Perturbations under Fuzzy Algebraic Operators -- Two Approaches to Iterated Belief Contraction -- The Dual Spatial Connectives of Separation Logic -- Knowledge Engineering in Future Internet -- Developing Diagnostic DSSs Based on a Novel Data Collection Methodology -- Data Integration for Business Analytics: A Conceptual Approach -- New Labeling Strategy for Semi-supervised Document Categorization -- A Competitive Learning Approach to Instance Selection for Support Vector Machines -- Knowledge Discovery from Academic Search Engine -- Interactive Visualization in Knowledge Discovery for Academic Evaluation and Accreditation -- Aggregation Models for People Finding in Enterprise Corpora -- Debt Detection in Social Security by Adaptive Sequence Classification -- Ontology Based Opinion Mining for Movie Reviews -- Concept-Based, Personalized Web Information Gathering: A Survey -- The Online Market Observatory: A Domain Model Approach -- Data Driven Rank Ordering and Its Application to Financial Portfolio Construction -- Prioritizing Non-functional Concerns in MAMIE Methodology -- Verifying Software Requirements Based on Answer Set Programming -- Blending the Sketched Use Case Scenario with License Agreements Using Semantics -- A Comparative Analysis for Detecting Seismic Anomalies in Data Sequences of Outgoing Longwave Radiation -- On Optimization of Predictions in Ontology-Driven Situation Awareness -- On Undecidability of Cyclic Scheduling Problems -- Combination of Two KM Strategies by Web 2.0 -- Measuring KM Success and KM Service Quality with KnowMetrix - First Experiences from a Case Study in a Software Company -- Knowledge Creation Spaces: The Power of Project Teams -- Competence Management in Knowledge-Based Organisation: Case Study Based on Higher Education Organisation -- Knowledge Maturing Services: Supporting Knowledge Maturing in Organisational Environments -- How Much Well Does Organizational Knowledge Transfer Work with Domain and Rule Ontologies? -- Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies -- Knowledge-Based Process Modelling for Nuclear Inspection -- Two Dependency Modeling Approaches for Business Process Adaptation -- The IT-Socket: Model-Based Business and IT Alignment -- Identifying and Supporting Collaborative Architectures -- An Examination of Talent Management Concepts in Knowledge Intensive Settings -- A 'Soft' Approach to TLM Requirements Capture to Support Through-Life Management.