7 citations · 11 across the 9 of their papers we have counts for
9 papers
Equational Theorem Proving for Clauses over Strings
Dohan Kim
Although reasoning about equations over strings has been extensively studied for several decades, little research has been done for equational reasoning on general clauses over str…
Congruence Closure Modulo Permutation Equations
Dohan Kim, Christopher Lynch
We present a framework for constructing congruence closure modulo permutation equations, which extends the abstract congruence closure framework for handling permutation function s…
Distributed agent-based automated theorem proving in order-sorted first-order logic
Dohan Kim
This paper presents a distributed agent-based automated theorem proving framework based on order-sorted first-order logic. Each agent in our framework has its own knowledge base, c…
Group-theoretical vector space model
Dohan Kim
This paper presents a group-theoretical vector space model (VSM) that extends the VSM with a group action on a vector space of the VSM. We use group and its representation theory t…
Demi-linear Analysis II -- Demi-distributions
Ronglu Li, Shuhui Zhong, Dohan Kim +1
In this paper, we establish a demi-distributions theory which develops the usual distribution theory, in particular, we show that many conclusions as differentiations, Fourier tran…
Demi-linear Analysis III -- Demi-distributions with Compact Support
Ronglu Li, Shuhui Zhong, Dohan Kim +1
A series of detailed quantitative results is established for the family of demi-distributions which is a large extension of the family of usual distributions.
Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux
Dohan Kim
Task reassignments in 2D mesh-connected systems (2D-MSs) have been researched for several decades. We propose a hierarchical 2D mesh-connected system (2D-HMS) in order to exploit t…
Task swapping networks in distributed systems
Dohan Kim
In this paper we propose task swapping networks for task reassignments by using task swappings in distributed systems. Some classes of task reassignments are achieved by using iter…
Representations of task assignments in distributed systems using Young tableaux and symmetric groups
Dohan Kim
This paper presents a novel approach to representing task assignments for partitioned agents (respectively, tasks) in distributed systems. A partition of agents (respectively, task…