Guido Sciavicco
TitleCited byYear
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
1482004
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
972009
Propositional interval neighborhood temporal logics
V Goranko, A Montanari, G Sciavicco
J. UCS 9 (9), 1137-1167, 2003
932003
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
International Conference on Logic for Programming Artificial Intelligence …, 2008
622008
An optimal decision procedure for right propositional neighborhood logic
D Bresolin, A Montanari, G Sciavicco
Journal of Automated Reasoning 38 (1-3), 173-199, 2007
602007
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of EATCS 3 (105), 2013
442013
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of EATCS 3 (105), 2013
442013
Decidability of the interval temporal logic ABB over the natural numbers
A Montanari, G Puppis, P Sala, G Sciavicco
382010
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
372017
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
362011
Spatial reasoning with rectangular cardinal direction relations
I Navarrete, G Sciavicco
Proc. of the ECAI 6, 1-10, 2006
362006
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
362002
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
342007
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
332006
The dark side of interval temporal logic: marking the undecidability border
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Annals of Mathematics and Artificial Intelligence 71 (1-3), 41-83, 2014
322014
Optimal tableaux for right propositional neighborhood logic over linear orders
D Bresolin, A Montanari, P Sala, G Sciavicco
European Workshop on Logics in Artificial Intelligence, 62-75, 2008
292008
Expressiveness of the interval logics of Allen's relations on the class of all linear orders: complete classification
D Della Monica, V Goranko, A Montanari, G Sciavicco
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
282011
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
ECAI 10, 695-700, 2010
282010
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
272013
The dark side of interval temporal logic: Sharpening the undecidability border
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
252011
The system can't perform the operation now. Try again later.
Articles 1–20