Search dblp for Publications

export results for "toc:db/journals/amai/amai79.bht:"

 download as .bib file

@article{DBLP:journals/amai/AbrameHT17,
  author       = {Andr{\'{e}} Abram{\'{e}} and
                  Djamal Habet and
                  Donia Toumi},
  title        = {Improving configuration checking for satisfiable random k-SAT instances},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {5--24},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9515-9},
  doi          = {10.1007/S10472-016-9515-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AbrameHT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Al-SaediFGMS17,
  author       = {Balasim Al{-}Saedi and
                  Olivier Fourdrinoy and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Bertrand Mazure and
                  Lakhdar Sa{\"{\i}}s},
  title        = {About some UP-based polynomial fragments of {SAT}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {25--44},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9452-z},
  doi          = {10.1007/S10472-015-9452-Z},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Al-SaediFGMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BenferhatBPW17,
  author       = {Salem Benferhat and
                  Zied Bouraoui and
                  Odile Papini and
                  {\'{E}}ric W{\"{u}}rbel},
  title        = {Prioritized assertional-based removed sets revision of DL-Lite belief
                  bases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {45--75},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9494-2},
  doi          = {10.1007/S10472-015-9494-2},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/BenferhatBPW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FlerovaMD17,
  author       = {Natalia Flerova and
                  Radu Marinescu and
                  Rina Dechter},
  title        = {Weighted heuristic anytime search: new schemes for optimization over
                  graphical models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {77--128},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9495-1},
  doi          = {10.1007/S10472-015-9495-1},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FlerovaMD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GutfreundKLR17,
  author       = {Dan Gutfreund and
                  Aryeh Kontorovich and
                  Ran Levy and
                  Michal Rosen{-}Zvi},
  title        = {Boosting conditional probability estimators},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {129--144},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9465-7},
  doi          = {10.1007/S10472-015-9465-7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GutfreundKLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HausM17,
  author       = {Utz{-}Uwe Haus and
                  Carla Michini},
  title        = {Compact representations of all members of an independence system},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {145--162},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9496-8},
  doi          = {10.1007/S10472-016-9496-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HausM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HellersteinRT17,
  author       = {Lisa Hellerstein and
                  Lev Reyzin and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Foreword},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {1--3},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9533-7},
  doi          = {10.1007/S10472-016-9533-7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HellersteinRT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Kern-IsbernerWB17,
  author       = {Gabriele Kern{-}Isberner and
                  Marco Wilhelm and
                  Christoph Beierle},
  title        = {Probabilistic knowledge representation using the principle of maximum
                  entropy and Gr{\"{o}}bner basis theory},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {163--179},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9457-7},
  doi          = {10.1007/S10472-015-9457-7},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Kern-IsbernerWB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LauriRR17,
  author       = {Mikko Lauri and
                  Aino Ropponen and
                  Risto Ritala},
  title        = {Meeting a deadline: shortest paths on stochastic directed acyclic
                  graphs with information gathering},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {4},
  pages        = {337--370},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9527-5},
  doi          = {10.1007/S10472-016-9527-5},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LauriRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MagosM17,
  author       = {Dimitris Magos and
                  Ioannis Mourtos},
  title        = {Submodularity and its application to some global constraints},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {4},
  pages        = {267--289},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9522-x},
  doi          = {10.1007/S10472-016-9522-X},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/MagosM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/OuchiOOYY17,
  author       = {Seishi Ouchi and
                  Tomohiko Okayama and
                  Keisuke Otaki and
                  Ryo Yoshinaka and
                  Akihiro Yamamoto},
  title        = {Learning concepts and their unions from positive data with refinement
                  operators},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {181--203},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9458-6},
  doi          = {10.1007/S10472-015-9458-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/OuchiOOYY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/QuD17,
  author       = {Xia Qu and
                  Prashant Doshi},
  title        = {On the role of fairness and limited backward induction in sequential
                  bargaining games - New behavioral models and analyses},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {205--227},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-015-9481-7},
  doi          = {10.1007/S10472-015-9481-7},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/QuD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/RosaF17,
  author       = {Tom{\'{a}}s de la Rosa and
                  Raquel Fuentetaja},
  title        = {Bagging strategies for learning planning policies},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {4},
  pages        = {291--305},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9523-9},
  doi          = {10.1007/S10472-016-9523-9},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/RosaF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Toda17,
  author       = {Takahisa Toda},
  title        = {Dualization of boolean functions using ternary decision diagrams},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {229--244},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9520-z},
  doi          = {10.1007/S10472-016-9520-Z},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Toda17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/TriskaV17,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  title        = {Logic of temporal attribute implications},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {4},
  pages        = {307--335},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9526-6},
  doi          = {10.1007/S10472-016-9526-6},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/TriskaV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/WojciechowskiES17,
  author       = {Piotr Wojciechowski and
                  Pavlos Eirinakis and
                  K. Subramani},
  title        = {Analyzing restricted fragments of the theory of linear arithmetic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {1-3},
  pages        = {245--266},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9525-7},
  doi          = {10.1007/S10472-016-9525-7},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/WojciechowskiES17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/WojciechowskiES17a,
  author       = {Piotr Wojciechowski and
                  Pavlos Eirinakis and
                  K. Subramani},
  title        = {Erratum to: Analyzing restricted fragments of the theory of linear
                  arithmetic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {4},
  pages        = {371--392},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-017-9537-y},
  doi          = {10.1007/S10472-017-9537-Y},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/WojciechowskiES17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.