A road map of interval temporal logics and duration calculi V Goranko, A Montanari, G Sciavicco Journal of applied non-classical logics 14 (1-2), 9-54, 2004 | 182 | 2004 |
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions D Bresolin, V Goranko, A Montanari, G Sciavicco Annals of Pure and Applied Logic 161 (3), 289-304, 2009 | 107 | 2009 |
Propositional Interval Neighborhood Temporal Logics. V Goranko, A Montanari, G Sciavicco J. Univers. Comput. Sci. 9 (9), 1137-1167, 2003 | 105 | 2003 |
Multi-objective evolutionary feature selection for online sales forecasting F Jiménez, G Sánchez, JM García, G Sciavicco, L Miralles Neurocomputing 234, 75-92, 2017 | 102 | 2017 |
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification D Bresolin, DD Monica, V Goranko, A Montanari, G Sciavicco International Conference on Logic for Programming Artificial Intelligence …, 2008 | 70 | 2008 |
An optimal decision procedure for right propositional neighborhood logic D Bresolin, A Montanari, G Sciavicco Journal of Automated Reasoning 38 (1), 173-199, 2007 | 64 | 2007 |
Interval temporal logics: a journey D Della Monica, V Goranko, A Montanari, G Sciavicco Bulletin of EATCS 3 (105), 2013 | 62 | 2013 |
Interval temporal logics: a journey D Della Monica, V Goranko, A Montanari, G Sciavicco Bulletin of EATCS 3 (105), 2013 | 62 | 2013 |
Multiobjective evolutionary feature selection for fuzzy classification F Jiménez, C Martínez, E Marzano, JT Palma, G Sánchez, G Sciavicco IEEE Transactions on Fuzzy Systems 27 (5), 1085-1099, 2019 | 48 | 2019 |
Decidability of the interval temporal logic ABB over the natural numbers A Montanari, G Puppis, P Sala, G Sciavicco Proceedings of STACS 2010, 597-608, 2010 | 45 | 2010 |
Decidability of interval temporal logics over split-frames via granularity A Montanari, G Sciavicco, N Vitacolonna European Workshop on Logics in Artificial Intelligence, 259-270, 2002 | 42 | 2002 |
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco Theoretical Computer Science 560, 269-291, 2014 | 41 | 2014 |
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL D Bresolin, A Montanari, P Sala, G Sciavicco 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 387-396, 2011 | 40 | 2011 |
The dark side of interval temporal logic: marking the undecidability border D Bresolin, DD Monica, V Goranko, A Montanari, G Sciavicco Annals of Mathematics and Artificial Intelligence 71 (1), 41-83, 2014 | 38 | 2014 |
A general tableau method for propositional interval temporal logics: Theory and implementation V Goranko, A Montanari, P Sala, G Sciavicco Journal of Applied Logic 4 (3), 305-330, 2006 | 38 | 2006 |
Spatial reasoning with rectangular cardinal direction relations I Navarrete, G Sciavicco Proceedings of the ECAI-06 Workshop on Spatial and Temporal Reasoning, 1-10, 2006 | 37 | 2006 |
On decidability and expressiveness of propositional interval neighborhood logics D Bresolin, V Goranko, A Montanari, G Sciavicco International Symposium on Logical Foundations of Computer Science, 84-99, 2007 | 35 | 2007 |
Metric propositional neighborhood logics on natural numbers D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Software & Systems Modeling 12 (2), 245-264, 2013 | 34 | 2013 |
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT D Bresolin, D Della Monica, A Montanari, G Sciavicco Annals of Mathematics and Artificial Intelligence 71 (1), 11-39, 2014 | 31 | 2014 |
Metric propositional neighborhood logics: Expressiveness, decidability, and undecidability D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco ECAI 2010, 695-700, 2010 | 30 | 2010 |