Zahra Ashktorab, Djallel Bouneffouf, et al.
IJCAI 2025
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
Conference paper
A platform for massive agent-based simulation and its evaluation
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Basel Shbita, Pengyuan Li, et al.
ESWC 2026
Zijian Ding, Michelle Brachman, et al.
C&C 2025