% PhDAI template version 0.30 June 2026
%
% June 2026 UNIMORE now admits the use of the logo
%
% March 2025 A Word template is available in the .zip tailored to jurists
%
% December 2025 A PNRR command is available for PNRR-funded scholarships of the 38 cycle
%
% Admissible changes to the template
% ____________
% change page height or page width +/- 5%
% use an interlinea of up to 1.1 max
% remove Parts
% bibliographic reference and citation styles:
%    natbib, abbrvnat is default
%    natbib, author-year is available
%    natbib/biblatex + other styles commonly used in a sub-field of AI are ok
% use any package for algorithms, listings, figures, plots
%
% Not Admissible changes to the template
% ____________
% change in fonts type and size
% change in page layout
% change in the front page structure
% moving "Publications" as a separate Section
%
% For any doubt, write to secretariat-ai-society@phd-ai.it
%

\documentclass[a4paper,twoside,openright]{book}
%
%%% Packages
% English
\usepackage[english]{babel}
% Biblio
\usepackage[fixlanguage]{babelbib}
\usepackage[nottoc]{tocbibind}
% Conditional LaTeX
\usepackage{ifthen}
\newboolean{hostUNIPI}
\setboolean{hostUNIPI}{false}
\newboolean{pnrr351}
\setboolean{pnrr351}{false}
\newboolean{pnrr352}
\setboolean{pnrr352}{false}
% Text font
\usepackage[fontsize=12pt]{scrextend}
\usepackage[osf]{libertinus}
% Encoding
\usepackage[utf8]{inputenc} 
\usepackage[T1]{fontenc}
% For images
\usepackage{graphicx}
% change imgs/ to the path of your imgs
\graphicspath{{logos/}{imgs/}}
\usepackage{graphbox}
% Margins
\usepackage[a4paper,top=3cm,bottom=3cm,left=3cm,right=3cm]{geometry}
% For rotating images
\usepackage{rotating}
% For page header
\usepackage{fancyhdr}
% Hyperlinks
%\usepackage[hidelinks]{hyperref} 
\usepackage{hyperref,bookmark}
\hypersetup{
    colorlinks,
    citecolor=blue,
    filecolor=black,
    linkcolor=black,
    urlcolor=blue
}
% For quotes
\usepackage{epigraph}
% Prevents page numbers/headings from appearing on empty pages
\usepackage{emptypage}
% Math libraries
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{bbm}
% For colors
\usepackage{xcolor}
% For DAGs
\usepackage{float}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usetikzlibrary{shapes.geometric}
\usepackage{caption}
\usepackage{subcaption}
% For block quotes
\usepackage{csquotes}
% For tables
\usepackage{booktabs}
% For algorithms
\usepackage[algo2e, ruled]{algorithm2e}
\usepackage[noend]{algpseudocode}
% For Biblio
\usepackage[sort,square,numbers]{natbib}
\bibliographystyle{abbrvnat}
% Uncomment for author-year citations
%\setcitestyle{authoryear,open={(},close={)}}
\usepackage{bibentry}
% If document is split among several files
\usepackage{subfiles} % Best loaded last in the preamble

% maximum interlinea is 1.1
%\renewcommand{\baselinestretch}{1.1}


% for dummy text, can remove when not used
\usepackage{lipsum} 

% Header style for main body
\pagestyle{fancy}
\fancyhf{}
\lhead{\scshape\nouppercase{\rightmark}}
\rhead{\textbf{\thepage}}
\fancyfoot{}
\setlength{\headheight}{15pt}

% Header style for frontmatter
\fancypagestyle{plain}
{
  \fancyhf{}
  \renewcommand\headrulewidth{0pt}
  \renewcommand\footrulewidth{0pt}
  \fancyfoot[C]{\thepage}
}

%%% NEW COMMANDS/OPERATORS
\DeclareMathOperator*{\argmin}{arg\,min}
% add a blank page
\def\blankpage{%
    \clearpage%
    \thispagestyle{empty}%
    \addtocounter{page}{-1}%
    \null%
    \clearpage}

