Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/CalimeriGMR16,
  author       = {Francesco Calimeri and
                  Martin Gebser and
                  Marco Maratea and
                  Francesco Ricca},
  title        = {Design and results of the Fifth Answer Set Programming Competition},
  journal      = {Artif. Intell.},
  volume       = {231},
  pages        = {151--181},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.09.008},
  doi          = {10.1016/J.ARTINT.2015.09.008},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/CalimeriGMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Dung16,
  author       = {Phan Minh Dung},
  title        = {An axiomatic analysis of structured argumentation with priorities},
  journal      = {Artif. Intell.},
  volume       = {231},
  pages        = {107--150},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.10.005},
  doi          = {10.1016/J.ARTINT.2015.10.005},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Dung16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/GiacomoGPSS16,
  author       = {Giuseppe De Giacomo and
                  Alfonso Emilio Gerevini and
                  Fabio Patrizi and
                  Alessandro Saetti and
                  Sebastian Sardi{\~{n}}a},
  title        = {Agent planning programs},
  journal      = {Artif. Intell.},
  volume       = {231},
  pages        = {64--106},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.10.001},
  doi          = {10.1016/J.ARTINT.2015.10.001},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GiacomoGPSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/LarsonC16,
  author       = {Craig E. Larson and
                  Nicolas Van Cleemput},
  title        = {Automated conjecturing {I:} Fajtlowicz's Dalmatian heuristic revisited},
  journal      = {Artif. Intell.},
  volume       = {231},
  pages        = {17--38},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.10.002},
  doi          = {10.1016/J.ARTINT.2015.10.002},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/LarsonC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Procaccia0Z16,
  author       = {Ariel D. Procaccia and
                  Nisarg Shah and
                  Yair Zick},
  title        = {Voting rules as error-correcting codes},
  journal      = {Artif. Intell.},
  volume       = {231},
  pages        = {1--16},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.10.003},
  doi          = {10.1016/J.ARTINT.2015.10.003},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Procaccia0Z16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SzczepanskiMR16,
  author       = {Piotr L. Szczepanski and
                  Tomasz P. Michalak and
                  Talal Rahwan},
  title        = {Efficient algorithms for game-theoretic betweenness centrality},
  journal      = {Artif. Intell.},
  volume       = {231},
  pages        = {39--63},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.11.001},
  doi          = {10.1016/J.ARTINT.2015.11.001},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SzczepanskiMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}