Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/AmendolaRT20,
  author       = {Giovanni Amendola and
                  Francesco Ricca and
                  Miroslaw Truszczynski},
  title        = {New models for generating hard random boolean formulas and disjunctive
                  logic programs},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103185},
  doi          = {10.1016/J.ARTINT.2019.103185},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/AmendolaRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/BurtonHLMMP20,
  author       = {Simon Burton and
                  Ibrahim Habli and
                  Tom Lawton and
                  John A. McDermid and
                  Phillip Morgan and
                  Zo{\"{e}} Porter},
  title        = {Mind the gaps: Assuring the safety of autonomous systems from an engineering,
                  ethical, and legal perspective},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103201},
  doi          = {10.1016/J.ARTINT.2019.103201},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BurtonHLMMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/CohenGZ20,
  author       = {Liel Cohen and
                  Rotem Galiki and
                  Roie Zivan},
  title        = {Governing convergence of Max-sum on DCOPs through damping and splitting},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103212},
  doi          = {10.1016/J.ARTINT.2019.103212},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/CohenGZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/DoshiGD20,
  author       = {Prashant Doshi and
                  Piotr J. Gmytrasiewicz and
                  Edmund H. Durfee},
  title        = {Recursively modeling other agents for decision making: {A} research
                  perspective},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103202},
  doi          = {10.1016/J.ARTINT.2019.103202},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/DoshiGD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/GagglLMW20,
  author       = {Sarah Alice Gaggl and
                  Thomas Linsbichler and
                  Marco Maratea and
                  Stefan Woltran},
  title        = {Design and results of the Second International Competition on Computational
                  Models of Argumentation},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103193},
  doi          = {10.1016/J.ARTINT.2019.103193},
  timestamp    = {Tue, 07 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/GagglLMW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/LiXLMLL20,
  author       = {Chu{-}Min Li and
                  Fan Xiao and
                  Mao Luo and
                  Felip Many{\`{a}} and
                  Zhipeng L{\"{u}} and
                  Yu Li},
  title        = {Clause vivification by unit propagation in {CDCL} {SAT} solvers},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103197},
  doi          = {10.1016/J.ARTINT.2019.103197},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/LiXLMLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/LuB20,
  author       = {Tyler Lu and
                  Craig Boutilier},
  title        = {Preference elicitation and robust winner determination for single-
                  and multi-winner social choice},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103203},
  doi          = {10.1016/J.ARTINT.2019.103203},
  timestamp    = {Tue, 07 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/LuB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/PasiniN20,
  author       = {Tommaso Pasini and
                  Roberto Navigli},
  title        = {Train-O-Matic: Supervised Word Sense Disambiguation with no (manual)
                  effort},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103215},
  doi          = {10.1016/J.ARTINT.2019.103215},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/PasiniN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/PereiraOM20,
  author       = {Ramon Fraga Pereira and
                  Nir Oren and
                  Felipe Meneguzzi},
  title        = {Landmark-based approaches for goal recognition as planning},
  journal      = {Artif. Intell.},
  volume       = {279},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103217},
  doi          = {10.1016/J.ARTINT.2019.103217},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/PereiraOM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}