共 50 条
- [31] Guest editors’ preface to special issue on interval temporal logics Annals of Mathematics and Artificial Intelligence, 2014, 71 : 1 - 9
- [32] On the Satisfiability of Some Simple Probabilistic Logics PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 56 - 65
- [35] Metric Temporal Description Logics with Interval-Rigid Names FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 60 - 76
- [39] The importance of the past in interval temporal logics: The case of propositional neighborhood logic Della Monica, D. (ddellamonica@unisa.it), 1600, Springer Verlag (7360 LNCS):
- [40] Interval Temporal Logics over Finite Linear Orders: the Complete Picture 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 199 - +