Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Guido Sciavicco
@article{DBLP:journals/artmed/ManzellaPSS23,
author = {Federico Manzella and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
title = {The voice of {COVID-19:} Breath and cough recording classification
with temporal decision trees and random forests},
journal = {Artif. Intell. Medicine},
volume = {137},
pages = {102486},
year = {2023},
url = {https://doi.org/10.1016/j.artmed.2022.102486},
doi = {10.1016/J.ARTMED.2022.102486},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/artmed/ManzellaPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ConradieMMSS23,
author = {Willem Conradie and
Dario Della Monica and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
title = {Fuzzy Halpern and Shoham's interval temporal logics},
journal = {Fuzzy Sets Syst.},
volume = {456},
pages = {107--124},
year = {2023},
url = {https://doi.org/10.1016/j.fss.2022.05.014},
doi = {10.1016/J.FSS.2022.05.014},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/ConradieMMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ManzellaPSS23,
author = {Federico Manzella and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {Efficient Modal Decision Trees},
booktitle = {AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14318},
pages = {381--395},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47546-7\_26},
doi = {10.1007/978-3-031-47546-7\_26},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ManzellaPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clic-it/FanteMSS23,
author = {Dario Del Fante and
Federico Manzella and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Federico Boschetti and
Gianluca E. Lebani and
Bernardo Magnini and
Nicole Novielli},
title = {A Post-Modern Approach to Automatic Metaphor Identification},
booktitle = {Proceedings of the 9th Italian Conference on Computational Linguistics,
Venice, Italy, November 30 - December 2, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3596},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3596/short9.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/clic-it/FanteMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ManzellaPSS23,
author = {Michele Ghiotti and
Federico Manzella and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Evolutionary Explainable Rule Extraction from (Modal) Random Forests},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {827--834},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230350},
doi = {10.3233/FAIA230350},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/ManzellaPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itadata/CavinaMPSS23,
author = {Patrik Cavina and
Federico Manzella and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Nicola Bena and
Beniamino Di Martino and
Antonio Maratea and
Alessandro Sperduti and
Emanuel Di Nardo and
Angelo Ciaramella and
Raffaele Montella and
Claudio A. Ardagna},
title = {(Un)supervised Univariate Feature Extraction and Selection for Dimensional
Data},
booktitle = {Proceedings of the 2nd Italian Conference on Big Data and Data Science
{(ITADATA} 2023), Naples, Italy, September 11-13, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3606},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3606/paper51.pdf},
timestamp = {Fri, 19 Jan 2024 15:08:28 +0100},
biburl = {https://dblp.org/rec/conf/itadata/CavinaMPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/Sciavicco23,
author = {Guido Sciavicco},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {A First-Order Interval Temporal Logic for Adjacent Variables Temporal
Data},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {43--47},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper7.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/overlay/Sciavicco23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/PagliariniPRSS23,
author = {Giovanni Pagliarini and
Andrea Paradiso and
Sasha Rubin and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {49--53},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper8.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/PagliariniPRSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ConradieMMSS23,
author = {Willem Conradie and
Riccardo Monego and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Alexander Artikis and
Florian Bruse and
Luke Hunsberger},
title = {A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's
Interval Temporal Logic},
booktitle = {30th International Symposium on Temporal Representation and Reasoning,
{TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
series = {LIPIcs},
volume = {278},
pages = {9:1--9:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.TIME.2023.9},
doi = {10.4230/LIPICS.TIME.2023.9},
timestamp = {Mon, 18 Sep 2023 16:35:37 +0200},
biburl = {https://dblp.org/rec/conf/time/ConradieMMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16864,
author = {Guido Sciavicco and
Ionel Eduard Stan},
title = {Knowledge Extraction with Interval Temporal Logic Decision Trees},
journal = {CoRR},
volume = {abs/2305.16864},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16864},
doi = {10.48550/ARXIV.2305.16864},
eprinttype = {arXiv},
eprint = {2305.16864},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/JimenezS0S22,
author = {Fernando Jim{\'{e}}nez and
Gracia S{\'{a}}nchez and
Jos{\'{e}} Palma and
Guido Sciavicco},
title = {Three-objective constrained evolutionary instance selection for classification:
Wrapper and filter approaches},
journal = {Eng. Appl. Artif. Intell.},
volume = {107},
pages = {104531},
year = {2022},
url = {https://doi.org/10.1016/j.engappai.2021.104531},
doi = {10.1016/J.ENGAPPAI.2021.104531},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/JimenezS0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MonicaPSS22,
author = {Dario Della Monica and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Decision Trees with a Modal Flavor},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {47--59},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_4},
doi = {10.1007/978-3-031-27181-6\_4},
timestamp = {Tue, 14 Mar 2023 08:56:21 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MonicaPSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/StanSMPMP22,
author = {Ionel Eduard Stan and
Guido Sciavicco and
Emilio Mu{\~{n}}oz{-}Velasco and
Giovanni Pagliarini and
Mauro Milella and
Andrea Paradiso},
editor = {Ugo Dal Lago and
Daniele Gorla},
title = {On Modal Logic Association Rule Mining},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {53--65},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3284/492.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/StanSMPMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/CoccagnaMMPS22,
author = {Maddalena Coccagna and
Federico Manzella and
S. Mazzacane and
Giovanni Pagliarini and
Guido Sciavicco},
editor = {Jos{\'{e}} Manuel Ferr{\'{a}}ndez de Vicente and
Jos{\'{e}} Ram{\'{o}}n {\'{A}}lvarez S{\'{a}}nchez and
F{\'{e}}lix de la Paz L{\'{o}}pez and
Hojjat Adeli},
title = {Statistical and Symbolic Neuroaesthetics Rules Extraction from {EEG}
Signals},
booktitle = {Artificial Intelligence in Neuroscience: Affective Analysis and Health
Applications - 9th International Work-Conference on the Interplay
Between Natural and Artificial Computation, {IWINAC} 2022, Puerto
de la Cruz, Tenerife, Spain, May 31 - June 3, 2022, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {13258},
pages = {536--546},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06242-1\_53},
doi = {10.1007/978-3-031-06242-1\_53},
timestamp = {Mon, 30 May 2022 17:18:53 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/CoccagnaMMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/PagliariniS0SS22,
author = {Giovanni Pagliarini and
Simone Scaboro and
Giuseppe Serra and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Alexander Artikis and
Roberto Posenato and
Stefano Tonetta},
title = {Neural-Symbolic Temporal Decision Trees for Multivariate Time Series
Classification},
booktitle = {29th International Symposium on Temporal Representation and Reasoning,
{TIME} 2022, November 7-9, 2022, Virtual Conference},
series = {LIPIcs},
volume = {247},
pages = {13:1--13:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.13},
doi = {10.4230/LIPICS.TIME.2022.13},
timestamp = {Wed, 02 Nov 2022 15:45:12 +0100},
biburl = {https://dblp.org/rec/conf/time/PagliariniS0SS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2022overlay,
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 21st International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311},
urn = {urn:nbn:de:0074-3311-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2022overlay.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06396,
author = {Andrea Brunello and
Enrico Marzano and
Angelo Montanari and
Guido Sciavicco},
title = {A combined approach to the analysis of speech conversations in a contact
center domain},
journal = {CoRR},
volume = {abs/2203.06396},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06396},
doi = {10.48550/ARXIV.2203.06396},
eprinttype = {arXiv},
eprint = {2203.06396},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JimenezLSS21,
author = {Fernando Jim{\'{e}}nez and
Estrella Lucena{-}S{\'{a}}nchez and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier
Detection for Regression},
journal = {{IEEE} Access},
volume = {9},
pages = {135675--135688},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3115848},
doi = {10.1109/ACCESS.2021.3115848},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/JimenezLSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/Lucena-SanchezS21,
author = {Estrella Lucena{-}S{\'{a}}nchez and
Guido Sciavicco and
Ionel Eduard Stan},
title = {Feature and Language Selection in Temporal Symbolic Regression for
Interpretable Air Quality Modelling},
journal = {Algorithms},
volume = {14},
number = {3},
pages = {76},
year = {2021},
url = {https://doi.org/10.3390/a14030076},
doi = {10.3390/A14030076},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/Lucena-SanchezS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/EspinosaPJKSL21,
author = {Raquel Espinosa and
Jos{\'{e}} Palma and
Fernando Jim{\'{e}}nez and
Joanna Kaminska and
Guido Sciavicco and
Estrella Lucena{-}S{\'{a}}nchez},
title = {A time series forecasting based multi-criteria methodology for air
quality prediction},
journal = {Appl. Soft Comput.},
volume = {113},
number = {Part},
pages = {107850},
year = {2021},
url = {https://doi.org/10.1016/j.asoc.2021.107850},
doi = {10.1016/J.ASOC.2021.107850},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/EspinosaPJKSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GamperPS21,
author = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {Special Issue - Selected Papers from the 26th International Symposium
on Temporal Representation and Reasoning},
journal = {Inf. Comput.},
volume = {280},
pages = {104635},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104635},
doi = {10.1016/J.IC.2020.104635},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GamperPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SciaviccoZV21,
author = {Guido Sciavicco and
Matteo Zavatteri and
Tiziano Villa},
title = {Mining CSTNUDs significant for a set of traces is polynomial},
journal = {Inf. Comput.},
volume = {281},
pages = {104773},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104773},
doi = {10.1016/J.IC.2021.104773},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SciaviccoZV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BertagnonGPST21,
author = {Alessandro Bertagnon and
Marco Gavanelli and
Alessandro Passantino and
Guido Sciavicco and
Stefano Trevisani},
title = {Branching interval algebra: An almost complete picture},
journal = {Inf. Comput.},
volume = {281},
pages = {104809},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104809},
doi = {10.1016/J.IC.2021.104809},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BertagnonGPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/BonaccorsiGNPPS21,
author = {Gloria Bonaccorsi and
Melchiore Giganti and
Maxim Nitsenko and
Giovanni Pagliarini and
Giacomo Piva and
Guido Sciavicco},
title = {Predicting treatment recommendations in postmenopausal osteoporosis},
journal = {J. Biomed. Informatics},
volume = {118},
pages = {103780},
year = {2021},
url = {https://doi.org/10.1016/j.jbi.2021.103780},
doi = {10.1016/J.JBI.2021.103780},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbi/BonaccorsiGNPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/citi/MarrocchinoSLV21,
author = {Elena Marrocchino and
Guido Sciavicco and
Estrella Lucena{-}S{\'{a}}nchez and
Carmela Vaccaro},
editor = {Rafael Valencia{-}Garc{\'{\i}}a and
Martha Bucaram{-}Leverone and
Javier del Cioppo{-}Morstadt and
N{\'{e}}stor Vera{-}Lucio and
Emma J{\'{a}}come{-}Murillo},
title = {On Intelligent Fingerprinting of Antique Buildings from Clay Composition},
booktitle = {Technologies and Innovation - 7th International Conference, {CITI}
2021, Guayaquil, Ecuador, November 22-25, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1460},
pages = {33--47},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88262-4\_3},
doi = {10.1007/978-3-030-88262-4\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/citi/MarrocchinoSLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/SciaviccoVZ21,
author = {Guido Sciavicco and
Tiziano Villa and
Matteo Zavatteri},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Mining Temporal Networks: Results and Open Problems},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {31--36},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/SciaviccoVZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/PagliariniSS21,
author = {Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Multi-Frame Modal Symbolic Learning},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {37--41},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/PagliariniSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ManzellaPSS21,
author = {Federico Manzella and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Interval Temporal Random Forests with an Application to {COVID-19}
Diagnosis},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.7},
doi = {10.4230/LIPICS.TIME.2021.7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/ManzellaPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08325,
author = {Giovanni Pagliarini and
Guido Sciavicco},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Decision Tree Learning with Spatial Modal Logics},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {273--290},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.18},
doi = {10.4204/EPTCS.346.18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieDS20,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {II)}},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(2:1)2020},
doi = {10.23638/LMCS-16(2:1)2020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BertagnonGST20,
author = {Alessandro Bertagnon and
Marco Gavanelli and
Guido Sciavicco and
Stefano Trevisani},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {On (Maximal, Tractable) Fragments of the Branching Algebra},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {113--126},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BertagnonGST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/citi/RomaLSV20,
author = {Antonella Di Roma and
Estrella Lucena{-}S{\'{a}}nchez and
Guido Sciavicco and
Carmela Vaccaro},
editor = {Rafael Valencia{-}Garc{\'{\i}}a and
Gema Alcaraz{-}M{\'{a}}rmol and
Javier del Cioppo{-}Morstadt and
N{\'{e}}stor Vera{-}Lucio and
Martha Bucaram{-}Leverone},
title = {Towards Automatic Fingerprinting of Groundwater Aquifers},
booktitle = {Technologies and Innovation - 6th International Conference, {CITI}
2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1309},
pages = {73--84},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62015-8\_6},
doi = {10.1007/978-3-030-62015-8\_6},
timestamp = {Mon, 18 Jan 2021 18:12:11 +0100},
biburl = {https://dblp.org/rec/conf/citi/RomaLSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/citi/Chavez-Castrillon20,
author = {Fernando Ch{\'{a}}vez{-}Castrill{\'{o}}n and
Massimo Coltorti and
Roberta Ivaldi and
Estrella Lucena{-}S{\'{a}}nchez and
Guido Sciavicco},
editor = {Rafael Valencia{-}Garc{\'{\i}}a and
Gema Alcaraz{-}M{\'{a}}rmol and
Javier del Cioppo{-}Morstadt and
N{\'{e}}stor Vera{-}Lucio and
Martha Bucaram{-}Leverone},
title = {Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos
Islands},
booktitle = {Technologies and Innovation - 6th International Conference, {CITI}
2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1309},
pages = {98--110},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62015-8\_8},
doi = {10.1007/978-3-030-62015-8\_8},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/citi/Chavez-Castrillon20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eais/Lucena-SanchezJ20,
author = {Estrella Lucena{-}S{\'{a}}nchez and
Fernando Jim{\'{e}}nez and
Guido Sciavicco and
Joanna Kaminska},
title = {Simple Versus Composed Temporal Lag Regression with Feature Selection,
with an Application to Air Quality Modeling},
booktitle = {2020 {IEEE} Conference on Evolving and Adaptive Intelligent Systems,
{EAIS} 2020, Bari, Italy, May 27-29, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EAIS48028.2020.9122765},
doi = {10.1109/EAIS48028.2020.9122765},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eais/Lucena-SanchezJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ConradieMMS20,
author = {Willem Conradie and
Dario Della Monica and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {An Approach to Fuzzy Modal Logic of Time Intervals},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {696--703},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200156},
doi = {10.3233/FAIA200156},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ConradieMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/ConradieMMSS20,
author = {Willem Conradie and
Dario Della Monica and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Time Series Checking with Fuzzy Interval Temporal Logics},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {250--262},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_29.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/ConradieMMSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/Lucena-SanchezS20,
author = {Estrella Lucena{-}S{\'{a}}nchez and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {Symbolic Learning with Interval Temporal Logic: the Case of Regression},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {5--9},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/Lucena-SanchezS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/MonicaMSS20,
author = {Dario Della Monica and
Angelo Montanari and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {A Note on Ultimately-Periodic Finite Interval Temporal Logic Model
Checking},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {11--15},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/MonicaMSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/KaminskaLSS20,
author = {Joanna Kaminska and
Estrella Lucena{-}S{\'{a}}nchez and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Sotiris Moschoyiannis and
Paul Fodor and
Jan Vanthienen and
Daniela Inclezan and
Nikolay Nikolov and
Francisco Mart{\'{\i}}n{-}Recuerda and
Ioan Toma},
title = {Rule Extraction via Dynamic Discretization with an Application to
Air Quality Modelling},
booktitle = {Proceedings of the 14th International Rule Challenge, 4th Doctoral
Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with
16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020
as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19
pandemic), 29 June - 1 July, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2644},
pages = {42--57},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2644/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/KaminskaLSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BertagnonGPST20,
author = {Alessandro Bertagnon and
Marco Gavanelli and
Alessandro Passantino and
Guido Sciavicco and
Stefano Trevisani},
editor = {Emilio Mu{\~{n}}oz{-}Velasco and
Ana Ozaki and
Martin Theobald},
title = {The Horn Fragment of Branching Algebra},
booktitle = {27th International Symposium on Temporal Representation and Reasoning,
{TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy},
series = {LIPIcs},
volume = {178},
pages = {5:1--5:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.TIME.2020.5},
doi = {10.4230/LIPICS.TIME.2020.5},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/time/BertagnonGPST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SciaviccoS20,
author = {Guido Sciavicco and
Ionel Eduard Stan},
editor = {Emilio Mu{\~{n}}oz{-}Velasco and
Ana Ozaki and
Martin Theobald},
title = {Knowledge Extraction with Interval Temporal Logic Decision Trees},
booktitle = {27th International Symposium on Temporal Representation and Reasoning,
{TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy},
series = {LIPIcs},
volume = {178},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.TIME.2020.9},
doi = {10.4230/LIPICS.TIME.2020.9},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/SciaviccoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SciaviccoZV20,
author = {Guido Sciavicco and
Matteo Zavatteri and
Tiziano Villa},
editor = {Emilio Mu{\~{n}}oz{-}Velasco and
Ana Ozaki and
Martin Theobald},
title = {Mining Significant Temporal Networks Is Polynomial},
booktitle = {27th International Symposium on Temporal Representation and Reasoning,
{TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy},
series = {LIPIcs},
volume = {178},
pages = {11:1--11:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.TIME.2020.11},
doi = {10.4230/LIPICS.TIME.2020.11},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/SciaviccoZV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04952,
author = {Andrea Brunello and
Guido Sciavicco and
Ionel Eduard Stan},
title = {Interval Temporal Logic Decision Tree Learning},
journal = {CoRR},
volume = {abs/2003.04952},
year = {2020},
url = {https://arxiv.org/abs/2003.04952},
eprinttype = {arXiv},
eprint = {2003.04952},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04952.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Munoz-VelascoPS19,
author = {Emilio Mu{\~{n}}oz{-}Velasco and
Mercedes Pelegr{\'{\i}}n{-}Garc{\'{\i}}a and
Pietro Sala and
Guido Sciavicco and
Ionel Eduard Stan},
title = {On coarser interval temporal logics},
journal = {Artif. Intell.},
volume = {266},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2018.09.001},
doi = {10.1016/J.ARTINT.2018.09.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Munoz-VelascoPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/BrunelloMMS19,
author = {Andrea Brunello and
Enrico Marzano and
Angelo Montanari and
Guido Sciavicco},
title = {{J48SS:} {A} Novel Decision Tree Approach for the Handling of Sequential
and Time Series Data},
journal = {Comput.},
volume = {8},
number = {1},
pages = {21},
year = {2019},
url = {https://doi.org/10.3390/computers8010021},
doi = {10.3390/COMPUTERS8010021},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/BrunelloMMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/BrunelloJMMSS19,
author = {Andrea Brunello and
Fernando Jim{\'{e}}nez and
Enrico Marzano and
Angelo Montanari and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Multiobjective evolutionary feature selection and fuzzy classification
of contact centre data},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {36},
number = {3},
year = {2019},
url = {https://doi.org/10.1111/exsy.12375},
doi = {10.1111/EXSY.12375},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/BrunelloJMMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BresolinMMSS19,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Decidability and complexity of the fragments of the modal logic of
Allen's relations over the rationals},
journal = {Inf. Comput.},
volume = {266},
pages = {97--125},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.02.002},
doi = {10.1016/J.IC.2019.02.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BresolinMMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/JimenezMMPSS19,
author = {Fernando Jim{\'{e}}nez and
Carlos Mart{\'{\i}}nez and
Enrico Marzano and
Jos{\'{e}} T. Palma and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Multiobjective Evolutionary Feature Selection for Fuzzy Classification},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {27},
number = {5},
pages = {1085--1099},
year = {2019},
url = {https://doi.org/10.1109/TFUZZ.2019.2892363},
doi = {10.1109/TFUZZ.2019.2892363},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tfs/JimenezMMPSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlt/JimenezPSS19,
author = {Fernando Jim{\'{e}}nez and
Alessia Paoletti and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Predicting the Risk of Academic Dropout With Temporal Multi-Objective
Optimization},
journal = {{IEEE} Trans. Learn. Technol.},
volume = {12},
number = {2},
pages = {225--236},
year = {2019},
url = {https://doi.org/10.1109/TLT.2019.2911070},
doi = {10.1109/TLT.2019.2911070},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlt/JimenezPSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BrunelloKMMST19,
author = {Andrea Brunello and
Joanna Kaminska and
Enrico Marzano and
Angelo Montanari and
Guido Sciavicco and
Tomasz Turek},
editor = {Tatjana Welzer and
Johann Eder and
Vili Podgorelec and
Robert Wrembel and
Mirjana Ivanovic and
Johann Gamper and
Mikolaj Morzy and
Theodoros Tzouramanis and
J{\'{e}}r{\^{o}}me Darmont and
Aida Kamisalic Latific},
title = {Assessing the Role of Temporal Information in Modelling Short-Term
Air Pollution Effects Based on Traffic and Meteorological Conditions:
{A} Case Study in Wroc{\l}aw},
booktitle = {New Trends in Databases and Information Systems, {ADBIS} 2019 Short
Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and
Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1064},
pages = {463--474},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30278-8\_45},
doi = {10.1007/978-3-030-30278-8\_45},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BrunelloKMMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Lucena-SanchezM19,
author = {Estrella Lucena{-}S{\'{a}}nchez and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan and
Alessandro Vaccari},
editor = {Nicola Gigante and
Federico Mari and
Andrea Orlandini},
title = {Towards Interval Temporal Logic Rule-Based Classification},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis, co-located with the
18th International Conference of the Italian Association for Artificial
Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2509},
pages = {65--70},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2509/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Lucena-SanchezM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MonicaMMS19,
author = {Dario Della Monica and
Angelo Montanari and
Aniello Murano and
Guido Sciavicco},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {28--41},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/r3pf},
doi = {10.29007/R3PF},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MonicaMMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/SciaviccoSV19,
author = {Guido Sciavicco and
Ionel Eduard Stan and
Alessandro Vaccari},
editor = {Jos{\'{e}} Manuel Ferr{\'{a}}ndez de Vicente and
Jos{\'{e}} Ram{\'{o}}n {\'{A}}lvarez S{\'{a}}nchez and
F{\'{e}}lix de la Paz L{\'{o}}pez and
F. Javier Toledo{-}Moreo and
Hojjat Adeli},
title = {Towards a General Method for Logical Rule Extraction from Time Series},
booktitle = {From Bioinspired Systems and Biomedical Applications to Machine Learning
- 8th International Work-Conference on the Interplay Between Natural
and Artificial Computation, {IWINAC} 2019, Almer{\'{\i}}a, Spain,
June 3-7, 2019, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11487},
pages = {3--12},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19651-6\_1},
doi = {10.1007/978-3-030-19651-6\_1},
timestamp = {Wed, 25 Sep 2019 18:14:24 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/SciaviccoSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BrunelloSS19,
author = {Andrea Brunello and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Interval Temporal Logic Decision Tree Learning},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {778--793},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_50},
doi = {10.1007/978-3-030-19570-0\_50},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BrunelloSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2019,
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-127-6},
isbn = {978-3-95977-127-6},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/JimenezMPSS18,
author = {Fernando Jim{\'{e}}nez and
Carlos Mart{\'{\i}}nez and
Luis Miralles Pechu{\'{a}}n and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Multi-Objective Evolutionary Rule-Based Classification with Categorical
Data},
journal = {Entropy},
volume = {20},
number = {9},
pages = {684},
year = {2018},
url = {https://doi.org/10.3390/e20090684},
doi = {10.3390/E20090684},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/JimenezMPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DurhanS18,
author = {Salih Durhan and
Guido Sciavicco},
title = {Allen-like theory of time for tree-like structures},
journal = {Inf. Comput.},
volume = {259},
number = {3},
pages = {375--389},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.009},
doi = {10.1016/J.IC.2017.08.009},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DurhanS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/BrunelloJMPSS18,
author = {Andrea Brunello and
Fernando Jim{\'{e}}nez and
Enrico Marzano and
Jos{\'{e}} Palma and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Towards semi-automatic human performance evaluation: The case study
of a contact center},
journal = {Intell. Data Anal.},
volume = {22},
number = {4},
pages = {867--880},
year = {2018},
url = {https://doi.org/10.3233/IDA-173586},
doi = {10.3233/IDA-173586},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ida/BrunelloJMPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BresolinMS18,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
title = {On Sub-Propositional Fragments of Modal Logic},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:16)2018},
doi = {10.23638/LMCS-14(2:16)2018},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BresolinMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieDS18,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {I)}},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:15)2018},
doi = {10.23638/LMCS-14(2:15)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icist/BrunelloMMS18,
author = {Andrea Brunello and
Enrico Marzano and
Angelo Montanari and
Guido Sciavicco},
editor = {Robertas Damasevicius and
Giedre Vasiljeviene},
title = {{J48S:} {A} Sequence Classification Approach to Text Analysis Based
on Decision Trees},
booktitle = {Information and Software Technologies - 24th International Conference,
{ICIST} 2018, Vilnius, Lithuania, October 4-6, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {920},
pages = {240--256},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99972-2\_19},
doi = {10.1007/978-3-319-99972-2\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icist/BrunelloMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mike/BrunelloMMS18,
author = {Andrea Brunello and
Enrico Marzano and
Angelo Montanari and
Guido Sciavicco},
editor = {Adrian Groza and
Rajendra Prasath},
title = {A Novel Decision Tree Approach for the Handling of Time Series},
booktitle = {Mining Intelligence and Knowledge Exploration - 6th International
Conference, {MIKE} 2018, Cluj-Napoca, Romania, December 20-22, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11308},
pages = {351--368},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05918-7\_32},
doi = {10.1007/978-3-030-05918-7\_32},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mike/BrunelloMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinCGMS18,
author = {Davide Bresolin and
Enrico Cominato and
Simone Gnani and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Extracting Interval Temporal Logic Rules: {A} First Approach},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.7},
doi = {10.4230/LIPICS.TIME.2018.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinCGMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GavanelliPS18,
author = {Marco Gavanelli and
Alessandro Passantino and
Guido Sciavicco},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Deciding the Consistency of Branching Time Interval Networks},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {12:1--12:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.12},
doi = {10.4230/LIPICS.TIME.2018.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GavanelliPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08425,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {I)}},
journal = {CoRR},
volume = {abs/1805.08425},
year = {2018},
url = {http://arxiv.org/abs/1805.08425},
eprinttype = {arXiv},
eprint = {1805.08425},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04468,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {II)}},
journal = {CoRR},
volume = {abs/1809.04468},
year = {2018},
url = {http://arxiv.org/abs/1809.04468},
eprinttype = {arXiv},
eprint = {1809.04468},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-04468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/JimenezJMSS17,
author = {Fernando Jim{\'{e}}nez and
Rosalia J{\'{o}}dar and
Maria del Pilar Mart{\'{\i}}n and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Unsupervised feature selection for interpretable classification in
behavioral assessment of children},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {34},
number = {4},
year = {2017},
url = {https://doi.org/10.1111/exsy.12173},
doi = {10.1111/EXSY.12173},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/JimenezJMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/JimenezSGSP17,
author = {Fernando Jim{\'{e}}nez and
Gracia S{\'{a}}nchez and
Jos{\'{e}} M. Garc{\'{\i}}a and
Guido Sciavicco and
Luis Miralles Pechu{\'{a}}n},
title = {Multi-objective evolutionary feature selection for online sales forecasting},
journal = {Neurocomputing},
volume = {234},
pages = {75--92},
year = {2017},
url = {https://doi.org/10.1016/j.neucom.2016.12.045},
doi = {10.1016/J.NEUCOM.2016.12.045},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijon/JimenezSGSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/BresolinJSS17,
author = {Davide Bresolin and
Fernando Jim{\'{e}}nez and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective
Metaheuristics},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {28},
number = {2-3},
pages = {217--249},
year = {2017},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/BresolinJSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BresolinKMRSZ17,
author = {Davide Bresolin and
Agi Kurucz and
Emilio Mu{\~{n}}oz{-}Velasco and
Vladislav Ryzhikov and
Guido Sciavicco and
Michael Zakharyaschev},
title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {3},
pages = {22:1--22:39},
year = {2017},
url = {https://doi.org/10.1145/3105909},
doi = {10.1145/3105909},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BresolinKMRSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BresolinMS17,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Valentin Goranko and
Mads Dam},
title = {Fast(er) Reasoning in Interval Temporal Logic},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.17},
doi = {10.4230/LIPICS.CSL.2017.17},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BresolinMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CominatoMMS17,
author = {Enrico Cominato and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {A Model Checker for Interval Temporal Logic over Finite Structures},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {63--74},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/ICTCSpaper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CominatoMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Munoz-VelascoSS17,
author = {Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Implementation of a Tableau-based Satisfiability Checker for {HS3}},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {326--340},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Munoz-VelascoSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MonicaGMSS17,
author = {Dario Della Monica and
Nicola Gigante and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Carles Sierra},
title = {Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based
Planning with Bounded Constraints},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1008--1014},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/140},
doi = {10.24963/IJCAI.2017/140},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MonicaGMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MonicaFMMS17,
author = {Dario Della Monica and
David de Frutos{-}Escrig and
Angelo Montanari and
Aniello Murano and
Guido Sciavicco},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Evaluation of Temporal Datasets via Interval Temporal Logic Model
Checking},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {11:1--11:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.11},
doi = {10.4230/LIPICS.TIME.2017.11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/MonicaFMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoMGIMS16,
author = {Luca Aceto and
Dario Della Monica and
Valentin Goranko and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
title = {A complete classification of the expressiveness of interval logics
of Allen's relations: the general and the dense cases},
journal = {Acta Informatica},
volume = {53},
number = {3},
pages = {207--246},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0231-4},
doi = {10.1007/S00236-015-0231-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AcetoMGIMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BresolinS16,
author = {Davide Bresolin and
Guido Sciavicco},
title = {Special issue: selected papers from the 21st international symposium
on temporal representations and reasoning {(TIME-2014)}},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {545--546},
year = {2016},
url = {https://doi.org/10.1007/s00236-016-0262-5},
doi = {10.1007/S00236-016-0262-5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/BresolinS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMS16,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {On the Complexity of Fragments of Horn Modal Logics},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.27},
doi = {10.1109/TIME.2016.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BresolinMS16,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {91--104},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.7},
doi = {10.4204/EPTCS.226.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BresolinMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BresolinKMRSZ16,
author = {Davide Bresolin and
Agi Kurucz and
Emilio Mu{\~{n}}oz{-}Velasco and
Vladislav Ryzhikov and
Guido Sciavicco and
Michael Zakharyaschev},
title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical
Report)},
journal = {CoRR},
volume = {abs/1604.03515},
year = {2016},
url = {http://arxiv.org/abs/1604.03515},
eprinttype = {arXiv},
eprint = {1604.03515},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BresolinKMRSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BresolinMS16a,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
title = {On Sub-Propositional Fragments of Modal Logic},
journal = {CoRR},
volume = {abs/1611.08800},
year = {2016},
url = {http://arxiv.org/abs/1611.08800},
eprinttype = {arXiv},
eprint = {1611.08800},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BresolinMS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sciavicco15,
author = {Guido Sciavicco and
Alfredo Burrieza},
title = {Selected Papers from the 1st Workshop "Logic, Language, and Information"},
journal = {Bull. {EATCS}},
volume = {116},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/356},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Sciavicco15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/Munoz-VelascoPS15,
author = {Emilio Mu{\~{n}}oz{-}Velasco and
Mercedes Pelegr{\'{\i}}n{-}Garc{\'{\i}}a and
Pietro Sala and
Guido Sciavicco},
editor = {Jos{\'{e}} Miguel Puerta and
Jos{\'{e}} A. G{\'{a}}mez and
Bernab{\'{e}} Dorronsoro and
Edurne Barrenechea and
Alicia Troncoso and
Bruno Baruque and
Mikel Galar},
title = {On Coarser Interval Temporal Logics and their Satisfiability Problem},
booktitle = {Advances in Artificial Intelligence - 16th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2015, Albacete,
Spain, November 9-12, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9422},
pages = {105--115},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24598-0\_10},
doi = {10.1007/978-3-319-24598-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caepia/Munoz-VelascoPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BresolinMMSS15,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {On the Complexity of Fragments of the Modal Logic of Allen's Relations
over Dense Structures},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {511--523},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_40},
doi = {10.1007/978-3-319-15579-1\_40},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BresolinMMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/JimenezMSSV15,
author = {Fernando Jim{\'{e}}nez and
Enrico Marzano and
Gracia S{\'{a}}nchez and
Guido Sciavicco and
Nicola Vitacolonna},
title = {Attribute Selection Via Multi-Objective Evolutionary Computation Applied
to Multi-Skill Contact Center Data Classification},
booktitle = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015,
Cape Town, South Africa, December 7-10, 2015},
pages = {488--495},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SSCI.2015.78},
doi = {10.1109/SSCI.2015.78},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ssci/JimenezMSSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DurhanS15,
author = {Salih Durhan and
Guido Sciavicco},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {Generalizing Allen's Theory of Time to Tree-Like Structures},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.17},
doi = {10.1109/TIME.2015.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/DurhanS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MontanariMS15,
author = {Angelo Montanari and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {Undecidability of Chop},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {79--89},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.25},
doi = {10.1109/TIME.2015.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MontanariMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BresolinMMS14,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
title = {The light side of interval temporal logic: the Bernays-Sch{\"{o}}nfinkel
fragment of {CDT}},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {11--39},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9337-y},
doi = {10.1007/S10472-013-9337-Y},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BresolinMMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BresolinMGMS14,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {The dark side of interval temporal logic: marking the undecidability
border},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {41--83},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9376-4},
doi = {10.1007/S10472-013-9376-4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BresolinMGMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sciavicco14,
author = {Guido Sciavicco},
title = {Report on {LPAR} 2013},
journal = {Bull. {EATCS}},
volume = {112},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/232},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Sciavicco14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinMMSS14,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Interval temporal logics over strongly discrete linear orders: Expressiveness
and complexity},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {269--291},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.033},
doi = {10.1016/J.TCS.2014.03.033},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BresolinMMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BresolinMS14,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A First Study of the Horn Fragment of the Modal Logic of Time Intervals},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {314--318},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BresolinMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ArtaleBMSR14,
author = {Alessandro Artale and
Davide Bresolin and
Angelo Montanari and
Guido Sciavicco and
Vladislav Ryzhikov},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {DL-Lite and Interval Temporal Logics: a Marriage Proposal},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {957--958},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-957},
doi = {10.3233/978-1-61499-419-0-957},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ArtaleBMSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BresolinMS14,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Sub-propositional Fragments of the Interval Temporal Logic of Allen's
Relations},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {122--136},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_9},
doi = {10.1007/978-3-319-11558-0\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BresolinMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AcetoMIMS14,
author = {Luca Aceto and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {On the Expressiveness of the Interval Logic of Allen's Relations Over
Finite and Discrete Linear Orders},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {267--281},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_19},
doi = {10.1007/978-3-319-11558-0\_19},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AcetoMIMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NavarreteMSV13,
author = {Isabel Navarrete and
Antonio Morales Nicol{\'{a}}s and
Guido Sciavicco and
M. Antonia C{\'{a}}rdenas Viedma},
title = {Spatial reasoning with rectangular cardinal relations - The convex
tractable subalgebra},
journal = {Ann. Math. Artif. Intell.},
volume = {67},
number = {1},
pages = {31--70},
year = {2013},
url = {https://doi.org/10.1007/s10472-012-9327-5},
doi = {10.1007/S10472-012-9327-5},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/NavarreteMSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BresolinMGMS13,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Metric propositional neighborhood logics on natural numbers},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {245--264},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0195-y},
doi = {10.1007/S10270-011-0195-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BresolinMGMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinMSS13,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Optimal decision procedures for {MPNL} over finite structures, the
natural numbers, and the integers},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {98--115},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.043},
doi = {10.1016/J.TCS.2012.10.043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BresolinMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foga/BresolinJSS13,
author = {Davide Bresolin and
Fernando Jim{\'{e}}nez and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
editor = {Frank Neumann and
Kenneth A. De Jong},
title = {Finite satisfiability of propositional interval logic formulas with
multi-objective evolutionary algorithms},
booktitle = {Foundations of Genetic Algorithms XII, {FOGA} '13, Adelaide, SA, Australia,
January 16-20, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2460239.2460243},
doi = {10.1145/2460239.2460243},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foga/BresolinJSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AcetoMIMS13,
author = {Luca Aceto and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {An Algorithm for Enumerating Maximal Models of Horn Theories with
an Application to Modal Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {1--17},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_1},
doi = {10.1007/978-3-642-45221-5\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AcetoMIMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMMS13,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Didier Galmiche and
Dominique Larchey{-}Wendling},
title = {A Tableau System for Right Propositional Neighborhood Logic over Finite
Linear Orders: An Implementation},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
International Conference, {TABLEAUX} 2013, Nancy, France, September
16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8123},
pages = {74--80},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40537-2\_8},
doi = {10.1007/978-3-642-40537-2\_8},
timestamp = {Mon, 16 Sep 2019 15:24:38 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AcetoMIMS13,
author = {Luca Aceto and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
editor = {C{\'{e}}sar S{\'{a}}nchez and
Kristen Brent Venable and
Esteban Zim{\'{a}}nyi},
title = {A Complete Classification of the Expressiveness of Interval Logics
of Allen's Relations over Dense Linear Orders},
booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning,
Pensacola, FL, USA, September 26-28, 2013},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TIME.2013.16},
doi = {10.1109/TIME.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/AcetoMIMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BresolinSS12,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
title = {On Begins, Meets and before},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {3},
pages = {559--583},
year = {2012},
url = {https://doi.org/10.1142/S012905411240028X},
doi = {10.1142/S012905411240028X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BresolinSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MonicaGMS12,
author = {Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Crossing the Undecidability Border with Extensions of Propositional
Neighborhood Logic over Natural Numbers},
journal = {J. Univers. Comput. Sci.},
volume = {18},
number = {20},
pages = {2798--2831},
year = {2012},
url = {https://doi.org/10.3217/jucs-018-20-2798},
doi = {10.3217/JUCS-018-20-2798},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/MonicaGMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BresolinMMSS12,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Interval Temporal Logics over Finite Linear Orders: the Complete Picture},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {199--204},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-199},
doi = {10.3233/978-1-61499-098-7-199},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BresolinMMSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MontanariNST12,
author = {Angelo Montanari and
Isabel Navarrete and
Guido Sciavicco and
Alberto Tonon},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {A Tractable Formalism for Combining Rectangular Cardinal Relations
with Metric Constraints},
booktitle = {{ICAART} 2012 - Proceedings of the 4th International Conference on
Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
Vilamoura, Algarve, Portugal, 6-8 February, 2012},
pages = {154--163},
publisher = {SciTePress},
year = {2012},
timestamp = {Thu, 03 May 2012 17:45:15 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MontanariNST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MontanariNST12a,
author = {Angelo Montanari and
Isabel Navarrete and
Guido Sciavicco and
Alberto Tonon},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Efficient Spatial Reasoning with Rectangular Cardinal Relations and
Metric Constraints},
booktitle = {Agents and Artificial Intelligence - 4th International Conference,
{ICAART} 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {358},
pages = {234--249},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36907-0\_16},
doi = {10.1007/978-3-642-36907-0\_16},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MontanariNST12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ConradieDS12,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {An Integrated First-Order Theory of Points and Intervals: Expressive
Power in the Class of All Linear Orders},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.11},
doi = {10.1109/TIME.2012.11},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/ConradieDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2479,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Marco Faella and
Aniello Murano},
title = {Interval Temporal Logics over Strongly Discrete Linear Orders: the
Complete Picture},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {155--168},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.12},
doi = {10.4204/EPTCS.96.12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/MonicaGMS11,
author = {Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Interval Temporal Logics: a Journey},
journal = {Bull. {EATCS}},
volume = {105},
pages = {73--99},
year = {2011},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/94},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/MonicaGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/ConradieS11,
author = {Willem Conradie and
Guido Sciavicco},
editor = {Jos{\'{e}} Antonio Lozano and
Jos{\'{e}} A. G{\'{a}}mez and
Jos{\'{e}} A. Moreno},
title = {On the Expressive Power of First Order-Logic Extended with Allen's
Relations in the Strict Case},
booktitle = {Advances in Artificial Intelligence - 14th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2011, La Laguna,
Spain, November 7-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7023},
pages = {173--182},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25274-7\_18},
doi = {10.1007/978-3-642-25274-7\_18},
timestamp = {Wed, 28 Jun 2023 16:19:42 +0200},
biburl = {https://dblp.org/rec/conf/caepia/ConradieS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MonicaGMS11,
author = {Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Toby Walsh},
title = {Expressiveness of the Interval Logics of Allen's Relations on the
Class of All Linear Orders: Complete Classification},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {845--850},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-147},
doi = {10.5591/978-1-57735-516-8/IJCAI11-147},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MonicaGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BresolinMSS11,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {What's Decidable about Halpern and Shoham's Interval Logic? The Maximal
Fragment {ABBL}},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {387--396},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.35},
doi = {10.1109/LICS.2011.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BresolinMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMSS11,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Optimal Tableau Systems for Propositional Neighborhood Logic over
All, Dense, and Discrete Linear Orders},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {73--87},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_8},
doi = {10.1007/978-3-642-22119-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMMS11,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Light Side of Interval Temporal Logic: The Bernays-Sch{\"{o}}nfinkel's
Fragment of {CDT}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {123--130},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.20},
doi = {10.1109/TIME.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS11,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Dark Side of Interval Temporal Logic: Sharpening the Undecidability
Border},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {131--138},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.21},
doi = {10.1109/TIME.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1241,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {An Optimal Decision Procedure for {MPNL} over the Integers},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {192--206},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.14},
doi = {10.4204/EPTCS.54.14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BalbianiGS11,
author = {Philippe Balbiani and
Valentin Goranko and
Guido Sciavicco},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Two-sorted Point-Interval Temporal Logics},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {31--45},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.004},
doi = {10.1016/J.ENTCS.2011.10.004},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalbianiGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BresolinMGMS10,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Metric Propositional Neighborhood Logics: Expressiveness, Decidability,
and Undecidability},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {695--700},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-695},
doi = {10.3233/978-1-60750-606-5-695},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BresolinMGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MontanariSS10,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala and
Guido Sciavicco},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Decidability of the Interval Temporal Logic {ABB} over the Natural
Numbers},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {597--608},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2488},
doi = {10.4230/LIPICS.STACS.2010.2488},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MontanariSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinSMMS10,
author = {Davide Bresolin and
Pietro Sala and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Nicolas Markey and
Jef Wijsen},
title = {A Decidable Spatial Generalization of Metric Interval Temporal Logic},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.22},
doi = {10.1109/TIME.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinSMMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1407,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Begin, After, and Later: a Maximal Decidable Interval Temporal Logic},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {72--88},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.10},
doi = {10.4204/EPTCS.25.10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MonicaGS11,
author = {Dario Della Monica and
Valentin Goranko and
Guido Sciavicco},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Hybrid Metric Propositional Neighborhood Logics with Interval Length
Binders},
booktitle = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
2010, Edinburgh, Scotland, UK, July 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {273},
pages = {3--19},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.06.009},
doi = {10.1016/J.ENTCS.2011.06.009},
timestamp = {Fri, 10 Mar 2023 14:46:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MonicaGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Propositional interval neighborhood logics: Expressiveness, decidability,
and undecidable extensions},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {289--304},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.003},
doi = {10.1016/J.APAL.2009.07.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/SciaviccoJC09,
author = {Guido Sciavicco and
Jos{\'{e}} M. Ju{\'{a}}rez and
Manuel Campos},
editor = {Jos{\'{e}} Mira Mira and
Jos{\'{e}} Manuel Ferr{\'{a}}ndez and
Jos{\'{e}} R. {\'{A}}lvarez and
F{\'{e}}lix de la Paz and
F. Javier Toledo},
title = {Quality Checking of Medical Guidelines Using Interval Temporal Logics:
{A} Case-Study},
booktitle = {Bioinspired Applications in Artificial and Natural Computation, Third
International Work-Conference on the Interplay Between Natural and
Artificial Computation, {IWINAC} 2009, Santiago de Compostela, Spain,
June 22-26, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5602},
pages = {158--167},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02267-8\_18},
doi = {10.1007/978-3-642-02267-8\_18},
timestamp = {Wed, 13 Jan 2021 08:41:00 +0100},
biburl = {https://dblp.org/rec/conf/iwinac/SciaviccoJC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer
Constraints for Interval Lengths},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {240--249},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.36},
doi = {10.1109/SEFM.2009.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMSS09,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Martin Giese and
Arild Waaler},
title = {A Tableau-Based System for Spatial Reasoning about Directional Relations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {123--137},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_10},
doi = {10.1007/978-3-642-02716-1\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS09,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carsten Lutz and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Undecidability of Interval Temporal Logics with the Overlap Modality},
booktitle = {{TIME} 2009, 16th International Symposium on Temporal Representation
and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TIME.2009.24},
doi = {10.1109/TIME.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BresolinMGMS10,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Undecidability of the Logic of Overlap Relation over Discrete Linear
Orderings},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {65--81},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.006},
doi = {10.1016/J.ENTCS.2010.04.006},
timestamp = {Thu, 09 Mar 2023 15:44:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BresolinMGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-3429,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala and
Guido Sciavicco},
title = {Decidability of the interval temporal logic ABBar over the natural
numbers},
journal = {CoRR},
volume = {abs/0912.3429},
year = {2009},
url = {http://arxiv.org/abs/0912.3429},
eprinttype = {arXiv},
eprint = {0912.3429},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-3429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HodkinsonMS08,
author = {Ian M. Hodkinson and
Angelo Montanari and
Guido Sciavicco},
editor = {Michael Kaminski and
Simone Martini},
title = {Non-finite Axiomatizability and Undecidability of Interval Temporal
Logics with C, D, and {T}},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {308--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_23},
doi = {10.1007/978-3-540-87531-4\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/HodkinsonMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BresolinMSS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Optimal Tableaux for Right Propositional Neighborhood Logic over Linear
Orders},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {62--75},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_7},
doi = {10.1007/978-3-540-87803-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BresolinMSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BresolinMGMS08,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Decidable and Undecidable Fragments of Halpern and Shoham's Interval
Temporal Logic: Towards a Complete Classification},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {590--604},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_41},
doi = {10.1007/978-3-540-89439-1\_41},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BresolinMGMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MoralesNS07,
author = {Antonio Morales Nicol{\'{a}}s and
Isabel Navarrete and
Guido Sciavicco},
title = {A new modal logic for reasoning about space: spatial propositional
neighborhood logic},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {1},
pages = {1--25},
year = {2007},
url = {https://doi.org/10.1007/s10472-007-9083-0},
doi = {10.1007/S10472-007-9083-0},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MoralesNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BresolinMS07,
author = {Davide Bresolin and
Angelo Montanari and
Guido Sciavicco},
title = {An Optimal Decision Procedure for Right Propositional Neighborhood
Logic},
journal = {J. Autom. Reason.},
volume = {38},
number = {1-3},
pages = {173--199},
year = {2007},
url = {https://doi.org/10.1007/s10817-006-9051-0},
doi = {10.1007/S10817-006-9051-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BresolinMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MoralesNS07,
author = {Antonio Morales Nicol{\'{a}}s and
Isabel Navarrete and
Guido Sciavicco},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Using Temporal Logic for Spatial Reasoning: Temporalized Propositional
Neighborhood Logic},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 12-16, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4739},
pages = {313--320},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75867-9\_40},
doi = {10.1007/978-3-540-75867-9\_40},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/MoralesNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NavarreteMS07,
author = {Isabel Navarrete and
Antonio Morales and
Guido Sciavicco},
editor = {Manuela M. Veloso},
title = {Consistency Checking of Basic Cardinal Constraints over Connected
Regions},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {495--500},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/078.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NavarreteMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Decidability and Expressiveness of Propositional Interval Neighborhood
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {84--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_7},
doi = {10.1007/978-3-540-72734-7\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/RoyS07,
author = {Suman Roy and
Guido Sciavicco},
title = {Reasoning with 'And Then' and 'While'},
booktitle = {14th International Symposium on Temporal Representation and Reasoning
{(TIME} 2007), 28-30 June 2007, Alicante, Spain},
pages = {181--188},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TIME.2007.57},
doi = {10.1109/TIME.2007.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/RoyS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/FranceschetMPS06,
author = {Massimo Franceschet and
Angelo Montanari and
Adriano Peron and
Guido Sciavicco},
title = {Definability and decidability of binary predicates for time granularity},
journal = {J. Appl. Log.},
volume = {4},
number = {2},
pages = {168--191},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.06.004},
doi = {10.1016/J.JAL.2005.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/FranceschetMPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/GorankoMSS06,
author = {Valentin Goranko and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {A general tableau method for propositional interval temporal logics:
Theory and implementation},
journal = {J. Appl. Log.},
volume = {4},
number = {3},
pages = {305--330},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.06.012},
doi = {10.1016/J.JAL.2005.06.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/GorankoMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MoralesS06,
author = {Antonio Morales and
Guido Sciavicco},
editor = {James Pustejovsky and
Peter Z. Revesz},
title = {Using Temporal Logic for Spatial Reasoning: Spatial Propositional
Neighborhood Logic},
booktitle = {13th International Symposium on Temporal Representation and Reasoning
{(TIME} 2006), 15-17 June 2006, Budapest, Hungary},
pages = {50--60},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/TIME.2006.34},
doi = {10.1109/TIME.2006.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MoralesS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GorankoMS04,
author = {Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {A Road Map of Interval Temporal Logics and Duration Calculi},
journal = {J. Appl. Non Class. Logics},
volume = {14},
number = {1-2},
pages = {9--54},
year = {2004},
url = {https://doi.org/10.3166/jancl.14.9-54},
doi = {10.3166/JANCL.14.9-54},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GorankoMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GorankoMS03,
author = {Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Propositional Interval Neighborhood Temporal Logics},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {9},
pages = {1137--1167},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-09-1137},
doi = {10.3217/JUCS-009-09-1137},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GorankoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GorankoMS03,
author = {Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {A General Tableau Method for Propositional Interval Temporal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {102--116},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_10},
doi = {10.1007/978-3-540-45206-5\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GorankoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FranceschetMPS03,
author = {Massimo Franceschet and
Angelo Montanari and
Adriano Peron and
Guido Sciavicco},
title = {Definability and decidability of binary predicates for time granularity},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {192--202},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214896},
doi = {10.1109/TIME.2003.1214896},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FranceschetMPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MontanariSV02,
author = {Angelo Montanari and
Guido Sciavicco and
Nicola Vitacolonna},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Decidability of Interval Temporal Logics over Split-Frames via Granularity},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {259--270},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_22},
doi = {10.1007/3-540-45757-7\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MontanariSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
