Ionel Eduard STAN, Ph.D. / University of Milano-Bicocca

Index

44 entries, 2017–2026, read from content/publications.bib when this page was built, and nothing is left out — manuscripts under review and released software are entries here like any other. Open a row for its abstract, its record and its BibTeX. Order the index by year, type or title, search the site to find a paper by title, author or a word in its abstract, and turn inspect sources on, in the bar above, to see where each part of this page comes from.

No.Year ↓TypeTitle / authors / venueRecord
012026Under review

A Semantics-First Contract for Neuro-Symbolic Reasoning

I. E. Stan, P. Napoletano

International Conference on Principles of Knowledge Representation and Reasoning (Manuscript under review).

content/publications.bib — @online{stan_kr2026}; venue from note, citation from note; no doi, url, html or pdf field, so no link.

Link
No doi, url, html or pdf field in the BibTeX entry.
Abstract
No abstract in the BibTeX entry.

BibTeX

@online{stan_kr2026,
  author       = {Stan, Ionel Eduard and Napoletano, Paolo},
  title        = {A Semantics-First Contract for Neuro-Symbolic Reasoning},
  year         = {2026},
  note         = {International Conference on Principles of Knowledge Representation and Reasoning (Manuscript under review)},
  keywords     = {underreview,preprint}
}
022026Journal

Authenticated Robotic Teleoperation With Task Recognition

I. E. Stan, H. Amrani, P. Napoletano, D. D'Auria

IEEE Consumer Electron. Mag. 15(1), 33–40.

content/publications.bib — @article{DBLP:journals/cem/StanAND26}; venue from journal, citation from journal, volume, number, pages; link from doi.

Record
volume 15, number 1, pages 33–40
DOI
10.1109/MCE.2025.3546049
Abstract
No abstract in the BibTeX entry.

BibTeX

