babble
发表于 2025-3-26 22:46:39
http://reply.papertrans.cn/83/8262/826103/826103_31.png
凹槽
发表于 2025-3-27 04:48:30
Relational Representability for Algebras of Substructural Logicsis an extension of the constructions from Urquhart () and Allwein and Dunn (). Namely, the representation algebras are built from the frames, which are appropriately associated to substructural logics. As a by–product we obtain a Kripke–style frame semantics for these logics.
debouch
发表于 2025-3-27 07:45:00
http://reply.papertrans.cn/83/8262/826103/826103_33.png
Mercurial
发表于 2025-3-27 10:18:08
A Framework for Kleene Algebra with an Embedded StructureThis paper proposes a framework for Kleene algebras with embedded structures that enables different kinds of Kleene algebras such as a Kleene algebra with tests and a Kleene algebra with relations to be handled uniformly. This framework guarantees the existence of free algebra if the embedded structures satisfy certain conditions.
Meditative
发表于 2025-3-27 15:41:21
http://reply.papertrans.cn/83/8262/826103/826103_35.png
不安
发表于 2025-3-27 20:19:06
http://reply.papertrans.cn/83/8262/826103/826103_36.png
inhumane
发表于 2025-3-27 23:58:21
Knuth-Bendix Completion as a Data StructureWe propose a cooperating Knuth-Bendix completion procedure for transitive relations and equivalences and apply it as a data structure for novel dynamic strongly connected component algorithms. Benefits are separation of declarative and procedural concerns, simple generic specifications and flexible optimisation via execution strategies.
蔓藤图饰
发表于 2025-3-28 02:56:35
http://reply.papertrans.cn/83/8262/826103/826103_38.png
记忆
发表于 2025-3-28 09:41:23
http://reply.papertrans.cn/83/8262/826103/826103_39.png
乳白光
发表于 2025-3-28 13:38:07
icial intelligence—Bayesian networks and first-order logic. In particular, we demonstrate (i) the explicit representation of uncertain relationships between low-level image features and high-level image findings (e.g., mass, microcalcifications) by probability distributions in Bayesian networks, and