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