Encoding Choice Logics in ASP

Michael Bernreiter, Jan Maly 0001, Stefan Woltran. Encoding Choice Logics in ASP. In Carmine Dodaro, George Aristidis Elder, Wolfgang Faber 0001, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari, editors, International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. Volume 2678 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]

@inproceedings{BernreiterMW20,
  title = {Encoding Choice Logics in ASP},
  author = {Michael Bernreiter and Jan Maly 0001 and Stefan Woltran},
  year = {2020},
  url = {http://ceur-ws.org/Vol-2678/paper1.pdf},
  researchr = {https://researchr.org/publication/BernreiterMW20},
  cites = {0},
  citedby = {0},
  booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020},
  editor = {Carmine Dodaro and George Aristidis Elder and Wolfgang Faber 0001 and Jorge Fandinno and Martin Gebser and Markus Hecher and Emily Leblanc and Michael Morak and Jessica Zangari},
  volume = {2678},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}