| Invited Papers | |
| Reengineering and Knowledge Management | p. 1 |
| Knowledge Navigation in Networked Digital Libraries | p. 13 |
| Long Papers | |
| Towards Brokering Problem-Solving Knowledge on the Internet | p. 33 |
| TERMINAE: A Linguistics-Based Tool for the Building of a Domain Ontology | p. 49 |
| Applications of Knowledge Acquisition in Experimental Software Engineering | p. 67 |
| Acquiring and Structuring Web Content with Knowledge Level Models | p. 85 |
| A Knowledge-Based News Server Supporting Ontology-Driven Story Enrichment and Knowledge Retrieval | p. 103 |
| Modeling Information Sources for Information Integration | p. 121 |
| Ontological Reengineering for Reuse | p. 139 |
| Formally Verifying Dynamic Properties of Knowledge Based Systems | p. 157 |
| Integration of Behavioural Requirements Specification within Knowledge Engineering | p. 173 |
| Towards an Ontology for Substances and Related Actions | p. 191 |
| Use of Formal Ontologies to Support Error Checking in Specifications | p. 207 |
| The Ontologies of Semantic and Transfer Links | p. 225 |
| Distributed Problem Solving Environment Dedicated to DNA Sequence Annotation | p. 243 |
| Knowledge Acquisition from Multiple Experts Based on Semantics of Concepts | p. 259 |
| Acquiring Expert Knowledge for the Design of Conceptual Information Systems | p. 275 |
| A Constraint-Based Approach to the Description of Competence | p. 291 |
| Short Papers | |
| Holism and Incremental Knowledge Acquisition | p. 309 |
| Indexing Problem Solving Methods for Reuse | p. 315 |
| Software Methodologies at Risk | p. 323 |
| Knowledge Acquisition of Predicate Argument Structures from Technical Texts Using Machine Learning: The System ASIUM | p. 329 |
| An Interoperative Environment for Developing Expert Systems | p. 335 |
| On the Use of Meaningful Names in Knowledge-Based Systems | p. 341 |
| FMR: An Incremental Knowledge Acquisition System for Fuzzy Domains | p. 349 |
| Applying SeSKA to Sisyphus III | p. 355 |
| Describing Similar Control Flows for Families of Problem-Solving Methods | p. 361 |
| Meta Knowledge for Extending Diagnostic Consultation to Critiquing Systems | p. 367 |
| Exploitation of XML for Corporate Knowledge Management | p. 373 |
| An Oligo-Agents System with Shared Responsibilities for Knowledge Management | p. 379 |
| Veri-KoMoD: Verification of Knowledge Models in the Mechanical Design Field | p. 385 |
| A Flexible Framework for Uncertain Expertise | p. 391 |
| Elicitation of Operational Track Grids | p. 397 |
| Author Index | p. 403 |
| Table of Contents provided by Publisher. All Rights Reserved. |