2 papers
cs.CL2023
From the One, Judge of the Whole: Typed Entailment Graph Construction with Predicate Generation
Zhibin Chen, Yansong Feng, Dongyan Zhao
Entailment Graphs (EGs) have been constructed based on extracted corpora as a strong and explainable form to indicate context-independent entailment relations in natural languages.…
math.CO2014
Coloring Digraphs with Forbidden Cycles
Zhibin Chen, Jie Ma, Wenan Zang
Let and be two integers with and . In this paper we show that (1) if a strongly connected digraph contains no directed cycle of length modul…