Defiance
发表于 2025-3-25 04:58:51
Susana Val,M. Teresa de la Cruzconsists in correcting the errors that are detected during the validation, in order to restore the KB validity. We propose to perform the semantic validation and refinement of a KB composed of conceptual graphs in two stages. First, we study the coherence of the KB with respect to negative constrain
怪物
发表于 2025-3-25 07:29:05
http://reply.papertrans.cn/24/2351/235042/235042_22.png
poliosis
发表于 2025-3-25 14:08:27
http://reply.papertrans.cn/24/2351/235042/235042_23.png
auxiliary
发表于 2025-3-25 17:48:17
https://doi.org/10.1007/978-3-030-38028-1orative activities. However, the requirements of these communities and the technologies in use change rapidly, so that requirements and available functionalities continuously need to be recalibrated. Changing their mappings is not trivial, because of the many dependencies between the business proces
把手
发表于 2025-3-25 20:06:35
Conceptual Structures: Broadening the Base978-3-540-44583-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
Engaged
发表于 2025-3-26 04:06:12
Conference proceedings 2001xcellence in conceptual structures research. We have adopted the title Broadening the Base," acknowledging the importance of contributions from scholars in many research areas. The rst ICCS meetings focused primarily on Sowa’s conceptual graphs; in recent years, however, the ICCS conference series h
Delude
发表于 2025-3-26 07:54:17
http://reply.papertrans.cn/24/2351/235042/235042_27.png
Daily-Value
发表于 2025-3-26 09:02:06
Carolina Ciprés,M. Teresa de la Cruzion contexts. From these the complete implicational knowledge can be derived. Combining the techniques of attribute exploration and determination of a formal context’s concepts, we demonstrate a procedure which interactively asks for the validity of implications and from this information designs a dynamic CG system with the desired properties.
Inkling
发表于 2025-3-26 13:28:52
Imre Keseru,Thierry Coosemans,Cathy Macharisretical and the empirical side becomes apparent by comparing the semiproduct and the apposition representation. In an iterative process of theory building this gap should be diminished. Specific support is given by algebraic representations of formal contexts which are used to represent scientific theories.
头盔
发表于 2025-3-26 17:46:59
http://reply.papertrans.cn/24/2351/235042/235042_30.png