Search dblp for Publications

export results for "toc:db/journals/ai/ai277.bht:"

 download as .bib file

@article{DBLP:journals/ai/BoothC19,
  author    = {Richard Booth and
               Jake Chandler},
  title     = {From iterated revision to iterated contraction: Extending the Harper
               Identity},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103171},
  doi       = {10.1016/j.artint.2019.103171},
  timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/BoothC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BoothCMV19,
  author    = {Richard Booth and
               Giovanni Casini and
               Thomas Meyer and
               Ivan Varzinczak},
  title     = {On rational entailment for Propositional Typicality Logic},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103178},
  doi       = {10.1016/j.artint.2019.103178},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/BoothCMV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CastiglioniMGC19,
  author    = {Matteo Castiglioni and
               Alberto Marchesi and
               Nicola Gatti and
               Stefano Coniglio},
  title     = {Leadership in singleton congestion games: What is hard and what is
               easy},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103177},
  doi       = {10.1016/j.artint.2019.103177},
  timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/CastiglioniMGC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChongTH19,
  author    = {Siang Yew Chong and
               Peter Ti{\~{n}}o and
               Jun He},
  title     = {Coevolutionary systems and PageRank},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103164},
  doi       = {10.1016/j.artint.2019.103164},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/ChongTH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Halpern19,
  author    = {Joseph Y. Halpern},
  title     = {The Book of Why, Judea Pearl. Basic Books {(2018)}},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103175},
  doi       = {10.1016/j.artint.2019.103175},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/Halpern19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HornRB19,
  author    = {Matthias Horn and
               G{\"{u}}nther R. Raidl and
               Christian Blum},
  title     = {Job sequencing with one common and multiple secondary resources: An
               A\({}^{\mbox{{\unicode{8270}}}}\)/Beam Search based anytime algorithm},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103173},
  doi       = {10.1016/j.artint.2019.103173},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/HornRB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaKKM19,
  author    = {Wojciech Jamroga and
               Michal Knapik and
               Damian Kurpiewski and
               Lukasz Mikulski},
  title     = {Approximate verification of strategic abilities under imperfect information},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103172},
  doi       = {10.1016/j.artint.2019.103172},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/JamrogaKKM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaMM19,
  author    = {Wojciech Jamroga and
               Vadim Malvone and
               Aniello Murano},
  title     = {Natural strategic ability},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103170},
  doi       = {10.1016/j.artint.2019.103170},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/JamrogaMM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lucas19,
  author    = {Salvador Lucas},
  title     = {Proving semantic properties as first-order satisfiability},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103174},
  doi       = {10.1016/j.artint.2019.103174},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/Lucas19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/RosenfeldM19,
  author    = {Ariel Rosenfeld and
               Oleg Maksimov},
  title     = {Optimal cruiser-drone traffic enforcement under energy limitation},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103166},
  doi       = {10.1016/j.artint.2019.103166},
  timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/RosenfeldM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Segal-HaleviS19,
  author    = {Erel Segal{-}Halevi and
               Warut Suksompong},
  title     = {Democratic fair allocation of indivisible goods},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103167},
  doi       = {10.1016/j.artint.2019.103167},
  timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/Segal-HaleviS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ShenE19,
  author    = {Yi{-}Dong Shen and
               Thomas Eiter},
  title     = {Determining inference semantics for disjunctive logic programs},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103165},
  doi       = {10.1016/j.artint.2019.103165},
  timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/ShenE19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SuZLQYL19,
  author    = {Jinsong Su and
               Xiangwen Zhang and
               Qian Lin and
               Yue Qin and
               Junfeng Yao and
               Yang Liu},
  title     = {Exploiting reverse target-side contexts for neural machine translation
               via asynchronous bidirectional decoding},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103168},
  doi       = {10.1016/j.artint.2019.103168},
  timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/SuZLQYL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/YangC19,
  author    = {Hao{-}Fan Yang and
               Yi{-}Ping Phoebe Chen},
  title     = {Representation learning with extreme learning machines and empirical
               mode decomposition for wind speed forecasting methods},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103176},
  doi       = {10.1016/j.artint.2019.103176},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/YangC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics