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

Haret, Adrian

doi:10.1007/978-3-319-67504-6_30

by Adrian Haret

Reference:

Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice TheoryAdrian HaretAlgorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings, pages 374–378, 2017.

Bibtex Entry:

@inproceedings{DBLP:conf/aldt/Haret17,
    author    = {Adrian Haret},
    title     = {Logic-Based Merging in Fragments of Classical Logic with Inputs from
    Social Choice Theory},
    booktitle = {Algorithmic Decision Theory - 5th International Conference, {ADT}
    2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings},
    pages     = {374--378},
    year      = {2017},
    crossref  = {DBLP:conf/aldt/2017},
    url       = {https://doi.org/10.1007/978-3-319-67504-6_30},
    doi       = {10.1007/978-3-319-67504-6_30},
    timestamp = {Wed, 18 Oct 2017 20:36:46 +0200},
    biburl    = {https://dblp.org/rec/bib/conf/aldt/Haret17},
    bibsource = {dblp computer science bibliography, https://dblp.org}
}