Ora Nova Fandina, Eitan Farchi, et al.
AAAI 2026
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
Chen-chia Chang, Wan-hsuan Lin, et al.
ICML 2025
Seung Gu Kang, Jeff Weber, et al.
ACS Fall 2023
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence