Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory

Adrian Haret. Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory. In Jörg Rothe, editor, Algorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings. Volume 10576 of Lecture Notes in Computer Science, pages 374-378, Springer, 2017. [doi]

Abstract

Abstract is missing.