2 papers
cs.LO2019
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions
Sosuke Moriguchi, Kazuko Takahashi
In this paper, we propose a new method for computing general allocators directly from completeness conditions. A general allocator is an abstraction of all complete labelings for a…
cs.LO2018
A Proof of the Compositions of Time Interval Relations
Fadoua Ghourabi, Kazuko Takahashi
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that ca…