Galileo Sartor

According to our database, Galileo Sartor authored at least 17 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Plans and Diversions EA.

Galileo Sartor, Guido Governatori, Giuseppe Pisano, Antonino Rotolo, Adam Wyner

Proceedings of the Legal Knowledge and Information Systems, 2025

A Legal Logic Programming Framework for Autonomous Vehicles.

Galileo Sartor, Adam Z. Wyner

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Teaching Prolog and Logic Programming with Jupyter Notebooks.

Galileo Sartor, Adam Z. Wyner

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

You Take the High Road, and I'll Take the Low Road: Large Language Models Logical English and the Highway Code.

Thiago Raulino Dal Pont, Galileo Sartor, Adam Z. Wyner, Giovanni Sartor

Proceedings of the Twentieth International Conference on Artificial Intelligence and Law, 2025

"Lost in EU Regulation? Don't Worry, AI Found the Obligation": Extracting and Representing Legal Obligations in the GDPR the DSA and the AI Act.

Thiago Raulino Dal Pont, Federico Galli, Galileo Sartor, Giuseppe Contissa

Proceedings of the Twentieth International Conference on Artificial Intelligence and Law, 2025

2024

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles.

Galileo Sartor, Adam Wyner, Giuseppe Contissa

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

Multilingual logical English for double taxation conventions.

Giuseppe Contissa, Alessia Fidelangeli, Galileo Sartor

Proceedings of the Joint Ontology Workshops (JOWO), 2024

2023

Logical English for Law and Education.

Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo

Proceedings of the Prolog: The Next 50 Years, 2023

Pervasive Computational Law.

Clement Guitton, Aurelia Tamò-Larrieux, Simon Mayer, Kevin D. Ashley, Matthias Grabmair, Galileo Sartor, Giovanni Sartor, Gijs van Dijck

IEEE Pervasive Comput., 2023

(Re)Integration of Logical English and s(CASP).

Galileo Sartor, Jacinto A. Dávila, Alessia Fidelangeli, Giuseppe Pisano

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Chasing the Invisible in the Grammar of Repetitions: A Network Analysis Approach to Fiscal State Aids.

Galileo Sartor, Piera Santin, Luigi Di Caro

Proceedings of the 6th Workshop on Automated Semantic Analysis of Information in Legal Text co-located with the 19th International Conference on Artificial Intelligence and Law (ICAIL 2023), 2023

2022

Integration of Logical English and s(CASP).

Galileo Sartor, Jacinto A. Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Automated Extraction and Representation of Citation Network: A CJEU Case-Study.

Galileo Sartor, Piera Santin, Davide Audrito, Emilio Sulis, Luigi Di Caro

Proceedings of the Advances in Conceptual Modeling, 2022

2021

Explainability Through Argumentation in Logic Programming.

Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Modular Logic Argumentation in Arg-tuProlog.

Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2020

Arg-tuProlog: A Modular Logic Argumentation Tool for PIL.

Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2020

Legal Knowledge Representation in the Domain of Private International Law?

Giuseppe Contissa, Galileo Sartor

Proceedings of the First International Forum on Digital and Democracy. Towards A Sustainable Evolution 2020, 2020