000 04956nam a22004935i 4500
001 978-3-540-39967-4
003 DE-He213
005 20160624101947.0
007 cr nn 008mamaa
008 121227s2000 gw | s |||| 0|eng d
020 _a9783540399674
_9978-3-540-39967-4
024 7 _a10.1007/3-540-39967-4
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aKnowledge Engineering and Knowledge Management Methods, Models, and Tools
_h[electronic resource] :
_b12th International Conference, EKAW 2000 Juan-les-Pins, France, October 2–6, 2000 Proceedings /
_cedited by Rose Dieng, Olivier Corby.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2000.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2000.
300 _aXIV, 462 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1937
505 0 _aKnowledge Modelling Languages and Tools -- OIL in a Nutshell -- The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility -- A Case Study in Using Protégé-2000 as a Tool for CommonKADS -- The MOKA Modelling Language -- Md??: A Modelling Language to Build a Formal Ontology in Either Description Logics or Conceptual Graphs -- Ontologies -- Ontology’s Crossed Life Cycles -- A Roadmap to Ontology Specification Languages -- A Formal Ontology of Properties -- Construction and Deployment of a Plant Ontology -- The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines -- Supporting Inheritance Mechanisms in Ontology Representation -- Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases -- Knowledge Acquisition from Texts -- Revisiting Ontology Design: A Method Based on Corpus Analysis -- Mining Ontologies from Text -- SVETLAN’ Or How to Classify Words Using Their Context -- Machine Learning -- KIDS: An Iterative Algorithm to Organize Relational Knowledge -- Informed Selection of Training Examples for Knowledge Refinement -- Experiences with a Generic Refinement Toolkit -- Knowledge Management & E-Commerce -- What’s in an Electronic Business Model? -- Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management -- Using Problem-Solving Models to Design Efficient Cooperative Knowledge-Management Systems Based on Formalization and Traceability of Argumentation -- Integrating Textual Knowledge and Formal Knowledge for Improving Traceability -- Knowledge Management by Reusing Experience -- Problem-Solving Methods -- Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures -- The Nature of Knowledge in an Abductive Event Calculus Planner -- Adapting Tableaux for Classification -- Knowledge Representation -- Conceptual Information Systems Discussed through an IT-Security Tool -- Translations of Ripple Down Rules into Logic Formalisms -- Generalising Ripple-Down Rules -- Validation, Evaluation and Certification -- Monitoring Knowledge Acquisition Instead of Evaluating Knowledge Bases -- Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems -- Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs -- Methodologies -- Kinesys, a Participative Approach to the Design of Knowledge Systems -- An Organizational Semiotics Model for Multi-agent Systems Design.
520 _aThis book constitutes the refereed proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000, held in Juan-les-Pins, France in October 2000. The 28 revised full papers and six revised short papers presented were carefully reviewed and selected from a high number of high-quality submissions. The book offers topical sections on knowledge modeling languages and tools, ontologies, knowledge acquisition from texts, machine learning, knowledge management and electronic commerce, problem solving methods, knowledge representation, validation, evaluation and certification, and methodologies.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aDieng, Rose.
_eeditor.
700 1 _aCorby, Olivier.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540411192
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1937
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-39967-4
942 _2EBK4783
_cEBK
999 _c34077
_d34077