实体 EXPTIME

EXPTIME

PulseAugur coverage of EXPTIME — every cluster mentioning EXPTIME across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_115665 · Jun 29 · 04:00

新的自动机方法在描述逻辑上实现了EXPTIME

这篇研究论文介绍了一种基于自动机的分析具有具体域的描述逻辑的方法，旨在确定一致性问题的可判定性和复杂度。所提出的方法通过符号约束丰富了转换，在特定具体域属性下，实现了非空性问题的最优上界EXPTIME。作者们证明了该方法可以扩展到包含逆角色和函数角色名称等特性，同时保持EXPTIME成员资格，突显了约束自动机的鲁棒性。