Knowledge Science, Engineering and Management

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.