
\documentclass{llncs}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\authorremark}[1]{\bigskip\hrule\vspace*{0.5mm}
\hrule \vspace*{3mm}
\noindent{\sf NOTE TO AUTHORS:}

\bigskip

\noindent #1
\vspace*{3mm}
\hrule\vspace*{0.5mm}
\hrule}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title{A complete conclusion-based procedure for judgment aggregation\thanks{A previous version of this paper appeared in the proceedings of the workshop Cinqui\`{e}me Journ\'{e}e Francophone Mod\`{e}les Formels de l'Interaction, Lannion, France, 2-5 June 2009.}}
\author{Gabriella Pigozzi\inst{1} \and Marija Slavkovik\inst{1} \and Leendert van der Torre\inst{1}}
\institute{Individual and Collective Reasoning, Computer Science and Communication, University of Luxembourg, 6, Rue Richard Coudenhove Kalergi, L-1359 -- LUXEMBOURG}



\begin{document}

\maketitle

\begin{abstract}
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same propositions. Three procedures for successfully aggregating judgments sets are: premise-based procedure,  conclusion-based procedure and distance-based merging.  The conclusion-based procedure has been little investigated because it provides a way to aggregate the conclusions, but not the premises, thus it outputs an incomplete judgment set.  The goal of this paper is to present a conclusion-based procedure outputting complete judgment sets. 

\end{abstract}
  
%\keywords{judgment aggregation, conclusion-based procedure, distance-based merging}
\input{Introduction}
\input{Problem}
\input {Framework}
\input{Results}
\input{Related}
\input{Conclusions}
\section*{Acknowledgment}
We thank Franz Dietrich and Christian List for discussions on the issues raised in this paper.

\bibliographystyle{abbrv}
\bibliography{ja}

\newpage

\end{document}