@article{DBLP:journals/cem/StanAND26,
  author       = {Ionel Eduard Stan and
                  Hamza Amrani and
                  Paolo Napoletano and
                  Daniela D'Auria},
  title        = {Authenticated Robotic Teleoperation With Task Recognition},
  journal      = {{IEEE} Consumer Electron. Mag.},
  volume       = {15},
  number       = {1},
  pages        = {33--40},
  year         = {2026},
  url          = {https://doi.org/10.1109/MCE.2025.3546049},
  doi          = {10.1109/MCE.2025.3546049},
  announced    = {2025-02-18T10:00:00+02:00},
  timestamp    = {Thu, 01 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cem/StanAND26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
032026Under review

From forests to minimal formulas: A logic-driven framework to explain ensemble models

G. Pagliarini, M. Perrotta, G. Sciavicco, I. E. Stan

35th International Joint Conference on Artificial Intelligence, IJCAI 2026 (Manuscript under review).

content/publications.bib — @online{stan_ijcai2026}; venue from note, citation from note; no doi, url, html or pdf field, so no link.

Link
No doi, url, html or pdf field in the BibTeX entry.
Abstract
No abstract in the BibTeX entry.

BibTeX

@online{stan_ijcai2026,
  author       = {Pagliarini, Giovanni and Perrotta, Marco and Sciavicco, Guido and Stan, Ionel Eduard},
  title        = {From forests to minimal formulas: A logic-driven framework to explain ensemble models},
  year         = {2026},
  note         = {35th International Joint Conference on Artificial Intelligence, IJCAI 2026 (Manuscript under review)},
  keywords     = {underreview,preprint}
}
042026Under review

Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach

G. Badia, R. Monego, C. Noguera, A. Paparella, G. Sciavicco, I. E. Stan

Journal of Artificial Intelligence Research (Manuscript under review).

content/publications.bib — @online{stan_jair2026b}; venue from note, citation from note; no doi, url, html or pdf field, so no link.

Link
No doi, url, html or pdf field in the BibTeX entry.
Abstract
No abstract in the BibTeX entry.

BibTeX

@online{stan_jair2026b,
  author       = {Badia, Guillermo and Monego, Riccardo and Noguera, Charles and Paparella, Alberto and Sciavicco, Guido and Stan, Ionel Eduard},
  title        = {Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach},
  year         = {2026},
  note         = {Journal of Artificial Intelligence Research (Manuscript under review)},
  keywords     = {underreview,preprint}
}
052026Under review

Symbols and Neurons: A Review of Symbolic XAI in Deep Learning

I. E. Stan, G. Sciavicco, P. Napoletano

Journal of Artificial Intelligence Research (Manuscript under review).

content/publications.bib — @online{stan_jair2026}; venue from note, citation from note; no doi, url, html or pdf field, so no link.

Link
No doi, url, html or pdf field in the BibTeX entry.
Abstract
No abstract in the BibTeX entry.

BibTeX

@online{stan_jair2026,
  author       = {Stan, Ionel Eduard and Sciavicco, Guido and Napoletano, Paolo},
  title        = {Symbols and Neurons: A Review of Symbolic XAI in Deep Learning},
  year         = {2026},
  note         = {Journal of Artificial Intelligence Research (Manuscript under review)},
  keywords     = {underreview,preprint}
}
062026Under review

Towards Wearable Teleoperation for Human-to-Robot Teaching

I. E. Stan, D. Baiardi, S. Verga, G. Galimberti, P. Napoletano

IEEE Transactions on Human-Machine Systems (Manuscript under review).

content/publications.bib — @online{stan_thms2026}; venue from note, citation from note; no doi, url, html or pdf field, so no link.

Link
No doi, url, html or pdf field in the BibTeX entry.
Abstract
No abstract in the BibTeX entry.

BibTeX

@online{stan_thms2026,
  author       = {Stan, Ionel Eduard and Baiardi, Davide and Verga, Sergio and Galimberti, Gabriele and Napoletano, Paolo},
  title        = {Towards Wearable Teleoperation for Human-to-Robot Teaching},
  year         = {2026},
  note         = {IEEE Transactions on Human-Machine Systems (Manuscript under review)},
  keywords     = {underreview,preprint}
}
072025Journal

A Systematic Literature Review of Innovations, Challenges, and Future Directions in Telemonitoring and Wearable Health Technologies

I. E. Stan, D. D'Auria, P. Napoletano

IEEE Journal of Biomedical and Health Informatics, 1-22.

content/publications.bib — @article{11122906}; venue from journal, citation from journal, pages; link from doi.

Record
pages 1-22
DOI
10.1109/JBHI.2025.3598056
Abstract
No abstract in the BibTeX entry.

BibTeX

@ARTICLE{11122906,
  author={Stan, Ionel Eduard and D'Auria, Daniela and Napoletano, Paolo},
  journal={IEEE Journal of Biomedical and Health Informatics}, 
  title={A Systematic Literature Review of Innovations, Challenges, and Future Directions in Telemonitoring and Wearable Health Technologies}, 
  year={2025},
  volume={},
  number={},
  pages={1-22},
  keywords={Medical services;Artificial intelligence;Protocols;Interoperability;Usability;Data security;Data privacy;Wearable devices;Systematic literature review;Law;Telemonitoring;Wearable Devices;Systematic Review;Digital Health;AI in Healthcare;Interoperability;Data Privacy;PRISMA 2020},
  doi={10.1109/JBHI.2025.3598056}}
Open the paper by its DOI →
DOI ↗
082025Conference

Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic

P. Bellodi, P. Casavecchia, A. Paparella, G. Sciavicco, I. E. Stan

32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025, LIPIcs 355, 4:1–4:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/BellodiCPSS25}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 355, pages 4:1–4:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2025.4
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/time/BellodiCPSS25,
  author       = {Pietro Bellodi and
                  Pietro Casavecchia and
                  Alberto Paparella and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Thierry Vidal and
                  Przemyslaw Andrzej Walega},
  title        = {Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic},
  booktitle    = {32nd International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2025, Queen Mary University of London, UK, August 27-29, 2025},
  series       = {LIPIcs},
  volume       = {355},
  pages        = {4:1--4:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2025},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2025.4},
  doi          = {10.4230/LIPICS.TIME.2025.4},
  timestamp    = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl       = {https://dblp.org/rec/conf/time/BellodiCPSS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
092025Under review

Beyond Tabular Data: Feature Extraction and Selection for High-Dimensional Data

P. Cavina, F. Manzella, G. Pagliarini, G. Sciavicco, I. E. Stan

Elsevier Array (Manuscript under review).

content/publications.bib — @online{stan_array2025}; venue from note, citation from note; no doi, url, html or pdf field, so no link.

Link
No doi, url, html or pdf field in the BibTeX entry.
Abstract
No abstract in the BibTeX entry.

BibTeX

@online{stan_array2025,
  author       = {Cavina, Patrik and Manzella, Federico and Pagliarini, Giovanni and Sciavicco, Guido and Stan, Ionel Eduard},
  title        = {Beyond Tabular Data: Feature Extraction and Selection for High-Dimensional Data},
  year         = {2025},
  note         = {Elsevier Array (Manuscript under review)},
  keywords     = {underreview,preprint}
}
102025Software

ModalAssociationRules.jl

M. Milella, G. Pagliarini, G. Sciavicco, I. E. Stan

DROPS Artifacts.

content/publications.bib — @misc{DBLP:data/11/MilellaPSS25a}; venue from publisher, citation from publisher; link from doi.

DOI
10.4230/ARTIFACTS.24783
Abstract
No abstract in the BibTeX entry.

BibTeX

@misc{DBLP:data/11/MilellaPSS25a,
  author       = {Mauro Milella and
                  Giovanni Pagliarini and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  title        = {ModalAssociationRules.jl},
  publisher    = {{DROPS} Artifacts},
  year         = {2025},
  month        = oct,
  howpublished = {\url{https://doi.org/10.4230/artifacts.24783}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.4230/artifacts.24783},
  doi          = {10.4230/ARTIFACTS.24783},
  timestamp    = {Thu, 11 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/data/11/MilellaPSS25a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
112025Software

Sole.jl

M. Milella, G. Pagliarini, G. Sciavicco, I. E. Stan

DROPS Artifacts.

content/publications.bib — @misc{DBLP:data/11/MilellaPSS25}; venue from publisher, citation from publisher; link from doi.

DOI
10.4230/ARTIFACTS.24782
Abstract
No abstract in the BibTeX entry.

BibTeX

@misc{DBLP:data/11/MilellaPSS25,
  author       = {Mauro Milella and
                  Giovanni Pagliarini and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  title        = {Sole.jl},
  publisher    = {{DROPS} Artifacts},
  year         = {2025},
  month        = oct,
  howpublished = {\url{https://doi.org/10.4230/artifacts.24782}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.4230/artifacts.24782},
  doi          = {10.4230/ARTIFACTS.24782},
  timestamp    = {Thu, 11 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/data/11/MilellaPSS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
122025Conference

Temporal Association Rules from Motifs (Short Paper)

M. Milella, G. Pagliarini, G. Sciavicco, I. E. Stan

32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025, LIPIcs 355, 19:1–19:7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/MilellaPSS25}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 355, pages 19:1–19:7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2025.19
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/time/MilellaPSS25,
  author       = {Mauro Milella and
                  Giovanni Pagliarini and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Thierry Vidal and
                  Przemyslaw Andrzej Walega},
  title        = {Temporal Association Rules from Motifs (Short Paper)},
  booktitle    = {32nd International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2025, Queen Mary University of London, UK, August 27-29, 2025},
  series       = {LIPIcs},
  volume       = {355},
  pages        = {19:1--19:7},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2025},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2025.19},
  doi          = {10.4230/LIPICS.TIME.2025.19},
  timestamp    = {Tue, 21 Oct 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/MilellaPSS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
132024Conference

Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation

G. Badia, C. Noguera, A. Paparella, G. Sciavicco, I. E. Stan

31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024, LIPIcs 318, 7:1–7:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/BadiaNPSS24}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 318, pages 7:1–7:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2024.7
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/time/BadiaNPSS24,
  author       = {Guillermo Badia and
                  Carles Noguera and
                  Alberto Paparella and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Pietro Sala and
                  Michael Sioutis and
                  Fusheng Wang},
  title        = {Fitting's Style Many-Valued Interval Temporal Logic Tableau System:
                  Theory and Implementation},
  booktitle    = {31st International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2024, Montpellier, France, October 28-30, 2024},
  series       = {LIPIcs},
  volume       = {318},
  pages        = {7:1--7:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2024.7},
  doi          = {10.4230/LIPICS.TIME.2024.7},
  announced    = {2024-10-22T10:00:00+02:00},
  timestamp    = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl       = {https://dblp.org/rec/conf/time/BadiaNPSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
142024Conference

ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data

M. Milella, G. Pagliarini, G. Sciavicco, I. E. Stan

Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024, CEUR Workshop Proceedings 3811, 241–254. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/ictcs/MilellaPSS24}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3811, pages 241–254, CEUR-WS.org
url
https://ceur-ws.org/Vol-3811/paper150.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/ictcs/MilellaPSS24,
  author       = {Mauro Milella and
                  Giovanni Pagliarini and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Ugo de'Liguoro and
                  Matteo Palazzo and
                  Luca Roversi},
  title        = {ModalFP-Growth: Efficient Extraction of Modal Association Rules from
                  Non-Tabular Data},
  booktitle    = {Proceedings of the 25th Italian Conference on Theoretical Computer
                  Science, Torino, Italy, September 11-13, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3811},
  pages        = {241--254},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3811/paper150.pdf},
  announced    = {2024-07-22T09:00:00+02:00},
  timestamp    = {Thu, 07 Nov 2024 16:44:43 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MilellaPSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗
152024Journal

Neural-symbolic temporal decision trees for multivariate time series classification

G. Pagliarini, S. Scaboro, G. Serra, G. Sciavicco, I. E. Stan

Inf. Comput. 301, 105209.

content/publications.bib — @article{DBLP:journals/iandc/PagliariniSSSS24}; venue from journal, citation from journal, volume, pages; link from doi.

Record
volume 301, pages 105209
DOI
10.1016/J.IC.2024.105209
Abstract
No abstract in the BibTeX entry.

BibTeX

@article{DBLP:journals/iandc/PagliariniSSSS24,
  author       = {Giovanni Pagliarini and
                  Simone Scaboro and
                  Giuseppe Serra and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  title        = {Neural-symbolic temporal decision trees for multivariate time series
                  classification},
  journal      = {Inf. Comput.},
  volume       = {301},
  pages        = {105209},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.ic.2024.105209},
  doi          = {10.1016/J.IC.2024.105209},
  announced    = {2024-08-07T10:00:00+02:00},
  timestamp    = {Mon, 09 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PagliariniSSSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
162024Conference

On Modal Logic Formulae Minimization

G. Pagliarini, A. Paradiso, G. Sciavicco, I. E. Stan

Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024, CEUR Workshop Proceedings 3733. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/cilc/PagliariniPSS24}; venue from booktitle, citation from booktitle, series, volume, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3733, CEUR-WS.org
url
https://ceur-ws.org/Vol-3733/paper2.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/cilc/PagliariniPSS24,
  author       = {Giovanni Pagliarini and
                  Andrea Paradiso and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Emanuele De Angelis and
                  Maurizio Proietti},
  title        = {On Modal Logic Formulae Minimization},
  booktitle    = {Proceedings of the 39th Italian Conference on Computational Logic,
                  Rome, Italy, June 26-28, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3733},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3733/paper2.pdf},
  timestamp    = {Fri, 26 Jul 2024 13:58:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cilc/PagliariniPSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗
172024Conference

Symbolic Audio Classification via Modal Decision Tree Learning

E. Marzano, G. Pagliarini, R. Pasini, G. Sciavicco, I. E. Stan

Proceedings of the 3rd Italian Conference on Big Data and Data Science (ITADATA 2024), Pisa, Italy, September 17-19, 2024.

content/publications.bib — @inproceedings{marzano_itadata2024}; venue from booktitle, citation from booktitle; link from url.

url
https://arxiv.org/abs/2503.17018
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{marzano_itadata2024,
  author       = {Enrico Marzano and
                  Giovanni Pagliarini and
                  Riccardo Pasini and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  title        = {Symbolic Audio Classification via Modal Decision Tree Learning},
  booktitle    = {Proceedings of the 3rd Italian Conference on Big Data and Data Science
                  {(ITADATA} 2024), Pisa, Italy, September 17-19, 2024},
  year         = {2024},
  url          = {https://arxiv.org/abs/2503.17018},
  announced    = {2024-07-22T10:00:00+02:00},
  note         = {Report number {ITADATA/2024/03}; preprint arXiv:2503.17018},
}
Open the paper →
Paper ↗
182024Workshop

Towards Modern Rule-Based Learning

G. Pagliarini, E. Ponsanesi, G. Sciavicco, I. E. Stan

Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024, CEUR Workshop Proceedings 3904, 83–88. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/overlay/PagliariniPSS24}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3904, pages 83–88, CEUR-WS.org
url
https://ceur-ws.org/Vol-3904/paper10.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/overlay/PagliariniPSS24,
  author       = {Giovanni Pagliarini and
                  Edoardo Ponsanesi and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Daniele Porello and
                  Cosimo Vinci and
                  Matteo Zavatteri},
  title        = {Towards Modern Rule-Based Learning},
  booktitle    = {Short Paper Proceedings of the 6th International Workshop on Artificial
                  Intelligence and Formal Verification, Logic, Automata, and Synthesis,
                  {OVERLAY} 2024, Bolzano, Italy, November 28-29, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3904},
  pages        = {83--88},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  keywords     = {workshop},
  url          = {https://ceur-ws.org/Vol-3904/paper10.pdf},
  timestamp    = {Tue, 28 Jan 2025 16:22:22 +0100},
  biburl       = {https://dblp.org/rec/conf/overlay/PagliariniPSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗
192023Conference

(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data

P. Cavina, F. Manzella, G. Pagliarini, G. Sciavicco, I. E. Stan

Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023), Naples, Italy, September 11-13, 2023, CEUR Workshop Proceedings 3606. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/itadata/CavinaMPSS23}; venue from booktitle, citation from booktitle, series, volume, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3606, CEUR-WS.org
url
https://ceur-ws.org/Vol-3606/paper51.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper →
Paper ↗
202023Conference

A Post-Modern Approach to Automatic Metaphor Identification

D. Del Fante, F. Manzella, G. Sciavicco, I. E. Stan

Proceedings of the 9th Italian Conference on Computational Linguistics, Venice, Italy, November 30 - December 2, 2023, CEUR Workshop Proceedings 3596. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/clic-it/FanteMSS23}; venue from booktitle, citation from booktitle, series, volume, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3596, CEUR-WS.org
url
https://ceur-ws.org/Vol-3596/short9.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper →
Paper ↗
212023Conference

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic

W. Conradie, R. Monego, E. Muñoz-Velasco, G. Sciavicco, I. E. Stan

30th International Symposium on Temporal Representation and Reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25-26, 2023, LIPIcs 278, 9:1–9:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/ConradieMMSS23}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 278, pages 9:1–9:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2023.9
Abstract
No abstract in the BibTeX entry.

BibTeX

@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, {NCSR} Demokritos, Athens, Greece, September 25-26, 2023},
  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    = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl       = {https://dblp.org/rec/conf/time/ConradieMMSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
222023Conference

Efficient Modal Decision Trees

F. Manzella, G. Pagliarini, G. Sciavicco, I. E. Stan

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, Lecture Notes in Computer Science 14318, 381–395. Springer.

content/publications.bib — @inproceedings{DBLP:conf/aiia/ManzellaPSS23}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
Lecture Notes in Computer Science, volume 14318, pages 381–395, Springer
DOI
10.1007/978-3-031-47546-7_26
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper by its DOI →
DOI ↗
232023Conference

Evolutionary Explainable Rule Extraction from (Modal) Random Forests

M. Ghiotti, F. Manzella, G. Pagliarini, G. Sciavicco, I. E. Stan

ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), Frontiers in Artificial Intelligence and Applications 372, 827–834. IOS Press.

content/publications.bib — @inproceedings{DBLP:conf/ecai/ManzellaPSS23}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
Frontiers in Artificial Intelligence and Applications, volume 372, pages 827–834, IOS Press
DOI
10.3233/FAIA230350
Abstract
No abstract in the BibTeX entry.

BibTeX

@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    = {Wed, 15 Jan 2025 15:09:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/ManzellaPSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
242023Journal

Fuzzy Halpern and Shoham's interval temporal logics

W. Conradie, D. Della Monica, E. Muñoz-Velasco, G. Sciavicco, I. E. Stan

Fuzzy Sets Syst. 456, 107–124.

content/publications.bib — @article{DBLP:journals/fss/ConradieMMSS23}; venue from journal, citation from journal, volume, pages; link from doi.

Record
volume 456, pages 107–124
DOI
10.1016/J.FSS.2022.05.014
Abstract
No abstract in the BibTeX entry.

BibTeX

@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    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/ConradieMMSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
252023Workshop

Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas

G. Pagliarini, A. Paradiso, S. Rubin, G. Sciavicco, I. E. Stan

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, CEUR Workshop Proceedings 3629, 49–53. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/overlay/PagliariniPRSS23}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3629, pages 49–53, CEUR-WS.org
url
https://ceur-ws.org/Vol-3629/paper8.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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},
  keywords     = {workshop},
  url          = {https://ceur-ws.org/Vol-3629/paper8.pdf},
  timestamp    = {Wed, 07 Feb 2024 16:02:39 +0100},
  biburl       = {https://dblp.org/rec/conf/overlay/PagliariniPRSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗
262023Journal

Statistical Rule Extraction for Gas Turbine Trip Prediction

G. Bechini, E. Losi, L. Manservigi, G. Pagliarini, G. Sciavicco, I. E. Stan, M. Venturini

Journal of Engineering for Gas Turbines and Power 145(5), 051017.

content/publications.bib — @article{10.1115/1.4056287}; venue from journal, citation from journal, volume, number, pages; link from doi.

Record
volume 145, number 5, pages 051017
DOI
10.1115/1.4056287
Abstract
No abstract in the BibTeX entry.

BibTeX

@article{10.1115/1.4056287,
    author = {Bechini, Giovanni and Losi, Enzo and Manservigi, Lucrezia and Pagliarini, Giovanni and Sciavicco, Guido and Stan, Ionel Eduard and Venturini, Mauro},
    title = {Statistical Rule Extraction for Gas Turbine Trip Prediction},
    journal = {Journal of Engineering for Gas Turbines and Power},
    volume = {145},
    number = {5},
    pages = {051017},
    year = {2023},
    issn = {0742-4795},
    doi = {10.1115/1.4056287},
    url = {https://doi.org/10.1115/1.4056287},
}
Open the paper by its DOI →
DOI ↗
272023Journal

The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests

F. Manzella, G. Pagliarini, G. Sciavicco, I. E. Stan

Artif. Intell. Medicine 137, 102486.

content/publications.bib — @article{DBLP:journals/artmed/ManzellaPSS23}; venue from journal, citation from journal, volume, pages; link from doi.

Record
volume 137, pages 102486
DOI
10.1016/J.ARTMED.2022.102486
Abstract
No abstract in the BibTeX entry.

BibTeX

@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    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/ManzellaPSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
282022Conference

Decision Trees with a Modal Flavor

D. Della Monica, G. Pagliarini, G. Sciavicco, I. E. Stan

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, Lecture Notes in Computer Science 13796, 47–59. Springer.

content/publications.bib — @inproceedings{DBLP:conf/aiia/MonicaPSS22}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
Lecture Notes in Computer Science, volume 13796, pages 47–59, Springer
DOI
10.1007/978-3-031-27181-6_4
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper by its DOI →
DOI ↗
292022Workshop

Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction

M. Milella, G. Pagliarini, A. Paradiso, I. E. Stan

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, CEUR Workshop Proceedings 3311, 81–85. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/aiia/MilellaPPS22}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3311, pages 81–85, CEUR-WS.org
url
https://ceur-ws.org/Vol-3311/paper13.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@inproceedings{DBLP:conf/aiia/MilellaPPS22,
  author       = {Mauro Milella and
                  Giovanni Pagliarini and
                  Andrea Paradiso and
                  Ionel Eduard Stan},
  editor       = {Luca Geatti and
                  Guido Sciavicco and
                  Alessandro Umbrico},
  title        = {Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic
                  Formulas Induction},
  booktitle    = {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},
  pages        = {81--85},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  keywords     = {workshop},
  url          = {https://ceur-ws.org/Vol-3311/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/MilellaPPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗
302022Conference

Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification

G. Pagliarini, S. Scaboro, G. Serra, G. Sciavicco, I. E. Stan

29th International Symposium on Temporal Representation and Reasoning, TIME 2022, Virtual Conference, November 7-9, 2022, LIPIcs 247, 13:1–13:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/PagliariniS0SS22}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 247, pages 13:1–13:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2022.13
Abstract
No abstract in the BibTeX entry.

BibTeX

@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, Virtual Conference, November 7-9, 2022},
  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    = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl       = {https://dblp.org/rec/conf/time/PagliariniS0SS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
312022Conference

On Modal Logic Association Rule Mining

I. E. Stan, G. Sciavicco, E. Muñoz-Velasco, G. Pagliarini, M. Milella, A. Paradiso

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022, CEUR Workshop Proceedings 3284, 53–65. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/ictcs/StanSMPMP22}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 3284, pages 53–65, CEUR-WS.org
url
https://ceur-ws.org/Vol-3284/492.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper →
Paper ↗
322021Journal

Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling

E. Lucena-Sánchez, G. Sciavicco, I. E. Stan

Algorithms 14(3), 76.

content/publications.bib — @article{DBLP:journals/algorithms/Lucena-SanchezS21}; venue from journal, citation from journal, volume, number, pages; link from doi.

Record
volume 14, number 3, pages 76
DOI
10.3390/A14030076
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper by its DOI →
DOI ↗
332021Conference

Interval Temporal Random Forests with an Application to COVID-19 Diagnosis

F. Manzella, G. Pagliarini, G. Sciavicco, I. E. Stan

28th International Symposium on Temporal Representation and Reasoning, TIME 2021, Klagenfurt, Austria, September 27-29, 2021, LIPIcs 206, 7:1–7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/ManzellaPSS21}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 206, pages 7:1–7:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2021.7
Abstract
No abstract in the BibTeX entry.

BibTeX

@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, Klagenfurt, Austria, September 27-29, 2021},
  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    = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl       = {https://dblp.org/rec/conf/time/ManzellaPSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
342021Workshop

Multi-Frame Modal Symbolic Learning

G. Pagliarini, G. Sciavicco, I. E. Stan

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, CEUR Workshop Proceedings 2987, 37–41. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/gandalf/PagliariniSS21}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 2987, pages 37–41, CEUR-WS.org
url
https://ceur-ws.org/Vol-2987/paper7.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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},
  keywords     = {workshop},
  url          = {https://ceur-ws.org/Vol-2987/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:43 +0100},
  biburl       = {https://dblp.org/rec/conf/gandalf/PagliariniSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗
352020Workshop

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking

D. Della Monica, A. Montanari, G. Sciavicco, I. E. Stan

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, CEUR Workshop Proceedings 2785, 11–15. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/overlay/MonicaMSS20}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 2785, pages 11–15, CEUR-WS.org
url
https://ceur-ws.org/Vol-2785/paper2.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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},
  keywords     = {workshop},
  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}
}
Open the paper →
Paper ↗
362020Conference

Knowledge Extraction with Interval Temporal Logic Decision Trees

G. Sciavicco, I. E. Stan

27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020, LIPIcs 178, 9:1–9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

content/publications.bib — @inproceedings{DBLP:conf/time/SciaviccoS20}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
LIPIcs, volume 178, pages 9:1–9:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPICS.TIME.2020.9
Abstract
No abstract in the BibTeX entry.

BibTeX

@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, Bozen-Bolzano, Italy, September 23-25, 2020},
  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    = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl       = {https://dblp.org/rec/conf/time/SciaviccoS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
372020Conference

Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling

J. Kaminska, E. Lucena-Sánchez, G. Sciavicco, I. E. Stan

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, CEUR Workshop Proceedings 2644, 42–57. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/ruleml/KaminskaLSS20}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 2644, pages 42–57, CEUR-WS.org
url
https://ceur-ws.org/Vol-2644/paper11.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper →
Paper ↗
382020Workshop

Symbolic Learning with Interval Temporal Logic: the Case of Regression

E. Lucena-Sánchez, G. Sciavicco, I. E. Stan

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, CEUR Workshop Proceedings 2785, 5–9. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/overlay/Lucena-SanchezS20}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 2785, pages 5–9, CEUR-WS.org
url
https://ceur-ws.org/Vol-2785/paper1.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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},
  keywords     = {workshop},
  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}
}
Open the paper →
Paper ↗
392020Conference

Time Series Checking with Fuzzy Interval Temporal Logics

W. Conradie, D. Della Monica, E. Muñoz-Velasco, G. Sciavicco, I. E. Stan

Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020, CEUR Workshop Proceedings 2756, 250–262. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/ictcs/ConradieMMSS20}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 2756, pages 250–262, CEUR-WS.org
url
https://ceur-ws.org/Vol-2756/paper_29.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper →
Paper ↗
402019Conference

Interval Temporal Logic Decision Tree Learning

A. Brunello, G. Sciavicco, I. E. Stan

Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, Lecture Notes in Computer Science 11468, 778–793. Springer.

content/publications.bib — @inproceedings{DBLP:conf/jelia/BrunelloSS19}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
Lecture Notes in Computer Science, volume 11468, pages 778–793, Springer
DOI
10.1007/978-3-030-19570-0_50
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper by its DOI →
DOI ↗
412019Journal

On coarser interval temporal logics

E. Muñoz-Velasco, M. Pelegrín-García, P. Sala, G. Sciavicco, I. E. Stan

Artif. Intell. 266, 1–26.

content/publications.bib — @article{DBLP:journals/ai/Munoz-VelascoPS19}; venue from journal, citation from journal, volume, pages; link from doi.

Record
volume 266, pages 1–26
DOI
10.1016/J.ARTINT.2018.09.001
Abstract
No abstract in the BibTeX entry.

BibTeX

@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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Munoz-VelascoPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper by its DOI →
DOI ↗
422019Conference

Towards a General Method for Logical Rule Extraction from Time Series

G. Sciavicco, I. E. Stan, A. Vaccari

From Bioinspired Systems and Biomedical Applications to Machine Learning - 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II, Lecture Notes in Computer Science 11487, 3–12. Springer.

content/publications.bib — @inproceedings{DBLP:conf/iwinac/SciaviccoSV19}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from doi.

Record
Lecture Notes in Computer Science, volume 11487, pages 3–12, Springer
DOI
10.1007/978-3-030-19651-6_1
Abstract
No abstract in the BibTeX entry.

BibTeX

@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}
}
Open the paper by its DOI →
DOI ↗
432019Workshop

Towards Interval Temporal Logic Rule-Based Classification

E. Lucena-Sánchez, E. Muñoz-Velasco, G. Sciavicco, I. E. Stan, A. Vaccari

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, CEUR Workshop Proceedings 2509, 65–70. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/aiia/Lucena-SanchezM19}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 2509, pages 65–70, CEUR-WS.org
url
https://ceur-ws.org/Vol-2509/paper10.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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},
  keywords     = {workshop},
  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}
}
Open the paper →
Paper ↗
442017Conference

Implementation of a Tableau-based Satisfiability Checker for HS3

E. Muñoz-Velasco, G. Sciavicco, I. E. Stan

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, CEUR Workshop Proceedings 1949, 326–340. CEUR-WS.org.

content/publications.bib — @inproceedings{DBLP:conf/ictcs/Munoz-VelascoSS17}; venue from booktitle, citation from booktitle, series, volume, pages, publisher; link from url.

Record
CEUR Workshop Proceedings, volume 1949, pages 326–340, CEUR-WS.org
url
https://ceur-ws.org/Vol-1949/CILCpaper09.pdf
Abstract
No abstract in the BibTeX entry.

BibTeX

@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 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/Munoz-VelascoSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
Open the paper →
Paper ↗

content/publications.bib — 44 entries parsed at build, shown here newest first. Every row is one entry: the number is its position in this order, the type is its BibTeX entry type, and everything under an open row is that entry's own text. Nothing on this page is transcribed by hand.

21 conference, 8 journal, 7 workshop, 6 under review, 2 software. 0 of 44 entries carry an abstract; the rest show their record only. The four orders are four static pages — /publications/, /publications/year-asc/, /publications/type/ and /publications/title/ — so ordering the index needs no JavaScript.