Guido Sciavicco
https://sites.google.com/unife.it/guido
https://scholar.google.com/citations?user=a9a0KYYAAAAJ
https://orcid.org/0000-0002-9221-879X
https://www.wikidata.org/entity/Q61075042
Federico Manzella
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests.
102486
2023
March
137
Artif. Intell. Medicine
https://doi.org/10.1016/j.artmed.2022.102486
db/journals/artmed/artmed137.html#ManzellaPSS23
Willem Conradie
Dario Della Monica
Emilio Muñoz-Velasco
Guido Sciavicco
Ionel Eduard Stan
Fuzzy Halpern and Shoham's interval temporal logics.
107-124
2023
March
456
Fuzzy Sets Syst.
https://doi.org/10.1016/j.fss.2022.05.014
db/journals/fss/fss456.html#ConradieMMSS23
Federico Manzella
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
Efficient Modal Decision Trees.
381-395
2023
AI*IA
https://doi.org/10.1007/978-3-031-47546-7_26
conf/aiia/2023
db/conf/aiia/aiia2023.html#ManzellaPSS23
Dario Del Fante
Federico Manzella
Guido Sciavicco
Ionel Eduard Stan
A Post-Modern Approach to Automatic Metaphor Identification.
2023
CLiC-it
https://ceur-ws.org/Vol-3596/short9.pdf
conf/clic-it/2023
db/conf/clic-it/clic-it2023.html#FanteMSS23
Michele Ghiotti
Federico Manzella
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
Evolutionary Explainable Rule Extraction from (Modal) Random Forests.
827-834
2023
ECAI
https://doi.org/10.3233/FAIA230350
conf/ecai/2023
db/conf/ecai/ecai2023.html#ManzellaPSS23
Patrik Cavina
Federico Manzella
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data.
2023
itaDATA
https://ceur-ws.org/Vol-3606/paper51.pdf
conf/itadata/2023
db/conf/itadata/itadata2023.html#CavinaMPSS23
Guido Sciavicco
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data.
43-47
2023
OVERLAY@AI*IA
https://ceur-ws.org/Vol-3629/paper7.pdf
conf/overlay/2023
db/conf/overlay/overlay2023.html#Sciavicco23
Giovanni Pagliarini
Andrea Paradiso
Sasha Rubin
Guido Sciavicco
Ionel Eduard Stan
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.
49-53
2023
OVERLAY@AI*IA
https://ceur-ws.org/Vol-3629/paper8.pdf
conf/overlay/2023
db/conf/overlay/overlay2023.html#PagliariniPRSS23
Willem Conradie
Riccardo Monego
Emilio Muñoz-Velasco
Guido Sciavicco
Ionel Eduard Stan
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
9:1-9:14
2023
TIME
https://doi.org/10.4230/LIPIcs.TIME.2023.9
conf/time/2023
db/conf/time/time2023.html#ConradieMMSS23
Guido Sciavicco
Ionel Eduard Stan
Knowledge Extraction with Interval Temporal Logic Decision Trees.
2023
abs/2305.16864
CoRR
https://doi.org/10.48550/arXiv.2305.16864
db/journals/corr/corr2305.html#abs-2305-16864
Fernando Jiménez
Gracia Sánchez
José Palma 0001
Guido Sciavicco
Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches.
104531
2022
107
Eng. Appl. Artif. Intell.
https://doi.org/10.1016/j.engappai.2021.104531
db/journals/eaai/eaai107.html#JimenezS0S22
Dario Della Monica
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
Decision Trees with a Modal Flavor.
47-59
2022
AI*IA
https://doi.org/10.1007/978-3-031-27181-6_4
conf/aiia/2022
db/conf/aiia/aiia2022.html#MonicaPSS22
Ionel Eduard Stan
Guido Sciavicco
Emilio Muñoz-Velasco
Giovanni Pagliarini
Mauro Milella
Andrea Paradiso
On Modal Logic Association Rule Mining.
53-65
2022
ICTCS
https://ceur-ws.org/Vol-3284/492.pdf
conf/ictcs/2022
db/conf/ictcs/ictcs2022.html#StanSMPMP22
Maddalena Coccagna
Federico Manzella
S. Mazzacane
Giovanni Pagliarini
Guido Sciavicco
Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals.
536-546
2022
IWINAC (1)
https://doi.org/10.1007/978-3-031-06242-1_53
conf/iwinac/2022-1
db/conf/iwinac/iwinac2022-1.html#CoccagnaMMPS22
Giovanni Pagliarini
Simone Scaboro
Giuseppe Serra 0001
Guido Sciavicco
Ionel Eduard Stan
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification.
13:1-13:15
2022
TIME
https://doi.org/10.4230/LIPIcs.TIME.2022.13
conf/time/2022
db/conf/time/time2022.html#PagliariniS0SS22
Luca Geatti
Guido Sciavicco
Alessandro Umbrico
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.
OVERLAY@AI*IA
CEUR-WS.org
2022
CEUR Workshop Proceedings
3311
https://ceur-ws.org/Vol-3311
https://nbn-resolving.org/urn:nbn:de:0074-3311-3
db/conf/aiia/overlay2022.html
Andrea Brunello
Enrico Marzano
Angelo Montanari
Guido Sciavicco
A combined approach to the analysis of speech conversations in a contact center domain.
2022
abs/2203.06396
CoRR
https://doi.org/10.48550/arXiv.2203.06396
db/journals/corr/corr2203.html#abs-2203-06396
Fernando Jiménez
Estrella Lucena-Sánchez
Gracia Sánchez
Guido Sciavicco
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression.
135675-135688
2021
9
IEEE Access
https://doi.org/10.1109/ACCESS.2021.3115848
db/journals/access/access9.html#JimenezLSS21
Estrella Lucena-Sánchez
Guido Sciavicco
Ionel Eduard Stan
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling.
76
2021
14
Algorithms
3
https://doi.org/10.3390/a14030076
db/journals/algorithms/algorithms14.html#Lucena-SanchezS21
Raquel Espinosa
José Palma 0001
Fernando Jiménez
Joanna Kaminska
Guido Sciavicco
Estrella Lucena-Sánchez
A time series forecasting based multi-criteria methodology for air quality prediction.
107850
2021
113
Appl. Soft Comput.
Part
https://doi.org/10.1016/j.asoc.2021.107850
db/journals/asc/asc113.html#EspinosaPJKSL21
Johann Gamper
Sophie Pinchinat
Guido Sciavicco
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning.
104635
2021
280
Inf. Comput.
https://doi.org/10.1016/j.ic.2020.104635
db/journals/iandc/iandc280.html#GamperPS21
Guido Sciavicco
Matteo Zavatteri
Tiziano Villa
Mining CSTNUDs significant for a set of traces is polynomial.
104773
2021
281
Inf. Comput.
https://doi.org/10.1016/j.ic.2021.104773
db/journals/iandc/iandc281.html#SciaviccoZV21
Alessandro Bertagnon
Marco Gavanelli
Alessandro Passantino
Guido Sciavicco
Stefano Trevisani
Branching interval algebra: An almost complete picture.
104809
2021
281
Inf. Comput.
https://doi.org/10.1016/j.ic.2021.104809
db/journals/iandc/iandc281.html#BertagnonGPST21
Gloria Bonaccorsi
Melchiore Giganti
Maxim Nitsenko
Giovanni Pagliarini
Giacomo Piva
Guido Sciavicco
Predicting treatment recommendations in postmenopausal osteoporosis.
103780
2021
118
J. Biomed. Informatics
https://doi.org/10.1016/j.jbi.2021.103780
db/journals/jbi/jbi118.html#BonaccorsiGNPPS21
Elena Marrocchino
Guido Sciavicco
Estrella Lucena-Sánchez
Carmela Vaccaro
On Intelligent Fingerprinting of Antique Buildings from Clay Composition.
33-47
2021
CITI
https://doi.org/10.1007/978-3-030-88262-4_3
conf/citi/2021
db/conf/citi/citi2021.html#MarrocchinoSLV21
Guido Sciavicco
Tiziano Villa
Matteo Zavatteri
Mining Temporal Networks: Results and Open Problems.
31-36
2021
OVERLAY@GandALF
https://ceur-ws.org/Vol-2987/paper6.pdf
conf/gandalf/2021overlay
db/conf/gandalf/overlay2021.html#SciaviccoVZ21
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
Multi-Frame Modal Symbolic Learning.
37-41
2021
OVERLAY@GandALF
https://ceur-ws.org/Vol-2987/paper7.pdf
conf/gandalf/2021overlay
db/conf/gandalf/overlay2021.html#PagliariniSS21
Federico Manzella
Giovanni Pagliarini
Guido Sciavicco
Ionel Eduard Stan
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis.
7:1-7:18
2021
TIME
https://doi.org/10.4230/LIPIcs.TIME.2021.7
conf/time/2021
db/conf/time/time2021.html#ManzellaPSS21
Giovanni Pagliarini
Guido Sciavicco
Decision Tree Learning with Spatial Modal Logics.
GandALF
2021
273-290
journals/corr/abs-2109-07798
https://doi.org/10.4204/EPTCS.346.18
https://arxiv.org/abs/2109.08325
db/series/eptcs/eptcs346.html#abs-2109-08325
Willem Conradie
Salih Durhan
Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).
2020
16
Log. Methods Comput. Sci.
2
https://doi.org/10.23638/LMCS-16(2:1)2020
db/journals/lmcs/lmcs16.html#ConradieDS20
Alessandro Bertagnon
Marco Gavanelli
Guido Sciavicco
Stefano Trevisani
On (Maximal, Tractable) Fragments of the Branching Algebra.
113-126
2020
CILC
https://ceur-ws.org/Vol-2710/paper7.pdf
conf/cilc/2020
db/conf/cilc/cilc2020.html#BertagnonGST20
Antonella Di Roma
Estrella Lucena-Sánchez
Guido Sciavicco
Carmela Vaccaro
Towards Automatic Fingerprinting of Groundwater Aquifers.
73-84
2020
CITI
https://doi.org/10.1007/978-3-030-62015-8_6
conf/citi/2020
db/conf/citi/citi2020.html#RomaLSV20
Fernando Chávez-Castrillón
Massimo Coltorti
Roberta Ivaldi
Estrella Lucena-Sánchez
Guido Sciavicco
Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands.
98-110
2020
CITI
https://doi.org/10.1007/978-3-030-62015-8_8
conf/citi/2020
db/conf/citi/citi2020.html#Chavez-Castrillon20
Estrella Lucena-Sánchez
Fernando Jiménez
Guido Sciavicco
Joanna Kaminska
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling.
1-8
2020
EAIS
https://doi.org/10.1109/EAIS48028.2020.9122765
conf/eais/2020
db/conf/eais/eais2020.html#Lucena-SanchezJ20
Willem Conradie
Dario Della Monica
Emilio Muñoz-Velasco
Guido Sciavicco
An Approach to Fuzzy Modal Logic of Time Intervals.
696-703
2020
ECAI
https://doi.org/10.3233/FAIA200156
conf/ecai/2020
db/conf/ecai/ecai2020.html#ConradieMMS20
Willem Conradie
Dario Della Monica
Emilio Muñoz-Velasco
Guido Sciavicco
Ionel Eduard Stan
Time Series Checking with Fuzzy Interval Temporal Logics.
250-262
2020
ICTCS
https://ceur-ws.org/Vol-2756/paper_29.pdf
conf/ictcs/2020
db/conf/ictcs/ictcs2020.html#ConradieMMSS20
Estrella Lucena-Sánchez
Guido Sciavicco
Ionel Eduard Stan
Symbolic Learning with Interval Temporal Logic: the Case of Regression.
5-9
2020
OVERLAY
https://ceur-ws.org/Vol-2785/paper1.pdf
conf/overlay/2020
db/conf/overlay/overlay2020.html#Lucena-SanchezS20
Dario Della Monica
Angelo Montanari
Guido Sciavicco
Ionel Eduard Stan
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking.
11-15
2020
OVERLAY
https://ceur-ws.org/Vol-2785/paper2.pdf
conf/overlay/2020
db/conf/overlay/overlay2020.html#MonicaMSS20
Joanna Kaminska
Estrella Lucena-Sánchez
Guido Sciavicco
Ionel Eduard Stan
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling.
42-57
2020
RuleML+RR (Supplement)
https://ceur-ws.org/Vol-2644/paper11.pdf
conf/ruleml/2020s
db/conf/ruleml/ruleml2020s.html#KaminskaLSS20
Alessandro Bertagnon
Marco Gavanelli
Alessandro Passantino
Guido Sciavicco
Stefano Trevisani
The Horn Fragment of Branching Algebra.
5:1-5:16
2020
TIME
https://doi.org/10.4230/LIPIcs.TIME.2020.5
conf/time/2020
db/conf/time/time2020.html#BertagnonGPST20
Guido Sciavicco
Ionel Eduard Stan
Knowledge Extraction with Interval Temporal Logic Decision Trees.
9:1-9:16
2020
TIME
https://doi.org/10.4230/LIPIcs.TIME.2020.9
conf/time/2020
db/conf/time/time2020.html#SciaviccoS20
Guido Sciavicco
Matteo Zavatteri
Tiziano Villa
Mining Significant Temporal Networks Is Polynomial.
11:1-11:12
2020
TIME
https://doi.org/10.4230/LIPIcs.TIME.2020.11
conf/time/2020
db/conf/time/time2020.html#SciaviccoZV20
Andrea Brunello
Guido Sciavicco
Ionel Eduard Stan
Interval Temporal Logic Decision Tree Learning.
2020
abs/2003.04952
CoRR
https://arxiv.org/abs/2003.04952
db/journals/corr/corr2003.html#abs-2003-04952
Emilio Muñoz-Velasco
Mercedes Pelegrín-García
Pietro Sala
Guido Sciavicco
Ionel Eduard Stan
On coarser interval temporal logics.
1-26
2019
266
Artif. Intell.
https://doi.org/10.1016/j.artint.2018.09.001
db/journals/ai/ai266.html#Munoz-VelascoPS19
Andrea Brunello
Enrico Marzano
Angelo Montanari
Guido Sciavicco
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data.
21
2019
8
Comput.
1
https://doi.org/10.3390/computers8010021
db/journals/computers/computers8.html#BrunelloMMS19
Andrea Brunello
Fernando Jiménez
Enrico Marzano
Angelo Montanari
Gracia Sánchez
Guido Sciavicco
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data.
2019
36
Expert Syst. J. Knowl. Eng.
3
https://doi.org/10.1111/exsy.12375
db/journals/es/es36.html#BrunelloJMMSS19
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
97-125
2019
266
Inf. Comput.
https://doi.org/10.1016/j.ic.2019.02.002
db/journals/iandc/iandc266.html#BresolinMMSS19
Fernando Jiménez
Carlos Martínez
Enrico Marzano
José T. Palma
Gracia Sánchez
Guido Sciavicco
Multiobjective Evolutionary Feature Selection for Fuzzy Classification.
1085-1099
2019
27
IEEE Trans. Fuzzy Syst.
5
https://doi.org/10.1109/TFUZZ.2019.2892363
db/journals/tfs/tfs27.html#JimenezMMPSS19
Fernando Jiménez
Alessia Paoletti
Gracia Sánchez
Guido Sciavicco
Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization.
225-236
2019
12
IEEE Trans. Learn. Technol.
2
https://doi.org/10.1109/TLT.2019.2911070
db/journals/tlt/tlt12.html#JimenezPSS19
Andrea Brunello
Joanna Kaminska
Enrico Marzano
Angelo Montanari
Guido Sciavicco
Tomasz Turek
Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław.
463-474
2019
ADBIS (Short Papers and Workshops)
https://doi.org/10.1007/978-3-030-30278-8_45
conf/adbis/2019w
db/conf/adbis/adbis2019w.html#BrunelloKMMST19
Estrella Lucena-Sánchez
Emilio Muñoz-Velasco
Guido Sciavicco
Ionel Eduard Stan
Alessandro Vaccari 0002
Towards Interval Temporal Logic Rule-Based Classification.
65-70
2019
OVERLAY@AI*IA
https://ceur-ws.org/Vol-2509/paper10.pdf
conf/aiia/2019overlay
db/conf/aiia/overlay2019.html#Lucena-SanchezM19
Dario Della Monica
Angelo Montanari
Aniello Murano
Guido Sciavicco
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation.
28-41
2019
GCAI
https://doi.org/10.29007/r3pf
conf/gcai/2019
db/conf/gcai/gcai2019.html#MonicaMMS19
Guido Sciavicco
Ionel Eduard Stan
Alessandro Vaccari 0002
Towards a General Method for Logical Rule Extraction from Time Series.
3-12
2019
IWINAC (2)
https://doi.org/10.1007/978-3-030-19651-6_1
conf/iwinac/2019-2
db/conf/iwinac/iwinac2019-2.html#SciaviccoSV19
Andrea Brunello
Guido Sciavicco
Ionel Eduard Stan
Interval Temporal Logic Decision Tree Learning.
778-793
2019
JELIA
https://doi.org/10.1007/978-3-030-19570-0_50
conf/jelia/2019
db/conf/jelia/jelia2019.html#BrunelloSS19
Johann Gamper
Sophie Pinchinat
Guido Sciavicco
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain.
TIME
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2019
LIPIcs
147
978-3-95977-127-6
http://www.dagstuhl.de/dagpub/978-3-95977-127-6
db/conf/time/time2019.html
Fernando Jiménez
Carlos Martínez
Luis Miralles Pechuán
Gracia Sánchez
Guido Sciavicco
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data.
684
2018
20
Entropy
9
https://doi.org/10.3390/e20090684
https://www.wikidata.org/entity/Q103830907
db/journals/entropy/entropy20.html#JimenezMPSS18
Salih Durhan
Guido Sciavicco
Allen-like theory of time for tree-like structures.
375-389
2018
259
Inf. Comput.
3
https://doi.org/10.1016/j.ic.2017.08.009
db/journals/iandc/iandc259.html#DurhanS18
Andrea Brunello
Fernando Jiménez
Enrico Marzano
José Palma 0001
Gracia Sánchez
Guido Sciavicco
Towards semi-automatic human performance evaluation: The case study of a contact center.
867-880
2018
22
Intell. Data Anal.
4
https://doi.org/10.3233/IDA-173586
https://www.wikidata.org/entity/Q58183700
db/journals/ida/ida22.html#BrunelloJMPSS18
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic.
2018
14
Log. Methods Comput. Sci.
2
https://doi.org/10.23638/LMCS-14(2:16)2018
db/journals/lmcs/lmcs14.html#BresolinMS18
Willem Conradie
Salih Durhan
Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).
2018
14
Log. Methods Comput. Sci.
2
https://doi.org/10.23638/LMCS-14(2:15)2018
db/journals/lmcs/lmcs14.html#ConradieDS18
Andrea Brunello
Enrico Marzano
Angelo Montanari
Guido Sciavicco
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees.
240-256
2018
ICIST
https://doi.org/10.1007/978-3-319-99972-2_19
conf/icist/2018
db/conf/icist/icist2018.html#BrunelloMMS18
Andrea Brunello
Enrico Marzano
Angelo Montanari
Guido Sciavicco
A Novel Decision Tree Approach for the Handling of Time Series.
351-368
2018
MIKE
https://doi.org/10.1007/978-3-030-05918-7_32
conf/mike/2018
db/conf/mike/mike2018.html#BrunelloMMS18
Davide Bresolin
Enrico Cominato
Simone Gnani
Emilio Muñoz-Velasco
Guido Sciavicco
Extracting Interval Temporal Logic Rules: A First Approach.
7:1-7:15
2018
TIME
https://doi.org/10.4230/LIPIcs.TIME.2018.7
conf/time/2018
db/conf/time/time2018.html#BresolinCGMS18
Marco Gavanelli
Alessandro Passantino
Guido Sciavicco
Deciding the Consistency of Branching Time Interval Networks.
12:1-12:15
2018
TIME
https://doi.org/10.4230/LIPIcs.TIME.2018.12
conf/time/2018
db/conf/time/time2018.html#GavanelliPS18
Willem Conradie
Salih Durhan
Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).
2018
abs/1805.08425
CoRR
http://arxiv.org/abs/1805.08425
db/journals/corr/corr1805.html#abs-1805-08425
Willem Conradie
Salih Durhan
Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).
2018
abs/1809.04468
CoRR
http://arxiv.org/abs/1809.04468
db/journals/corr/corr1809.html#abs-1809-04468
Fernando Jiménez
Rosalia Jódar
Maria del Pilar Martín
Gracia Sánchez
Guido Sciavicco
Unsupervised feature selection for interpretable classification in behavioral assessment of children.
2017
34
Expert Syst. J. Knowl. Eng.
4
https://doi.org/10.1111/exsy.12173
db/journals/es/es34.html#JimenezJMSS17
Fernando Jiménez
Gracia Sánchez
José M. García 0001
Guido Sciavicco
Luis Miralles Pechuán
Multi-objective evolutionary feature selection for online sales forecasting.
75-92
2017
234
Neurocomputing
https://doi.org/10.1016/j.neucom.2016.12.045
db/journals/ijon/ijon234.html#JimenezSGSP17
Davide Bresolin
Fernando Jiménez
Gracia Sánchez
Guido Sciavicco
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.
217-249
2017
28
J. Multiple Valued Log. Soft Comput.
2-3
http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/
db/journals/mvl/mvl28.html#BresolinJSS17
Davide Bresolin
Agi Kurucz
Emilio Muñoz-Velasco
Vladislav Ryzhikov
Guido Sciavicco
Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
22:1-22:39
2017
18
ACM Trans. Comput. Log.
3
https://doi.org/10.1145/3105909
db/journals/tocl/tocl18.html#BresolinKMRSZ17
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
Fast(er) Reasoning in Interval Temporal Logic.
17:1-17:17
2017
CSL
https://doi.org/10.4230/LIPIcs.CSL.2017.17
conf/csl/2017
db/conf/csl/csl2017.html#BresolinMS17
Enrico Cominato
Dario Della Monica
Angelo Montanari
Guido Sciavicco
A Model Checker for Interval Temporal Logic over Finite Structures.
63-74
2017
ICTCS/CILC
https://ceur-ws.org/Vol-1949/ICTCSpaper04.pdf
conf/ictcs/2017
db/conf/ictcs/ictcs2017.html#CominatoMMS17
Emilio Muñoz-Velasco
Guido Sciavicco
Ionel Eduard Stan
Implementation of a Tableau-based Satisfiability Checker for HS3.
326-340
2017
ICTCS/CILC
https://ceur-ws.org/Vol-1949/CILCpaper09.pdf
conf/ictcs/2017
db/conf/ictcs/ictcs2017.html#Munoz-VelascoSS17
Dario Della Monica
Nicola Gigante
Angelo Montanari
Pietro Sala
Guido Sciavicco
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
1008-1014
2017
IJCAI
https://doi.org/10.24963/ijcai.2017/140
conf/ijcai/2017
db/conf/ijcai/ijcai2017.html#MonicaGMSS17
Dario Della Monica
David de Frutos-Escrig
Angelo Montanari
Aniello Murano
Guido Sciavicco
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.
11:1-11:18
2017
TIME
https://doi.org/10.4230/LIPIcs.TIME.2017.11
conf/time/2017
db/conf/time/time2017.html#MonicaFMMS17
Luca Aceto
Dario Della Monica
Valentin Goranko
Anna Ingólfsdóttir
Angelo Montanari
Guido Sciavicco
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
207-246
2016
53
Acta Informatica
3
https://doi.org/10.1007/s00236-015-0231-4
db/journals/acta/acta53.html#AcetoMGIMS16
Davide Bresolin
Guido Sciavicco
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).
545-546
2016
53
Acta Informatica
6-8
https://doi.org/10.1007/s00236-016-0262-5
db/journals/acta/acta53.html#BresolinS16
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
On the Complexity of Fragments of Horn Modal Logics.
186-195
2016
TIME
https://doi.org/10.1109/TIME.2016.27
https://doi.ieeecomputersociety.org/10.1109/TIME.2016.27
conf/time/2016
db/conf/time/time2016.html#BresolinMS16
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
On the Expressive Power of Sub-Propositional Fragments of Modal Logic.
GandALF
2016
91-104
https://doi.org/10.4204/EPTCS.226.7
http://arxiv.org/abs/1609.04091
journals/corr/CantoneD16
db/series/eptcs/eptcs226.html#BresolinMS16
Davide Bresolin
Agi Kurucz
Emilio Muñoz-Velasco
Vladislav Ryzhikov
Guido Sciavicco
Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
2016
abs/1604.03515
CoRR
http://arxiv.org/abs/1604.03515
db/journals/corr/corr1604.html#BresolinKMRSZ16
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic.
2016
abs/1611.08800
CoRR
http://arxiv.org/abs/1611.08800
db/journals/corr/corr1611.html#BresolinMS16a
Guido Sciavicco
Alfredo Burrieza
Selected Papers from the 1st Workshop "Logic, Language, and Information".
2015
116
Bull. EATCS
http://eatcs.org/beatcs/index.php/beatcs/article/view/356
db/journals/eatcs/eatcs116.html#Sciavicco15
Emilio Muñoz-Velasco
Mercedes Pelegrín-García
Pietro Sala
Guido Sciavicco
On Coarser Interval Temporal Logics and their Satisfiability Problem.
105-115
2015
CAEPIA
https://doi.org/10.1007/978-3-319-24598-0_10
conf/caepia/2015
db/conf/caepia/caepia2015.html#Munoz-VelascoPS15
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
511-523
2015
LATA
https://doi.org/10.1007/978-3-319-15579-1_40
conf/lata/2015
db/conf/lata/lata2015.html#BresolinMMSS15
Fernando Jiménez
Enrico Marzano
Gracia Sánchez
Guido Sciavicco
Nicola Vitacolonna
Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification.
488-495
2015
SSCI
https://doi.org/10.1109/SSCI.2015.78
conf/ssci/2015
db/conf/ssci/ssci2015.html#JimenezMSSV15
Salih Durhan
Guido Sciavicco
Generalizing Allen's Theory of Time to Tree-Like Structures.
69-78
2015
TIME
https://doi.org/10.1109/TIME.2015.17
https://doi.ieeecomputersociety.org/10.1109/TIME.2015.17
conf/time/2015
db/conf/time/time2015.html#DurhanS15
Angelo Montanari
Emilio Muñoz-Velasco
Guido Sciavicco
Undecidability of Chop.
79-89
2015
TIME
https://doi.org/10.1109/TIME.2015.25
https://doi.ieeecomputersociety.org/10.1109/TIME.2015.25
conf/time/2015
db/conf/time/time2015.html#MontanariMS15
Davide Bresolin
Dario Della Monica
Angelo Montanari
Guido Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
11-39
2014
71
Ann. Math. Artif. Intell.
1-3
https://doi.org/10.1007/s10472-013-9337-y
db/journals/amai/amai71.html#BresolinMMS14
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
The dark side of interval temporal logic: marking the undecidability border.
41-83
2014
71
Ann. Math. Artif. Intell.
1-3
https://doi.org/10.1007/s10472-013-9376-4
db/journals/amai/amai71.html#BresolinMGMS14
Guido Sciavicco
Report on LPAR 2013.
2014
112
Bull. EATCS
http://eatcs.org/beatcs/index.php/beatcs/article/view/232
db/journals/eatcs/eatcs112.html#Sciavicco14
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
269-291
2014
560
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2014.03.033
db/journals/tcs/tcs560.html#BresolinMMSS14
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
A First Study of the Horn Fragment of the Modal Logic of Time Intervals.
314-318
2014
CILC
https://ceur-ws.org/Vol-1195/short2.pdf
conf/cilc/2014
db/conf/cilc/cilc2014.html#BresolinMS14
Alessandro Artale
Davide Bresolin
Angelo Montanari
Guido Sciavicco
Vladislav Ryzhikov
DL-Lite and Interval Temporal Logics: a Marriage Proposal.
957-958
2014
ECAI
https://doi.org/10.3233/978-1-61499-419-0-957
conf/ecai/2014
db/conf/ecai/ecai2014.html#ArtaleBMSR14
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations.
122-136
2014
JELIA
https://doi.org/10.1007/978-3-319-11558-0_9
conf/jelia/2014
db/conf/jelia/jelia2014.html#BresolinMS14
Luca Aceto
Dario Della Monica
Anna Ingólfsdóttir
Angelo Montanari
Guido Sciavicco
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
267-281
2014
JELIA
https://doi.org/10.1007/978-3-319-11558-0_19
conf/jelia/2014
db/conf/jelia/jelia2014.html#AcetoMIMS14
Isabel Navarrete
Antonio Morales Nicolás
Guido Sciavicco
M. Antonia Cárdenas Viedma
Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra.
31-70
2013
67
Ann. Math. Artif. Intell.
1
https://doi.org/10.1007/s10472-012-9327-5
db/journals/amai/amai67.html#NavarreteMSV13
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Metric propositional neighborhood logics on natural numbers.
245-264
2013
12
Softw. Syst. Model.
2
https://doi.org/10.1007/s10270-011-0195-y
db/journals/sosym/sosym12.html#BresolinMGMS13
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
98-115
2013
493
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2012.10.043
db/journals/tcs/tcs493.html#BresolinMSS13
Davide Bresolin
Fernando Jiménez
Gracia Sánchez
Guido Sciavicco
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.
25-36
2013
FOGA
https://doi.org/10.1145/2460239.2460243
conf/foga/2013
db/conf/foga/foga2013.html#BresolinJSS13
Luca Aceto
Dario Della Monica
Anna Ingólfsdóttir
Angelo Montanari
Guido Sciavicco
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
1-17
2013
LPAR
https://doi.org/10.1007/978-3-642-45221-5_1
conf/lpar/2013
db/conf/lpar/lpar2013.html#AcetoMIMS13
Davide Bresolin
Dario Della Monica
Angelo Montanari
Guido Sciavicco
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
74-80
2013
TABLEAUX
https://doi.org/10.1007/978-3-642-40537-2_8
conf/tableaux/2013
db/conf/tableaux/tableaux2013.html#BresolinMMS13
Luca Aceto
Dario Della Monica
Anna Ingólfsdóttir
Angelo Montanari
Guido Sciavicco
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
65-72
2013
TIME
https://doi.org/10.1109/TIME.2013.16
https://doi.ieeecomputersociety.org/10.1109/TIME.2013.16
conf/time/2013
db/conf/time/time2013.html#AcetoMIMS13
Davide Bresolin
Pietro Sala
Guido Sciavicco
On Begins, Meets and before.
559-583
2012
23
Int. J. Found. Comput. Sci.
3
https://doi.org/10.1142/S012905411240028X
db/journals/ijfcs/ijfcs23.html#BresolinSS12
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
2798-2831
2012
18
J. Univers. Comput. Sci.
20
https://doi.org/10.3217/jucs-018-20-2798
db/journals/jucs/jucs18.html#MonicaGMS12
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
199-204
2012
ECAI
https://doi.org/10.3233/978-1-61499-098-7-199
conf/ecai/2012
db/conf/ecai/ecai2012.html#BresolinMMSS12
Angelo Montanari
Isabel Navarrete
Guido Sciavicco
Alberto Tonon
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.
154-163
2012
ICAART (1)
conf/icaart/2012-1
db/conf/icaart/icaart2012-1.html#MontanariNST12
Angelo Montanari
Isabel Navarrete
Guido Sciavicco
Alberto Tonon
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.
234-249
2012
ICAART (Revised Selected Papers)
https://doi.org/10.1007/978-3-642-36907-0_16
conf/icaart/2012s
db/conf/icaart/icaart2012s.html#MontanariNST12a
Willem Conradie
Salih Durhan
Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.
47-54
2012
TIME
https://doi.org/10.1109/TIME.2012.11
https://doi.ieeecomputersociety.org/10.1109/TIME.2012.11
conf/time/2012
db/conf/time/time2012.html#ConradieDS12
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
GandALF
2012
155-168
https://doi.org/10.4204/EPTCS.96.12
http://arxiv.org/abs/1210.2479
journals/corr/abs-1210-2028
db/series/eptcs/eptcs96.html#abs-1210-2479
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Interval Temporal Logics: a Journey.
73-99
2011
105
Bull. EATCS
http://eatcs.org/beatcs/index.php/beatcs/article/view/94
db/journals/eatcs/eatcs105.html#MonicaGMS11
Willem Conradie
Guido Sciavicco
On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.
173-182
2011
CAEPIA
https://doi.org/10.1007/978-3-642-25274-7_18
conf/caepia/2011
db/conf/caepia/caepia2011.html#ConradieS11
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
845-850
2011
IJCAI
https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-147
conf/ijcai/2011
db/conf/ijcai/ijcai2011.html#MonicaGMS11
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
387-396
2011
LICS
https://doi.org/10.1109/LICS.2011.35
https://doi.ieeecomputersociety.org/10.1109/LICS.2011.35
conf/lics/2011
db/conf/lics/lics2011.html#BresolinMSS11
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
73-87
2011
TABLEAUX
https://doi.org/10.1007/978-3-642-22119-4_8
conf/tableaux/2011
db/conf/tableaux/tableaux2011.html#BresolinMSS11
Davide Bresolin
Dario Della Monica
Angelo Montanari
Guido Sciavicco
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
123-130
2011
TIME
https://doi.org/10.1109/TIME.2011.20
https://doi.ieeecomputersociety.org/10.1109/TIME.2011.20
conf/time/2011
db/conf/time/time2011.html#BresolinMMS11
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
131-138
2011
TIME
https://doi.org/10.1109/TIME.2011.21
https://doi.ieeecomputersociety.org/10.1109/TIME.2011.21
conf/time/2011
db/conf/time/time2011.html#BresolinMGMS11
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
An Optimal Decision Procedure for MPNL over the Integers
GandALF
2011
192-206
https://doi.org/10.4204/EPTCS.54.14
http://arxiv.org/abs/1106.1241
journals/corr/abs-1106-0814
db/series/eptcs/eptcs54.html#abs-1106-1241
Philippe Balbiani
Valentin Goranko
Guido Sciavicco
Two-sorted Point-Interval Temporal Logics.
31-45
2011
conf/m4m/2011
M4M/LAMAS
https://doi.org/10.1016/j.entcs.2011.10.004
https://www.wikidata.org/entity/Q113318204
db/journals/entcs/entcs278.html#BalbianiGS11
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
695-700
2010
ECAI
https://doi.org/10.3233/978-1-60750-606-5-695
conf/ecai/2010
db/conf/ecai/ecai2010.html#BresolinMGMS10
Angelo Montanari
Gabriele Puppis
Pietro Sala
Guido Sciavicco
Decidability of the Interval Temporal Logic ABB over the Natural Numbers.
597-608
2010
STACS
https://doi.org/10.4230/LIPIcs.STACS.2010.2488
conf/stacs/2010
db/conf/stacs/stacs2010.html#MontanariSS10
Davide Bresolin
Pietro Sala
Dario Della Monica
Angelo Montanari
Guido Sciavicco
A Decidable Spatial Generalization of Metric Interval Temporal Logic.
95-102
2010
TIME
https://doi.org/10.1109/TIME.2010.22
https://doi.ieeecomputersociety.org/10.1109/TIME.2010.22
conf/time/2010
db/conf/time/time2010.html#BresolinSMMS10
Davide Bresolin
Pietro Sala
Guido Sciavicco
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
GANDALF
2010
72-88
https://doi.org/10.4204/EPTCS.25.10
http://arxiv.org/abs/1006.1407
journals/corr/abs-1006-1711
db/series/eptcs/eptcs25.html#abs-1006-1407
Dario Della Monica
Valentin Goranko
Guido Sciavicco
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
3-19
2010
conf/hylo/2010
HyLo@LICS
https://doi.org/10.1016/j.entcs.2011.06.009
https://www.wikidata.org/entity/Q113318258
db/journals/entcs/entcs273.html#MonicaGS11
Davide Bresolin
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
289-304
2009
161
Ann. Pure Appl. Log.
3
https://doi.org/10.1016/j.apal.2009.07.003
db/journals/apal/apal161.html#BresolinGMS09
Guido Sciavicco
José M. Juárez
Manuel Campos
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.
158-167
2009
IWINAC (2)
https://doi.org/10.1007/978-3-642-02267-8_18
https://www.wikidata.org/entity/Q62043592
conf/iwinac/2009-2
db/conf/iwinac/iwinac2009-2.html#SciaviccoJC09
Davide Bresolin
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
240-249
2009
SEFM
https://doi.org/10.1109/SEFM.2009.36
https://doi.ieeecomputersociety.org/10.1109/SEFM.2009.36
conf/sefm/2009
db/conf/sefm/sefm2009.html#BresolinGMS09
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
A Tableau-Based System for Spatial Reasoning about Directional Relations.
123-137
2009
TABLEAUX
https://doi.org/10.1007/978-3-642-02716-1_10
conf/tableaux/2009
db/conf/tableaux/tableaux2009.html#BresolinMSS09
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Undecidability of Interval Temporal Logics with the Overlap Modality.
88-95
2009
TIME
https://doi.org/10.1109/TIME.2009.24
https://doi.ieeecomputersociety.org/10.1109/TIME.2009.24
conf/time/2009
db/conf/time/time2009.html#BresolinMGMS09
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
65-81
2009
conf/m4m/2009
M4M
https://doi.org/10.1016/j.entcs.2010.04.006
db/journals/entcs/entcs262.html#BresolinMGMS10
Angelo Montanari
Gabriele Puppis
Pietro Sala
Guido Sciavicco
Decidability of the interval temporal logic ABBar over the natural numbers
http://arxiv.org/abs/0912.3429
2009
CoRR
abs/0912.3429
db/journals/corr/corr0912.html#abs-0912-3429
Ian M. Hodkinson
Angelo Montanari
Guido Sciavicco
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
308-322
2008
CSL
https://doi.org/10.1007/978-3-540-87531-4_23
conf/csl/2008
db/conf/csl/csl2008.html#HodkinsonMS08
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
62-75
2008
JELIA
https://doi.org/10.1007/978-3-540-87803-2_7
conf/jelia/2008
db/conf/jelia/jelia2008.html#BresolinMSS08
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
590-604
2008
LPAR
https://doi.org/10.1007/978-3-540-89439-1_41
conf/lpar/2008
db/conf/lpar/lpar2008.html#BresolinMGMS08
Antonio Morales Nicolás
Isabel Navarrete
Guido Sciavicco
A new modal logic for reasoning about space: spatial propositional neighborhood logic.
1-25
2007
51
Ann. Math. Artif. Intell.
1
https://doi.org/10.1007/s10472-007-9083-0
db/journals/amai/amai51.html#MoralesNS07
Davide Bresolin
Angelo Montanari
Guido Sciavicco
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
173-199
2007
38
J. Autom. Reason.
1-3
https://doi.org/10.1007/s10817-006-9051-0
db/journals/jar/jar38.html#BresolinMS07
Antonio Morales Nicolás
Isabel Navarrete
Guido Sciavicco
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
313-320
2007
conf/eurocast/2007
EUROCAST
https://doi.org/10.1007/978-3-540-75867-9_40
db/conf/eurocast/eurocast2007.html#MoralesNS07
Isabel Navarrete
Antonio Morales
Guido Sciavicco
Consistency Checking of Basic Cardinal Constraints over Connected Regions.
495-500
2007
conf/ijcai/2007
IJCAI
http://ijcai.org/Proceedings/07/Papers/078.pdf
db/conf/ijcai/ijcai2007.html#NavarreteMS07
Davide Bresolin
Valentin Goranko
Angelo Montanari
Guido Sciavicco
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
84-99
2007
conf/lfcs/2007
LFCS
https://doi.org/10.1007/978-3-540-72734-7_7
db/conf/lfcs/lfcs2007.html#BresolinGMS07
Suman Roy 0001
Guido Sciavicco
Reasoning with 'And Then' and 'While'.
181-188
2007
conf/time/2007
TIME
https://doi.org/10.1109/TIME.2007.57
https://doi.ieeecomputersociety.org/10.1109/TIME.2007.57
db/conf/time/time2007.html#RoyS07
Massimo Franceschet
Angelo Montanari
Adriano Peron
Guido Sciavicco
Definability and decidability of binary predicates for time granularity.
168-191
2006
4
J. Appl. Log.
2
https://doi.org/10.1016/j.jal.2005.06.004
db/journals/japll/japll4.html#FranceschetMPS06
Valentin Goranko
Angelo Montanari
Pietro Sala
Guido Sciavicco
A general tableau method for propositional interval temporal logics: Theory and implementation.
305-330
2006
4
J. Appl. Log.
3
https://doi.org/10.1016/j.jal.2005.06.012
db/journals/japll/japll4.html#GorankoMSS06
Antonio Morales
Guido Sciavicco
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.
50-60
2006
conf/time/2006
TIME
https://doi.org/10.1109/TIME.2006.34
https://doi.ieeecomputersociety.org/10.1109/TIME.2006.34
db/conf/time/time2006.html#MoralesS06
Valentin Goranko
Angelo Montanari
Guido Sciavicco
A Road Map of Interval Temporal Logics and Duration Calculi.
9-54
2004
14
J. Appl. Non Class. Logics
1-2
db/journals/jancl/jancl14.html#GorankoMS04
https://doi.org/10.3166/jancl.14.9-54
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Propositional Interval Neighborhood Temporal Logics.
1137-1167
2003
9
J. Univers. Comput. Sci.
9
https://doi.org/10.3217/jucs-009-09-1137
db/journals/jucs/jucs9.html#GorankoMS03
Valentin Goranko
Angelo Montanari
Guido Sciavicco
A General Tableau Method for Propositional Interval Temporal Logics.
102-116
https://doi.org/10.1007/978-3-540-45206-5_10
2003
conf/tableaux/2003
TABLEAUX
db/conf/tableaux/tableaux2003.html#GorankoMS03
Massimo Franceschet
Angelo Montanari
Adriano Peron
Guido Sciavicco
Definability and decidability of binary predicates for time granularity.
192-202
2003
conf/time/2003
TIME
https://doi.org/10.1109/TIME.2003.1214896
https://doi.ieeecomputersociety.org/10.1109/TIME.2003.1214896
db/conf/time/time2003.html#FranceschetMPS03
Angelo Montanari
Guido Sciavicco
Nicola Vitacolonna
Decidability of Interval Temporal Logics over Split-Frames via Granularity.
259-270
2002
conf/jelia/2002
JELIA
https://doi.org/10.1007/3-540-45757-7_22
db/conf/jelia/jelia2002.html#MontanariSV02
Luca Aceto
Alessandro Artale
Philippe Balbiani
Alessandro Bertagnon
Gloria Bonaccorsi
Davide Bresolin
Andrea Brunello
Alfredo Burrieza
Manuel Campos
Patrik Cavina
Fernando Chávez-Castrillón
Maddalena Coccagna
Massimo Coltorti
Enrico Cominato
Willem Conradie
Salih Durhan
Raquel Espinosa
Dario Del Fante
Massimo Franceschet
David de Frutos-Escrig
Johann Gamper
José M. García 0001
Marco Gavanelli
Luca Geatti
Michele Ghiotti
Nicola Gigante
Melchiore Giganti
Simone Gnani
Valentin Goranko
Ian M. Hodkinson
Anna Ingólfsdóttir
Roberta Ivaldi
Fernando Jiménez
Rosalia Jódar
Jose M. JuarezJosé M. Juárez
Joanna Kaminska
Ágnes KuruczAgi Kurucz
Estrella Lucena-Sánchez
Federico Manzella
Elena Marrocchino
Maria del Pilar Martín
Carlos Martínez
Enrico Marzano
S. Mazzacane
Mauro Milella
Riccardo Monego
Dario Della Monica
Angelo Montanari
Antonio Morales
Emilio Muñoz-Velasco
Aniello Murano
Isabel Navarrete
Antonio Morales Nicolás
Maxim Nitsenko
Giovanni Pagliarini
José T. PalmaJosé Palma 0001
Alessia Paoletti
Andrea Paradiso
Alessandro Passantino
Luis Miralles Pechuán
Mercedes Pelegrín-García
Adriano Peron
Sophie Pinchinat
Giacomo Piva
Gabriele Puppis
Antonella Di Roma
Suman Roy 0001
Sasha Rubin
Vladislav Ryzhikov
Pietro Sala
Gracia Sánchez
Simone Scaboro
Giuseppe Serra 0001
Ionel Eduard Stan
Alberto Tonon
Stefano Trevisani
Tomasz Turek
Alessandro Umbrico
Alessandro Vaccari 0002
Carmela Vaccaro
M. A. Cárdenas ViedmaM. Antonia Cárdenas Viedma
Tiziano Villa
Nicola Vitacolonna
Michael Zakharyaschev
Matteo Zavatteri