The dark side of interval temporal logic: marking the undecidability border

标题
The dark side of interval temporal logic: marking the undecidability border
作者
关键词
Interval temporal logic, Undecidability, Tiling problems, 03B44, 03D35, 68T27, 05B45
出版物
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Volume 71, Issue 1-3, Pages 41-83
出版商
Springer Nature
发表日期
2013-09-06
DOI
10.1007/s10472-013-9376-4

向作者/读者发起求助以获取更多资源

Reprint

联系作者

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started