% Theorems
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{remark}{Remark}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{example}{Example}[section]

%%%

% uncomment next line if host institution is UNIPI
%\setboolean{hostUNIPI}{true}

% uncomment next line if scholarship funded by PNRR d.m. 351/2022
%\setboolean{pnrr351}{true}

% uncomment next line if scholarship funded by PNRR d.m. 352/2022
%\setboolean{pnrr352}{true}

%%%
\begin{document}

%*******************************************************
% Front
%*******************************************************

\begin{titlepage}
\centering

\ifthenelse{\boolean{pnrr351} \OR \boolean{pnrr352}}{
\includegraphics[width=\textwidth]{pnrr.png}
%\vspace{0.3cm}
}{}

\ifthenelse{\boolean{hostUNIPI}}{
    % host institution is UNIPI
    \includegraphics[width=0.35\textwidth]{logo_UNIPI} 
} { % else
    % host institution is not UNIPI
    \begin{minipage}[c]{0.49\textwidth}
    \raggedright
    \includegraphics[width=0.7\textwidth]{logo_UNIPI}    
    \end{minipage}
    \begin{minipage}[c]{0.49\textwidth}
    \raggedleft
    % uncomment the host institution logo (do not change the width)
    \includegraphics[width=1\textwidth]{logo_CNR}
    %\includegraphics[width=.35\textwidth]{logo_FBK}
    %\includegraphics[width=0.95\textwidth]{logo_GSSI}
    %\includegraphics[width=0.74\textwidth]{logo_IMT}
    %\includegraphics[width=0.69\textwidth]{logo_INDAM}
    %\includegraphics[width=1\textwidth]{logo_INFN}
    %\includegraphics[width=0.76\textwidth]{logo_SNS}
    %\includegraphics[width=1\textwidth]{logo_SSSA}
    %\includegraphics[width=1\textwidth]{logo_UNIBA}
    %\includegraphics[width=0.54\textwidth]{logo_UNIBO}
    %\includegraphics[width=0.85\textwidth]{logo_UNICATT}
    %\includegraphics[width=0.80\textwidth]{logo_UNIFI}
    %\includegraphics[width=0.9\textwidth]{logo_UNIME}
    %    \includegraphics[width=1\textwidth]{logo_UNIMORE}
    %\includegraphics[width=1\textwidth]{logo_UNIOR}
    %\includegraphics[width=.85\textwidth]{logo_UNIPA}
    %\includegraphics[width=0.78\textwidth]{logo_UNIPG}
    %\includegraphics[width=0.95\textwidth]{logo_UNISALENTO}
    %\includegraphics[width=0.9\textwidth]{logo_UNISI}
    %\includegraphics[width=0.8\textwidth]{logo_UNISS}
    %\includegraphics[width=0.9\textwidth]{logo_UNITN}
    %\includegraphics[width=0.95\textwidth]{logo_UNITS}
    %\includegraphics[width=0.7\textwidth]{logo_UNIVAQ}
    \end{minipage}
} % end ifthenelse

    \vspace{1.8cm}

    % Unipi is fixed
    {\Large \textsc{Università di Pisa}\par}
    \vspace{0.3cm}

