Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/CravenT16,
  author       = {Robert Craven and
                  Francesca Toni},
  title        = {Argument graphs and assumption-based argumentation},
  journal      = {Artif. Intell.},
  volume       = {233},
  pages        = {1--59},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.12.004},
  doi          = {10.1016/J.ARTINT.2015.12.004},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/CravenT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/DavisM16,
  author       = {Ernest Davis and
                  Gary Marcus},
  title        = {The scope and limits of simulation in automated reasoning},
  journal      = {Artif. Intell.},
  volume       = {233},
  pages        = {60--72},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.12.003},
  doi          = {10.1016/J.ARTINT.2015.12.003},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/DavisM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/EiterFKR16,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Thomas Krennwallner and
                  Christoph Redl},
  title        = {Domain expansion for ASP-programs with external sources},
  journal      = {Artif. Intell.},
  volume       = {233},
  pages        = {84--121},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2016.01.003},
  doi          = {10.1016/J.ARTINT.2016.01.003},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/EiterFKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/JanotaM16,
  author       = {Mikol{\'{a}}s Janota and
                  Jo{\~{a}}o Marques{-}Silva},
  title        = {On the query complexity of selecting minimal sets for monotone predicates},
  journal      = {Artif. Intell.},
  volume       = {233},
  pages        = {73--83},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2016.01.002},
  doi          = {10.1016/J.ARTINT.2016.01.002},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/JanotaM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/ReisFP16,
  author       = {Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis and
                  Eduardo Ferm{\'{e}} and
                  Pavlos Peppas},
  title        = {Construction of system of spheres-based transitively relational partial
                  meet multiple contractions: An impossibility result},
  journal      = {Artif. Intell.},
  volume       = {233},
  pages        = {122--141},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2016.01.001},
  doi          = {10.1016/J.ARTINT.2016.01.001},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ReisFP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}