\relax 
\abx@aux@refcontext{nty/global//global/global}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\AC@reset@newl@bel
\abx@aux@cite{0}{cozman2020joy}
\abx@aux@segm{0}{0}{cozman2020joy}
\abx@aux@cite{0}{verreet2022inference}
\abx@aux@segm{0}{0}{verreet2022inference}
\abx@aux@cite{0}{baral2009probabilistic}
\abx@aux@segm{0}{0}{baral2009probabilistic}
\abx@aux@cite{0}{pajunen2021solution}
\abx@aux@segm{0}{0}{pajunen2021solution}
\abx@aux@cite{0}{de2007problog}
\abx@aux@segm{0}{0}{de2007problog}
\abx@aux@cite{0}{baral2009probabilistic}
\abx@aux@segm{0}{0}{baral2009probabilistic}
\abx@aux@cite{0}{lee2016weighted}
\abx@aux@segm{0}{0}{lee2016weighted}
\abx@aux@cite{0}{alberti2017cplint}
\abx@aux@segm{0}{0}{alberti2017cplint}
\abx@aux@cite{0}{lifschitz2002answer}
\abx@aux@segm{0}{0}{lifschitz2002answer}
\abx@aux@cite{0}{sato1995statistical}
\abx@aux@segm{0}{0}{sato1995statistical}
\abx@aux@cite{0}{riguzzi2022foundations}
\abx@aux@segm{0}{0}{riguzzi2022foundations}
\newacro{BK}[BK]{background knowledge}
\newacro{ASP}[ASP]{answer set programming}
\newacro{NP}[NP]{normal program}
\newacro{DS}[DS]{distribution semantics}
\newacro{PF}[PF]{probabilistic fact}
\newacro{TC}[TC]{total choice}
\newacro{SM}[SM]{stable model}
\newacro{SC}[SC]{stable core}
\newacro{KL}[KL]{Kullback-Leibler}
\newacro{SBF}[SBF]{Simple But Fruitful}
\newacro{RSL}[RSL]{Random Set of Literals}
\newacro{RCE}[RCE]{Random Consistent Event}
\@writefile{toc}{\contentsline {title}{An Algebraic Approach to Stochastic ASP}{1}{chapter.1}\protected@file@percent }
\@writefile{toc}{\authcount {3}}
\@writefile{toc}{\contentsline {author}{Salvador Abreu\unskip {} \and Francisco Coelho\unskip {} \and Bruno Dinis \unskip {}}{1}{chapter.1}\protected@file@percent }
\acronymused{ASP}
\acronymused{SM}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Motivation}{1}{section.1.1}\protected@file@percent }
\acronymused{BK}
\acronymused{ASP}
\acronymused{ASP}
\AC@undonewlabel{acro:ASP}
\newlabel{acro:ASP}{{1}{1}{Introduction and Motivation}{section*.2}{}}
\newlabel{acro:ASP@cref}{{[section][1][]1}{[1][1][]1}}
\acronymused{ASP}
\AC@undonewlabel{acro:SM}
\newlabel{acro:SM}{{1}{1}{Introduction and Motivation}{section*.3}{}}
\newlabel{acro:SM@cref}{{[section][1][]1}{[1][1][]1}}
\acronymused{SM}
\AC@undonewlabel{acro:NP}
\newlabel{acro:NP}{{1}{1}{Introduction and Motivation}{section*.4}{}}
\newlabel{acro:NP@cref}{{[section][1][]1}{[1][1][]1}}
\acronymused{NP}
\acronymused{ASP}
\AC@undonewlabel{acro:DS}
\newlabel{acro:DS}{{1}{1}{Introduction and Motivation}{section*.5}{}}
\newlabel{acro:DS@cref}{{[section][1][]1}{[1][1][]1}}
\acronymused{DS}
\acronymused{TC}
\AC@undonewlabel{acro:PF}
\newlabel{acro:PF}{{1}{1}{Introduction and Motivation}{section*.6}{}}
\newlabel{acro:PF@cref}{{[section][1][]1}{[1][1][]1}}
\acronymused{PF}
\acronymused{DS}
\acronymused{PF}
\acronymused{TC}
\abx@aux@cite{0}{Teugels90}
\abx@aux@segm{0}{0}{Teugels90}
\abx@aux@cite{0}{cozman2020joy}
\abx@aux@segm{0}{0}{cozman2020joy}
\abx@aux@cite{0}{verreet2022inference}
\abx@aux@segm{0}{0}{verreet2022inference}
\abx@aux@cite{0}{bezanson2017julia}
\abx@aux@segm{0}{0}{bezanson2017julia}
\abx@aux@cite{0}{gowda2021high}
\abx@aux@segm{0}{0}{gowda2021high}
\abx@aux@cite{0}{bouchetvalat2023dataframes}
\abx@aux@segm{0}{0}{bouchetvalat2023dataframes}
\newlabel{eq:prob.total.choice}{{1}{2}{Introduction and Motivation}{equation.1.1.1}{}}
\newlabel{eq:prob.total.choice@cref}{{[equation][1][]1}{[1][1][]2}}
\acronymused{TC}
\acronymused{TC}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\AC@undonewlabel{acro:TC}
\newlabel{acro:TC}{{1}{2}{Introduction and Motivation}{section*.7}{}}
\newlabel{acro:TC@cref}{{[section][1][]1}{[1][2][]2}}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\@writefile{toc}{\contentsline {section}{\numberline {2}A Simple but Fruitful Example}{3}{section.1.2}\protected@file@percent }
\newlabel{sec:example.1}{{2}{3}{A Simple but Fruitful Example}{section.1.2}{}}
\newlabel{sec:example.1@cref}{{[section][2][]2}{[1][2][]3}}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\acronymused{TC}
\acronymused{TC}
\acronymused{SM}
\newlabel{running.example}{{1}{3}{A Simple but Fruitful Example}{example.1.1}{}}
\newlabel{running.example@cref}{{[example][1][1]1}{[1][3][]3}}
\newlabel{eq:example.1}{{2}{3}{A Simple but Fruitful Example}{equation.1.2.2}{}}
\newlabel{eq:example.1@cref}{{[equation][2][]2}{[1][3][]3}}
\acronymused{SM}
\acronymused{SM}
\acronymused{TC}
\acronymused{ASP}
\acronymused{SM}
\newlabel{item:program.selection}{{4}{3}{A Simple but Fruitful Example}{Item.6}{}}
\newlabel{item:program.selection@cref}{{[enumi][4][]4}{[1][3][]3}}
\acronymused{SM}
\acronymused{ASP}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\newlabel{assumption:smodels.disjoint}{{1}{4}{A Simple but Fruitful Example}{assumption.1}{}}
\newlabel{assumption:smodels.disjoint@cref}{{[assumption][1][]1}{[1][4][]4}}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\@writefile{toc}{\contentsline {section}{\numberline {3}Extending Probabilities}{4}{section.1.3}\protected@file@percent }
\newlabel{sec:extending.probalilities}{{3}{4}{Extending Probabilities}{section.1.3}{}}
\newlabel{sec:extending.probalilities@cref}{{[section][3][]3}{[1][4][]4}}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}An Equivalence Relation}{4}{subsection.1.3.1}\protected@file@percent }
\newlabel{subsec:equivalence.relation}{{3.1}{4}{An Equivalence Relation}{subsection.1.3.1}{}}
\newlabel{subsec:equivalence.relation@cref}{{[subsection][1][3]3.1}{[1][4][]4}}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Some events related to the \aclp {SM} of \cref  {running.example}. The circle nodes are \aclp {TC} and shaded nodes are \aclp {SM}. Solid lines represent relations with the \acp {SM} and dashed lines relations between other events. The set of events contained in all \aclp {SM}, denoted by $\ensuremath  {\vartriangle }$, is empty in this example.}}{5}{figure.1.1}\protected@file@percent }
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\newlabel{fig:running.example}{{1}{5}{Some events related to the \aclp {SM} of \cref {running.example}. The circle nodes are \aclp {TC} and shaded nodes are \aclp {SM}. Solid lines represent relations with the \acp {SM} and dashed lines relations between other events. The set of events contained in all \aclp {SM}, denoted by $\emptyevent $, is empty in this example}{figure.1.1}{}}
\newlabel{fig:running.example@cref}{{[figure][1][]1}{[1][4][]5}}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\newlabel{def:stable.core}{{1}{5}{An Equivalence Relation}{definition.1.1}{}}
\newlabel{def:stable.core@cref}{{[definition][1][1]1}{[1][5][]5}}
\AC@undonewlabel{acro:SC}
\newlabel{acro:SC}{{1}{5}{An Equivalence Relation}{section*.8}{}}
\newlabel{acro:SC@cref}{{[definition][1][1]1}{[1][5][]5}}
\acronymused{SC}
\newlabel{eq:stable.core}{{4}{5}{An Equivalence Relation}{equation.1.3.4}{}}
\newlabel{eq:stable.core@cref}{{[equation][4][]4}{[1][5][]5}}
\acronymused{SM}
\acronymused{SC}
\newlabel{def:equiv.rel}{{2}{5}{An Equivalence Relation}{definition.1.2}{}}
\newlabel{def:equiv.rel@cref}{{[definition][2][1]2}{[1][5][]5}}
\newlabel{eq:equiv.rel}{{5}{5}{An Equivalence Relation}{equation.1.3.5}{}}
\newlabel{eq:equiv.rel@cref}{{[equation][5][]5}{[1][5][]5}}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\newlabel{eq:event.class}{{6}{5}{An Equivalence Relation}{equation.1.3.6}{}}
\newlabel{eq:event.class@cref}{{[equation][6][]6}{[1][5][]5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Classes (of consistent events) related to the \aclp {SM} of \cref  {running.example} are defined through intersections and inclusions. In this picture we can see, for example, the classes $\set {\ensuremath  {\overline  {c}}ab, ab, b}$ and $\set {a, abc}$. Different fillings correspond to different classes and, as before, the circle nodes are \aclp {TC} and shaded nodes are \aclp {SM}. Notice that $bc$ is not in a ``filled'' area.}}{6}{figure.1.2}\protected@file@percent }
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\newlabel{fig:running.example.classes}{{2}{6}{Classes (of consistent events) related to the \aclp {SM} of \cref {running.example} are defined through intersections and inclusions. In this picture we can see, for example, the classes $\set {\co {c}ab, ab, b}$ and $\set {a, abc}$. Different fillings correspond to different classes and, as before, the circle nodes are \aclp {TC} and shaded nodes are \aclp {SM}. Notice that $bc$ is not in a ``filled'' area}{figure.1.2}{}}
\newlabel{fig:running.example.classes@cref}{{[figure][2][]2}{[1][4][]6}}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}From Total Choices to Events}{7}{subsection.1.3.2}\protected@file@percent }
\newlabel{subsec:from.tchoices.to.events}{{3.2}{7}{From Total Choices to Events}{subsection.1.3.2}{}}
\newlabel{subsec:from.tchoices.to.events@cref}{{[subsection][2][3]3.2}{[1][7][]7}}
\acronymused{TC}
\acronymused{TC}
\acronymused{SM}
\newlabel{eq:measure.tchoice}{{8}{7}{From Total Choices to Events}{equation.1.3.8}{}}
\newlabel{eq:measure.tchoice@cref}{{[equation][8][]8}{[1][7][]7}}
\acronymused{TC}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\newlabel{eq:measure.stablemodel}{{9}{7}{From Total Choices to Events}{equation.1.3.9}{}}
\newlabel{eq:measure.stablemodel@cref}{{[equation][9][]9}{[1][7][]7}}
\newlabel{item:class.cases}{{3.2}{7}{From Total Choices to Events}{equation.1.3.9}{}}
\newlabel{item:class.cases@cref}{{[subsection][2][3]3.2}{[1][7][]7}}
\acronymused{SM}
\newlabel{eq:measure.class.inconsistent}{{10}{7}{From Total Choices to Events}{equation.1.3.10}{}}
\newlabel{eq:measure.class.inconsistent@cref}{{[equation][10][]10}{[1][7][]7}}
\acronymused{SM}
\newlabel{eq:measure.class.independent}{{11}{7}{From Total Choices to Events}{equation.1.3.11}{}}
\newlabel{eq:measure.class.independent@cref}{{[equation][11][]11}{[1][7][]7}}
\acronymused{TC}
\acronymused{SC}
\acronymused{SM}
\newlabel{eq:measure.class.other}{{12}{8}{From Total Choices to Events}{equation.1.3.12}{}}
\newlabel{eq:measure.class.other@cref}{{[equation][12][]12}{[1][7][]8}}
\newlabel{eq:measure.class.unconditional}{{13}{8}{From Total Choices to Events}{equation.1.3.13}{}}
\newlabel{eq:measure.class.unconditional@cref}{{[equation][13][]13}{[1][8][]8}}
\newlabel{item:event.cases}{{3.2}{8}{From Total Choices to Events}{equation.1.3.13}{}}
\newlabel{item:event.cases@cref}{{[subsection][2][3]3.2}{[1][8][]8}}
\acronymused{SC}
\newlabel{eq:measure.events}{{14}{8}{From Total Choices to Events}{equation.1.3.14}{}}
\newlabel{eq:measure.events@cref}{{[equation][14][]14}{[1][8][]8}}
\newlabel{eq:measure.events.unconditional}{{15}{8}{From Total Choices to Events}{equation.1.3.15}{}}
\newlabel{eq:measure.events.unconditional@cref}{{[equation][15][]15}{[1][8][]8}}
\acronymused{TC}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\acronymused{SC}
\acronymused{TC}
\newlabel{eq:probability.event}{{16}{8}{From Total Choices to Events}{equation.1.3.16}{}}
\newlabel{eq:probability.event@cref}{{[equation][16][]16}{[1][8][]8}}
\acronymused{TC}
\acronymused{TC}
\acronymused{TC}
\acronymused{SM}
\acronymused{TC}
\acronymused{TC}
\newlabel{prop:two.distributions}{{1}{9}{From Total Choices to Events}{proposition.1.1}{}}
\newlabel{prop:two.distributions@cref}{{[proposition][1][1]1}{[1][9][]9}}
\acronymused{SM}
\acronymused{TC}
\newlabel{eq:two.distributions}{{17}{9}{From Total Choices to Events}{equation.1.3.17}{}}
\newlabel{eq:two.distributions@cref}{{[equation][17][]17}{[1][9][]9}}
\acronymused{TC}
\acronymused{SM}
\@writefile{toc}{\contentsline {section}{\numberline {4}Developed Examples}{9}{section.1.4}\protected@file@percent }
\newlabel{sec:developed.examples}{{4}{9}{Developed Examples}{section.1.4}{}}
\newlabel{sec:developed.examples@cref}{{[section][4][]4}{[1][9][]9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}The SBF Example}{9}{subsection.1.4.1}\protected@file@percent }
\newlabel{subsec:sbf.example}{{4.1}{9}{The SBF Example}{subsection.1.4.1}{}}
\newlabel{subsec:sbf.example@cref}{{[subsection][1][4]4.1}{[1][9][]9}}
\acronymused{TC}
\acronymused{TC}
\acronymused{SM}
\acronymused{TC}
\acronymused{SM}
\acronymused{SM}
\newlabel{eq:sbf.prior}{{18}{10}{The SBF Example}{equation.1.4.18}{}}
\newlabel{eq:sbf.prior@cref}{{[equation][18][]18}{[1][10][]10}}
\abx@aux@cite{0}{geman84}
\abx@aux@segm{0}{0}{geman84}
\AC@undonewlabel{acro:RSL}
\newlabel{acro:RSL}{{4.1}{11}{Testing the Prior Distributions}{section*.10}{}}
\newlabel{acro:RSL@cref}{{[subsection][1][4]4.1}{[1][11][]11}}
\acronymused{RSL}
\AC@undonewlabel{acro:RCE}
\newlabel{acro:RCE}{{4.1}{11}{Testing the Prior Distributions}{section*.11}{}}
\newlabel{acro:RCE@cref}{{[subsection][1][4]4.1}{[1][11][]11}}
\acronymused{RCE}
\acronymused{RCE}
\acronymused{RCE}
\newlabel{eq:err.e.s}{{19}{11}{Testing the Prior Distributions}{equation.1.4.19}{}}
\newlabel{eq:err.e.s@cref}{{[equation][19][]19}{[1][11][]11}}
\newlabel{eq:opt.err}{{20}{11}{Testing the Prior Distributions}{equation.1.4.20}{}}
\newlabel{eq:opt.err@cref}{{[equation][20][]20}{[1][11][]11}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces \emph  {Experiment 1.} Results from an experiment where $n=1000$ samples where generated following the \emph  {Model+Noise} procedure with parameters $\alpha = 0.1, \beta = 0.3, \gamma = 0.2$. The \emph  {empirical} distribution is represented by the random variable $S$ while the \emph  {prior}, as before, is denoted by $E$.}}{12}{table.1.1}\protected@file@percent }
\newlabel{tab:sbf.example}{{1}{12}{\emph {Experiment 1.} Results from an experiment where $n=1000$ samples where generated following the \emph {Model+Noise} procedure with parameters $\alpha = 0.1, \beta = 0.3, \gamma = 0.2$. The \emph {empirical} distribution is represented by the random variable $S$ while the \emph {prior}, as before, is denoted by $E$}{table.1.1}{}}
\newlabel{tab:sbf.example@cref}{{[table][1][]1}{[1][11][]12}}
\abx@aux@cite{0}{Judea88}
\abx@aux@segm{0}{0}{Judea88}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces \emph  {Experiments 2 and 3.} Results from experiments, each with $n=1000$ samples generated following the \emph  {Model+Noise} procedure, with parameters $\alpha = 0.1, \beta = 0.3, \gamma = 0.8$ (Experiment 2) and $\gamma =0.5$ (Experiment 3). Empirical distributions are represented by the random variables $S_{0.8}$ and $S_{0.5}$ respectively. Data from experience \cref  {tab:sbf.example} is also included, and denoted by $S_{0.2}$, to provide reference.}}{13}{table.1.2}\protected@file@percent }
\newlabel{tab:sbf.examples.2.3}{{2}{13}{\emph {Experiments 2 and 3.} Results from experiments, each with $n=1000$ samples generated following the \emph {Model+Noise} procedure, with parameters $\alpha = 0.1, \beta = 0.3, \gamma = 0.8$ (Experiment 2) and $\gamma =0.5$ (Experiment 3). Empirical distributions are represented by the random variables $S_{0.8}$ and $S_{0.5}$ respectively. Data from experience \cref {tab:sbf.example} is also included, and denoted by $S_{0.2}$, to provide reference}{table.1.2}{}}
\newlabel{tab:sbf.examples.2.3@cref}{{[table][2][]2}{[1][13][]13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}An Example Involving Bayesian Networks}{13}{subsection.1.4.2}\protected@file@percent }
\newlabel{subsec:example.bayesian.networks}{{4.2}{13}{An Example Involving Bayesian Networks}{subsection.1.4.2}{}}
\newlabel{subsec:example.bayesian.networks@cref}{{[subsection][2][4]4.2}{[1][13][]13}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces The Earthquake, Burglary, Alarm model}}{14}{figure.1.3}\protected@file@percent }
\newlabel{Figure_Alarm}{{3}{14}{The Earthquake, Burglary, Alarm model}{figure.1.3}{}}
\newlabel{Figure_Alarm@cref}{{[figure][3][]3}{[1][14][]14}}
\newlabel{eq:not_so_simple_example}{{4.2}{14}{An Example Involving Bayesian Networks}{figure.1.3}{}}
\newlabel{eq:not_so_simple_example@cref}{{[subsection][2][4]4.2}{[1][14][]14}}
\abx@aux@cite{0}{kindermann80}
\abx@aux@segm{0}{0}{kindermann80}
\@writefile{toc}{\contentsline {section}{\numberline {5}Discussion and Future Work}{15}{section.1.5}\protected@file@percent }
\acronymused{ASP}
\acronymused{ASP}
\acronymused{SM}
\acronymused{KL}
\abx@aux@read@bbl@mdfivesum{37C44507F93D4D4DD10E686FB013D32E}
\abx@aux@defaultrefcontext{0}{alberti2017cplint}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{baral2009probabilistic}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{bezanson2017julia}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{bouchetvalat2023dataframes}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{cozman2020joy}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{de2007problog}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{geman84}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{gowda2021high}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{kindermann80}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{lee2016weighted}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{lifschitz2002answer}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{pajunen2021solution}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{Judea88}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{riguzzi2022foundations}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{sato1995statistical}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{Teugels90}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{verreet2022inference}{nty/global//global/global}
\gdef \@abspage@last{17}