\ifthenelse{\boolean{hostUNIPI}}{
    \mbox{}\\
} { % else
    % uncomment the host institution
    {\Large \textsc{Consiglio Nazionale delle Ricerche}\par}
    %{\Large \textsc{Fondazione Bruno Kessler}\par}
    %{\Large \textsc{Gran Sasso Science Institute}\par}
    %{\Large \textsc{Scuola IMT Alti Studi Lucca}\par}
    %{\Large \textsc{Istituto Nazionale di Alta Matematica}\par}
    %{\Large \textsc{Istituto Nazionale di Fisica Nucleare}\par}    
    %{\Large \textsc{Scuola Normale Superiore}\par}
    %{\Large \textsc{Scuola Superiore Sant'Anna}\par}
    %{\Large \textsc{Università degli Studi di Bari Aldo Moro}\par}
    %{\Large \textsc{Alma Mater Studiorum - Università di Bologna}\par}
    %{\Large \textsc{Università Cattolica del Sacro Cuore}\par}
    %{\Large \textsc{Università degli Studi di Firenze}\par}
    %{\Large \textsc{Università degli Studi di Messina}\par}    
    %{\Large \textsc{Università degli Studi di Modena e Reggio Emilia}\par}
    %{\Large \textsc{Università degli Studi di Napoli ``L’Orientale''}\par}
    %{\Large \textsc{Università degli Studi di Palermo}\par}
    %{\Large \textsc{Università degli Studi di Perugia}\par}
    %{\Large \textsc{Università del Salento}\par}
    %{\Large \textsc{Università di Siena}\par}
    %{\Large \textsc{Università degli Studi di Sassari}\par}
    %{\Large \textsc{Università degli Studi di Trieste}\par}    
    %{\Large \textsc{Università di Trento}\par}
    %{\Large \textsc{Università degli Studi dell'Aquila}\par}
} % end ifthenelse
     
    \vspace{0.3cm}
    {\Large \textbf{National Ph.D. in Artificial Intelligence}\par}
    \vspace{0.3cm}
    {\normalfont \textit{XXXVIII cycle} \par}
    \vspace{2.3cm}
    
    {\normalfont\bfseries\boldmath\LARGE
    \begin{center}
        This is the Title of Thesis:\\ 
        This is the Continuation of the Title
    \end{center}
    }	
	
    \vspace{3.9cm}
	
    \begin{minipage}[t]{0.45\textwidth}
    \centering
        \large
        \textbf{Candidate}\par
        Name and Surname\par
    \end{minipage}
    \hfill
    \begin{minipage}[t]{0.45\textwidth}
    \centering
        \large
        \textbf{Supervisors}\par
        Prof. Name and Surname\par
        Prof. Name and Surname\par
    \end{minipage}


    \vfill
    Thesis submitted in partial fulfillment of the requirements for the degree of \par
    Doctor of Philosophy in Artificial Intelligence
\end{titlepage}

\newpage

\frontmatter

\thispagestyle{empty}
\phantomsection 

\vspace*{3cm}
\medskip

\begin{flushright}
    \emph{Here it goes the dedication,
    \\ \medskip
    to the people you want,
    \\ \medskip
    to mention}.
\end{flushright}

\setcounter{page}{-1}
\chapter{Summary}
A one-page summary of the objectives and contributions of the thesis.

\lipsum[1-4]

\chapter{Acknowledgements}
%\phantomsection
A one-page acks to the people you want to mention.

\lipsum[1-4]

\tableofcontents

%*******************************************************
% Main
%*******************************************************

\mainmatter
% Plain page styple for main body
\fancypagestyle{plain}{
  \fancyfoot{}
  \fancyhead{}
  \renewcommand{\headrulewidth}{0pt}
}

%*******************************************************
\chapter{Introduction}
\label{ch.Introduction}

% optional quote
\epigraph{\it Your preferred citation quote here
}
{\sc Author of the quote}

The organization of the introduction into sections reported in this template is only a suggestion. The only mandatory requirement is to have a subsection with Publications.

\section{Motivations and Challenges}

\lipsum[2-4]

\section{Research Questions}

\lipsum[2-4]

\section{Contributions}

\lipsum[1-5]

\section{Publications}

We list below the journal and conference papers that form the basis of this thesis published by the time of writing:
%
\begin{itemize}
\nobibliography*
    \item \cite{DBLP:journals/ethicsit/AlvarezCEFFFGMPLRSSZR24} \bibentry{DBLP:journals/ethicsit/AlvarezCEFFFGMPLRSSZR24}.
    %    
    \item \cite{DBLP:conf/aaai/Ruggieri0PST23} \bibentry{DBLP:conf/aaai/Ruggieri0PST23}.
    %
    \item \cite{DBLP:journals/datamine/GuidottiMRNTPG24} \bibentry{DBLP:journals/datamine/GuidottiMRNTPG24}.
    %
    \item \cite{DBLP:journals/ijdsa/LazzariAR22} \bibentry{DBLP:journals/ijdsa/LazzariAR22}.
 \end{itemize}
%
We also include a list of papers under submission at the time of writing:
%
\begin{itemize}
\nobibliography*
    \item \cite{DBLP:journals/corr/abs-2401-12708} \bibentry{DBLP:journals/corr/abs-2401-12708}.
    %
    \item \cite{DBLP:journals/corr/abs-2410-10502} \bibentry{DBLP:journals/corr/abs-2410-10502}.
\end{itemize}
%
We will highlight when a chapter or (sub)section of a chapter is based on a published work.
%
The following other publications during the PhD studies do not contribute to the contents of this thesis: \citet{DBLP:conf/bigdataconf/ZhaoBRK23}, and \citet{DBLP:conf/xai/StateRT23}.

\citet{DBLP:conf/bigdataconf/ZhaoBRK23} studies a reweighting methods for enforcing cusal fairness effects in neural networks, while \citet{DBLP:conf/xai/StateRT23} is an interdisciplinary approach to elicit requirements for explainability methods based on logics.


% Remove if you do not use parts
\part{Title of the First Part}

%*******************************************************
\chapter{Title of the Chapter}

\lipsum[3-4]

\section{Title of the Section}

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]

% Remove if you do not use parts
\part{Title of the Second Part}
%*******************************************************
\chapter{Title of the Chapter}\label{ch.1}

This chapter is based on the conference paper: \bibentry{CST23}.
\medskip

\lipsum[3-4]

\section{Title of the Section}

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]

%*******************************************************
\chapter{Title of another Chapter}\label{ch.2}

This chapter is based on the journal paper, \bibentry{DBLP:journals/ijdsa/LazzariAR22}, and the conference paper, \bibentry{CST23}.
\medskip

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]

\section{Title of the Section}

\lipsum[1-4]


% Remove if you do not use parts
\part{Title of the Third Part}

\chapter{Conclusion}

The organization of the conclusions chapter into the sections reported in this template is only a suggestion.

\section{Contributions}
\lipsum[1-4]

\section{Limitations}
\lipsum[1-4]

\section{Open Research Directions}
\lipsum[1-4]

% remove if no figures
\listoffigures
% remove if no tables
\listoftables

% Bibliography
\bibliography{references.bib}


\appendix

\chapter{Supplementary Material for Chapter~\ref{ch.1}}
\label{ch.App.1}

\section{Proofs}
\lipsum[1-4]

\section{Additional Experiments}
\lipsum[1-4]


\chapter{Supplementary Material for Chapter~\ref{ch.2}}
\label{ch.App.2}

\section{Proofs}
\lipsum[1-4]

\section{Additional Experiments}
\lipsum[1-4]

\ifthenelse{\boolean{pnrr351} \OR \boolean{pnrr352}}{
\newpage
\begin{figure*}
	\includegraphics[width=\textwidth]{pnrr.png}
\end{figure*}

    \ifthenelse{\boolean{pnrr351}}{
    \noindent La borsa di dottorato è stata cofinanziata con risorse dell’Unione Europea - \textit{NextGeneration EU}
    Piano Nazionale di Ripresa e Resilienza Missione 4 Componente 1 Investimento 3.4 \textit{``Didattica e competenze universitarie avanzate''} e l’Investimento 4.1 \textit{``Estensione del numero di dottorati di ricerca e dottorati innovativi per la pubblica amministrazione e il patrimonio culturale''}
    }{
    \noindent La borsa di dottorato è stata cofinanziata con risorse dell’Unione Europea - \textit{NextGeneration EU}
    Piano Nazionale di Ripresa e Resilienza Missione 4 Componente 2 \textit{``Dalla Ricerca all’Impresa''} Investimento 3.3 del PNRR che prevede \textit{``l’Introduzione di dottorati innovativi che rispondono ai
    fabbisogni di innovazione delle imprese e promuovono l’assunzione dei ricercatori dalle imprese''}
    }
}

\end{document}

%
% EOF
%
