bacteria
发表于 2025-3-26 23:48:32
http://reply.papertrans.cn/55/5439/543828/543828_31.png
Cleave
发表于 2025-3-27 01:31:55
Formally Verifying Dynamic Properties of Knowledge Based Systemsich are concerned with the anytime behaviour and the computation trace of the classification method. We show how Dynamic Logic can be used to formally express these dynamic properties.We have used the KIV interactive theorem prover to obtain machine-assisted proofs for all the properties and theorems in this paper.
尾巴
发表于 2025-3-27 05:36:35
Acquiring Expert Knowledge for the Design of Conceptual Information Systemsierarchies, . and ., and discuss advantages and drawbacks. The central part of the paper shows how ., a knowledge acquisition tool developed by B. Ganter can be applied for narrowing the gap between both approaches.
SMART
发表于 2025-3-27 11:55:53
Conference proceedings 1999, and Management (EKAW ’99), held at Dagstuhl Castle (Germany) in May of 1999. This continuity and the high number of s- missions re?ect the mature status of the knowledge acquisition community. Knowledge Acquisition started as an attempt to solve the main bottleneck in developing expert systems (no
Morbid
发表于 2025-3-27 15:32:24
Applications of Knowledge Acquisition in Experimental Software Engineeringthe development of customised KA methods in experimental software engineering. Repository and methodology aim at fostering the dissemination of systematic KA practices in ESE. They are applied at Fraunhofer IESE to develop methods for the acquisition of experiential software engineering knowledge.
使隔离
发表于 2025-3-27 20:15:47
Ontological Reengineering for Reuse discusses how the ontological reengineering process has been applied to the Standard-Units ontology [.], which is included in a Chemical-Elements [.] ontology. These two ontologies will be included in a Monatomic-Ions and Environmental-Pollutants ontologies.
Lymphocyte
发表于 2025-3-27 23:20:55
http://reply.papertrans.cn/55/5439/543828/543828_37.png
fluoroscopy
发表于 2025-3-28 03:20:25
http://reply.papertrans.cn/55/5439/543828/543828_38.png
宫殿般
发表于 2025-3-28 07:46:29
A Knowledge-Based News Server Supporting Ontology-Driven Story Enrichment and Knowledge Retrievalling, autonomous agents, software visualization, knowledge acquisition and distributed computing. In the paper we describe the resulting . architecture, which provides an integrated set of tools to support news publishing, ontology-driven document formalization, story identification and personalized news feeds and alerts.
Radiation
发表于 2025-3-28 13:09:35
A Constraint-Based Approach to the Description of Competencelogic) programming provides a natural approach to the implementation of such approximations. We took the Common LISP constraints library SCREAMER and extended its symbolic capabilities to suit our purposes. Additionally, we formulated an example of fitness-for-purpose modelling using this enhanced library.