Galileo Sartor

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

Collaborative distances:

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

2025

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

Galileo Sartor, Adam Wyner, Giuseppe Contissa

CoRR, February, 2025

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