KSEM 2009: Vienna, Austria

• John Mylopoulos:
  Models in Knowledge Management. 1
  
• Fangzhen Lin:
  Two Applications of Computer-Aided Theorem Discovery and Verification. 2
  
• David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang:
  Knowware: The Third Star after Hardware and Software. 3
  
• Brian Donnellan, Diem Ho, John Mylopoulos, Stefan Schambron, Hans-Georg Fill:
  Required Knowledge for Delivering Services. 4
  
• Dmitry V. Levshin:
  Mapping Relational Databases to the Semantic Web with Original Meaning. 5-16
  
• David Sánchez, Montserrat Batet, Aïda Valls:
  Computing Knowledge-Based Semantic Similarity from the Web: An Application to the Biomedical Domain. 17-28
  
• Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin:
  An Anytime Algorithm for Computing Inconsistency Measurement. 29-40
  
• Patrick Krümpelmann, Luciano H. Tamargo, Alejandro Javier García, Marcelo A. Falappa:
  Forwarding Credible Information in Multi-agent Systems. 41-53
  
• Jian Yu, Caiyan Jia:
  Convergence Analysis of Affinity Propagation. 54-65
  
• Zheng Zheng, Shanjie Wu, Kai-Yuan Cai:
  Propagation of Random Perturbations under Fuzzy Algebraic Operators. 66-77
  
• Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun:
  Two Approaches to Iterated Belief Contraction. 78-89
  
• Yuming Shen, Yuefei Sui, Ju Wang:
  The Dual Spatial Connectives of Separation Logic. 90-99
  
• Vedran Hrgovcic, Wilfrid Utz, Robert Woitsch:
  Knowledge Engineering in Future Internet. 100-109
  
• Kaya Kuru, Sertan Girgin, Kemal Arda, Ugur Bozlar, Veysel Akgün:
  Developing Diagnostic DSSs Based on a Novel Data Collection Methodology. 110-121
  
• Wilfried Grossmann:
  Data Integration for Business Analytics: A Conceptual Approach. 122-133
  
• Yan Zhu, Liping Jing, Jian Yu:
  New Labeling Strategy for Semi-supervised Document Categorization. 134-145
  
• Mario Zechner, Michael Granitzer:
  A Competitive Learning Approach to Instance Selection for Support Vector Machines. 146-157
  
• Ye Wang, Miao Jiang, Xiaoling Wang, Aoying Zhou:
  Knowledge Discovery from Academic Search Engine. 158-167
  
• Anastasios Tsolakidis, Ioannis Chalaris, George Miaoulis:
  Interactive Visualization in Knowledge Discovery for Academic Evaluation and Accreditation. 168-179
  
• Wei Zhang, Lei Chang, Jianqing Ma, YiPing Zhong:
  Aggregation Models for People Finding in Enterprise Corpora. 180-191
  
• Shanshan Wu, Yanchang Zhao, Huaifeng Zhang, Chengqi Zhang, Longbing Cao, Hans Bohlscheid:
  Debt Detection in Social Security by Adaptive Sequence Classification. 192-203
  
• Lili Zhao, Chunping Li:
  Ontology Based Opinion Mining for Movie Reviews. 204-214
  
• Xiaohui Tao, Yuefeng Li:
  Concept-Based, Personalized Web Information Gathering: A Survey. 215-228
  
• Norbert Walchhofer, Milan Hronsky, Karl Anton Froeschl:
  The Online Market Observatory: A Domain Model Approach. 229-240
  
• Maria Dobrska, Hui Wang, William Blackburn:
  Data Driven Rank Ordering and Its Application to Financial Portfolio Construction. 241-252
  
• Hakim Bendjenna, Mohamed Amroune, Nacereddine Zarour, Pierre-Jean Charrel:
  Prioritizing Non-functional Concerns in MAMIE Methodology. 253-262
  
• Kedian Mu, Qi Zhang, Zhi Jin:
  Verifying Software Requirements Based on Answer Set Programming. 263-274
  
• Muhammad Asfand-e-yar, Amin Anjomshoaa, Edgar R. Weippl, A. Min Tjoa:
  Blending the Sketched Use Case Scenario with License Agreements Using Semantics. 275-284
  
• Yaxin Bi, Shengli Wu, Pan Xiong, Xuhui Shen:
  A Comparative Analysis for Detecting Seismic Anomalies in Data Sequences of Outgoing Longwave Radiation. 285-296
  
• Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
  On Optimization of Predictions in Ontology-Driven Situation Awareness. 297-309
  
• Grzegorz Bocewicz, Robert Wójcik, Zbigniew A. Banaszak:
  On Undecidability of Cyclic Scheduling Problems. 310-321
  
• Quoc Trung Pham, Yoshinori Hara:
  Combination of Two KM Strategies by Web 2.0. 322-334
  
• Franz Lehner:
  Measuring KM Success and KM Service Quality with KnowMetrix - First Experiences from a Case Study in a Software Company. 335-346
  
• Andrew J. Sense:
  Knowledge Creation Spaces: The Power of Project Teams. 347-357
  
• Przemyslaw Rózewski, Bartlomiej Malachowski:
  Competence Management in Knowledge-Based Organisation: Case Study Based on Higher Education Organisation. 358-369
  
• Karin Schoefegger, Nicolas Weber, Stefanie N. Lindstaedt, Tobias Ley:
  Knowledge Maturing Services: Supporting Knowledge Maturing in Organisational Environments. 370-381
  
• Keido Kobayashi, Akiko Yoshioka, Masao Okabe, Masahiko Yanagisawa, Hiroshi Yamazaki, Takahira Yamaguchi:
  How Much Well Does Organizational Knowledge Transfer Work with Domain and Rule Ontologies? 382-393
  
• Viktoria Pammer, Stefanie N. Lindstaedt:
  Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies. 394-405
  
• Florin Abazi, Alexander Bergmayr:
  Knowledge-Based Process Modelling for Nuclear Inspection. 406-417
  
• Christian Sell, Matthias Winkler, Thomas Springer, Alexander Schill:
  Two Dependency Modeling Approaches for Business Process Adaptation. 418-429
  
• Robert Woitsch, Wilfrid Utz:
  The IT-Socket: Model-Based Business and IT Alignment. 430-441
  
• I. T. Hawryszkiewycz:
  Identifying and Supporting Collaborative Architectures. 442-449
  
• Eoin Whelan, David Collings, Brian Donnellan:
  An Examination of Talent Management Concepts in Knowledge Intensive Settings. 450-457
  
• Huseyin Dogan, Michael Henshaw, Esmond Urwin:
  A 'Soft' Approach to TLM Requirements Capture to Support Through-Life Management. 458-469