Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving

Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Wallner, Johannes Peter; Woltran, Stefan

doi:10.1016/j.artint.2022.103697

by Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran

Reference:

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solvingThomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan WoltranArtificial Intelligence, volume 307, pages 103697, 2022.

Bibtex Entry:

@string{ai="Artificial Intelligence"}
@article{DBLP:journals/ai/LinsbichlerMNWW22,
keywords = "reveal",
  author    = {Thomas Linsbichler and
               Marco Maratea and
               Andreas Niskanen and
               Johannes Peter Wallner and
               Stefan Woltran},
  title     = {Advanced algorithms for abstract dialectical frameworks based on complexity
               analysis of subclasses and {SAT} solving},
  journal   = AI,
  volume    = {307},
  pages     = {103697},
  year      = {2022},
  url       = {10.1016/j.artint.2022.103697">https://doi.org/10.1016/j.artint.2022.103697},
  doi       = {10.1016/j.artint.2022.103697},
  timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/LinsbichlerMNWW22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}