DAMP
发表于 2025-3-30 09:02:22
Some Notes on Proofs with Alpha Graphs extent to the common calculi for PL. In this paper, some aspects of Peirce’s calculus are exploited. First of all, it is shown that the erasure-rule of Peirce’s calculus, which is the only rule which does not enjoy the finite choice property, is admissible. Then it is shown that this calculus is fa
Control-Group
发表于 2025-3-30 14:01:55
http://reply.papertrans.cn/24/2351/235047/235047_52.png
ELATE
发表于 2025-3-30 20:09:38
FCA-Based Browsing and Searching of a Collection of Imagesis (FCA) for information retrieval with the graphical information conveyed in thumbnails. In order to use thumbnails of images to represent concept extents, line diagrams can not be efficiently utilised and thus other navigation methods are necessary. In addition to established methods like search a
recession
发表于 2025-3-30 23:12:55
Semantology: Basic Methods for Knowledge Representationspresenting knowledge which we demonstrate by discussing .. In this context we discuss why, in the field of knowledge representation, the term “Semantology” should be given preference to the term “Ontology” .
STEER
发表于 2025-3-31 02:13:56
http://reply.papertrans.cn/24/2351/235047/235047_55.png
affect
发表于 2025-3-31 07:52:19
Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systemso represent and specify the nature of qualitative conceptual transactions in order that they are adequately comprehended by a goal-directed MAS. Using the Transaction Agent Model (TrAM) approach we examine the use of Conceptual Graphs to model an extension to an existing MAS in the community healthc
ciliary-body
发表于 2025-3-31 13:02:25
Querying Formal Contexts with Answer Set Programs Based on these results for combining hierarchical knowledge with classical rule-based formalisms, we introduce an expressive common-sense query language for formal contexts. Although this approach is conceptually based on order-theoretic paradigms, we show how it can be implemented on top of standa
modifier
发表于 2025-3-31 17:24:06
Semantology: Basic Methods for Knowledge Representationspresenting knowledge which we demonstrate by discussing .. In this context we discuss why, in the field of knowledge representation, the term “Semantology” should be given preference to the term “Ontology” .
Firefly
发表于 2025-3-31 19:39:54
http://reply.papertrans.cn/24/2351/235047/235047_59.png
神圣在玷污
发表于 2025-4-1 00:09:44
http://reply.papertrans.cn/24/2351/235047/235047_60.png