Boolean Functions with Ordered Domains in Answer Set Programming

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

„February“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

Toggle side column

Boolean Functions with Ordered Domains in Answer Set Programming

Mario AlvianoMario Alviano,  Wolfgang FaberWolfgang Faber,  Hannes StraßHannes Straß
Mario Alviano, Wolfgang Faber, Hannes Straß
Boolean Functions with Ordered Domains in Answer Set Programming
In Dale Schuurmans and Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), 879--885,  2016. AAAI Press
    @inproceedings{AFS2016,
      author    = {Mario Alviano and Wolfgang Faber and Hannes Stra{\ss}},
      title     = {Boolean Functions with Ordered Domains in Answer Set Programming},
      editor    = {Dale Schuurmans and Michael Wellman},
      booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial
                   Intelligence (AAAI)},
      publisher = {AAAI Press},
      year      = {2016},
      pages     = {879--885}
    }