关注
Guido Sciavicco
标题
引用次数
引用次数
年份
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
1952004
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
1452017
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
1132009
On propositional interval neighborhood temporal logics
A Montanari, G Sciavicco
Journal of Universal computer science 9 (9), 1137-1167, 2003
1082003
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
732019
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of EATCS 3 (105), 2013
722013
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
712008
A time series forecasting based multi-criteria methodology for air quality prediction
R Espinosa, J Palma, F Jiménez, J Kamińska, G Sciavicco, ...
Applied Soft Computing 113, 107850, 2021
642021
An optimal decision procedure for right propositional neighborhood logic
D Bresolin, A Montanari, G Sciavicco
Journal of Automated Reasoning 38, 173-199, 2007
642007
Decidability of the interval temporal logic ABBar over the natural numbers
A Montanari, G Puppis, P Sala, G Sciavicco
arXiv preprint arXiv:0912.3429, 2009
482009
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
472014
Decidability of interval temporal logics over split-frames via granularity
A Montanari, G Sciavicco, N Vitacolonna
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
472002
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, 41-83, 2014
442014
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
412011
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
412006
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
372013
Spatial reasoning with rectangular cardinal direction relations
I Navarrete, G Sciavicco
Proc. of the ECAI 6, 1-10, 2006
372006
On decidability and expressiveness of propositional interval neighborhood logics
D Bresolin, V Goranko, A Montanari, G Sciavicco
Logical Foundations of Computer Science: International Symposium, LFCS 2007 …, 2007
352007
Horn fragments of the Halpern-Shoham interval temporal logic
D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ...
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017
342017
Predicting the risk of academic dropout with temporal multi-objective optimization
F Jimenez, A Paoletti, G Sanchez, G Sciavicco
IEEE Transactions on Learning Technologies 12 (2), 225-236, 2019
332019
系统目前无法执行此操作,请稍后再试。
文章 1–20