Eleonora Giunchiglia : Publications
-
[1]
PiShield: A NeSy Framework for Learning with Requirements
Mihaela Cătălina Stoian‚ Alex Tatomir‚ Eleonora Giunchiglia and Thomas Lukasiewicz
In Proceedings of the 33rd International Joint Conference on Artificial Intelligence‚ IJCAI 2024‚ Demos‚ Jeju Island‚ South Korea‚ August 3–9‚ 2024. ijcai.org. August, 2024.
Details about PiShield: A NeSy Framework for Learning with Requirements | BibTeX data for PiShield: A NeSy Framework for Learning with Requirements
-
[2]
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data
Mihaela Catalina Stoian‚ Salijona Dyrmishi‚ Maxime Cordy‚ Thomas Lukasiewicz and Eleonora Giunchiglia
In Proceedings of the 12th International Conference on Learning Representations‚ ICLR 2024‚ Vienna‚ Austria‚ 7–11 May 2024. May, 2024.
Details about How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data | BibTeX data for How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data
-
[3]
Machine Learning with Requirements: A Manifesto
Eleonora Giunchiglia‚ Fergus Imrie‚ Mihaela van der Schaar and Thomas Lukasiewicz
In Neurosymbolic Artificial Intelligence. 2024.
In press.
Details about Machine Learning with Requirements: A Manifesto | BibTeX data for Machine Learning with Requirements: A Manifesto | Link to Machine Learning with Requirements: A Manifesto
-
[4]
CCN+: A Neuro−symbolic Framework for Deep Learning with Requirements
Eleonora Giunchiglia‚ Alex Tatomir‚ Mihaela Catalina Stoian and Thomas Lukasiewicz
In International Journal of Approximate Reasoning. 2024.
In press.
Details about CCN+: A Neuro−symbolic Framework for Deep Learning with Requirements | BibTeX data for CCN+: A Neuro−symbolic Framework for Deep Learning with Requirements | Link to CCN+: A Neuro−symbolic Framework for Deep Learning with Requirements
-
[5]
Exploiting T−norms for Deep Learning in Autonomous Driving
Mihaela Catalina Stoian‚ Eleonora Giunchiglia and Thomas Lukasiewicz
In Artur S. d'Avila Garcez‚ Tarek R. Besold‚ Marco Gori and Ernesto Jiménez−Ruiz, editors, Proceedings of the 17th International Workshop on Neural−Symbolic Learning and Reasoning‚ NeSy 2023‚ La Certosa di Pontignano‚ Siena‚ Italy‚ 3–5 July 2023. Pages 369–380. July, 2023.
Details about Exploiting T−norms for Deep Learning in Autonomous Driving | BibTeX data for Exploiting T−norms for Deep Learning in Autonomous Driving
-
[6]
ROAD−R: The Autonomous Driving Dataset with Logical Requirements
Eleonora Giunchiglia‚ Mihaela Catalina Stoian‚ Salman Khan‚ Fabio Cuzzolin and Thomas Lukasiewicz
In Machine Learning. May, 2023.
Details about ROAD−R: The Autonomous Driving Dataset with Logical Requirements | BibTeX data for ROAD−R: The Autonomous Driving Dataset with Logical Requirements | Link to ROAD−R: The Autonomous Driving Dataset with Logical Requirements
-
[7]
To TTP or not to TTP?: Exploiting TTPs to Improve ML−based Malware Detection
Yashovardhan Sharma‚ Eleonora Giunchiglia‚ Simon Birnbach and Ivan Martinovic
In 2023 IEEE International Conference on Cyber Security and Resilience (CSR). Pages 8−15. 2023.
Details about To TTP or not to TTP?: Exploiting TTPs to Improve ML−based Malware Detection | BibTeX data for To TTP or not to TTP?: Exploiting TTPs to Improve ML−based Malware Detection | DOI (10.1109/CSR57506.2023.10225000)
-
[8]
Deep Learning with Logical Constraints
Eleonora Giunchiglia‚ Mihaela Catalina Stoian and Thomas Lukasiewicz
In Luc De Raedt, editor, Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence‚ IJCAI−ECAI 2022‚ Survey Track‚ Vienna‚ Austria‚ July 23−29‚ 2022. Pages 5478–5485. IJCAI/AAAI Press. July, 2022.
Details about Deep Learning with Logical Constraints | BibTeX data for Deep Learning with Logical Constraints | Link to Deep Learning with Logical Constraints
-
[9]
Multi−Label Classification Neural Networks with Hard Logical Constraints
Eleonora Giunchiglia and Thomas Lukasiewicz
In Journal of Artificial Intelligence Research. Vol. 72. Pages 759–818. November, 2021.
Details about Multi−Label Classification Neural Networks with Hard Logical Constraints | BibTeX data for Multi−Label Classification Neural Networks with Hard Logical Constraints | Link to Multi−Label Classification Neural Networks with Hard Logical Constraints
-
[10]
Lightweight Visual Question Answering using Scene Graphs
Vidyaranya Sai Nuthalapati‚ Ramraj Chandradevan‚ Eleonora Giunchiglia‚ Bowen Li‚ Maxime Kayser‚ Thomas Lukasiewicz and Carl Yang
In Proceedings of the 30th International Conference on Information and Knowledge Management‚ CIKM 2021‚ Gold Coast‚ Queensland‚ Australia‚ November 1–5‚ 2021. ACM Press. November, 2021.
Details about Lightweight Visual Question Answering using Scene Graphs | BibTeX data for Lightweight Visual Question Answering using Scene Graphs | Link to Lightweight Visual Question Answering using Scene Graphs
-
[11]
Coherent Hierarchical Multi−Label Classification Networks
Eleonora Giunchiglia and Thomas Lukasiewicz
In Proceedings of the 34th Annual Conference on Neural Information Processing Systems‚ NeurIPS 2020‚ December 6–12‚ 2020. December, 2020.
Details about Coherent Hierarchical Multi−Label Classification Networks | BibTeX data for Coherent Hierarchical Multi−Label Classification Networks | Link to Coherent Hierarchical Multi−Label Classification Networks
-
[12]
Knowledge Graph Extraction from Videos
Louis Mahon‚ Eleonora Giunchiglia‚ Bowen Li and Thomas Lukasiewicz
In Proceedings of the IEEE 2020 International Conference on Machine Learning and Applications‚ ICMLA 2020‚ Miami‚ Florida‚ December 14−17‚ 2020. Pages 25–32. IEEE. December, 2020.
Details about Knowledge Graph Extraction from Videos | BibTeX data for Knowledge Graph Extraction from Videos | Link to Knowledge Graph Extraction from Videos
-
[13]
Can I Trust the Explainer? Verifying Post−hoc Explanatory Methods
Oana−Maria Camburu‚ Eleonora Giunchiglia‚ Jakob Foerster‚ Thomas Lukasiewicz and Phil Blunsom
2019.
Details about Can I Trust the Explainer? Verifying Post−hoc Explanatory Methods | BibTeX data for Can I Trust the Explainer? Verifying Post−hoc Explanatory Methods | Link to Can I Trust the Explainer? Verifying Post−hoc Explanatory Methods