Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/BosnackiEGP09,
  author       = {Dragan Bosnacki and
                  Edith Elkind and
                  Blaise Genest and
                  Doron A. Peled},
  title        = {On commutativity based Edge Lean search},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {2},
  pages        = {187--210},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9167-0},
  doi          = {10.1007/S10472-009-9167-0},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BosnackiEGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CabreraCGMO09,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  title        = {Congruence relations on some hyperstructures},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {361--370},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9146-5},
  doi          = {10.1007/S10472-009-9146-5},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CabreraCGMO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CalmetS09,
  author       = {Jacques Calmet and
                  Volker Sorge},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {1--2},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9139-4},
  doi          = {10.1007/S10472-009-9139-4},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CalmetS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CoquandLS09,
  author       = {Thierry Coquand and
                  Henri Lombardi and
                  Peter Schuster},
  title        = {Spectral schemes as ringed lattices},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {339--360},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9160-7},
  doi          = {10.1007/S10472-009-9160-7},
  timestamp    = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CoquandLS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DistlerK09,
  author       = {Andreas Distler and
                  Tom Kelsey},
  title        = {The monoids of orders eight, nine {\&} ten},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {3--21},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9140-y},
  doi          = {10.1007/S10472-009-9140-Y},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DistlerK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DixonD09,
  author       = {Lucas Dixon and
                  Ross Duncan},
  title        = {Graphical reasoning in compact closed categories for quantum computation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {23--42},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9141-x},
  doi          = {10.1007/S10472-009-9141-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DixonD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Djelloul09,
  author       = {Khalil Djelloul},
  title        = {A full first-order constraint solver for decomposable theories},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {43--64},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9142-9},
  doi          = {10.1007/S10472-009-9142-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Djelloul09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DomshlakM09,
  author       = {Carmel Domshlak and
                  Vitaly Mirkis},
  title        = {Set-structured and cost-sharing heuristics for classical planning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {2},
  pages        = {211--239},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9170-5},
  doi          = {10.1007/S10472-009-9170-5},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DomshlakM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ElkindGGW09,
  author       = {Edith Elkind and
                  Leslie Ann Goldberg and
                  Paul W. Goldberg and
                  Michael J. Wooldridge},
  title        = {On the computational complexity of weighted voting games},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {2},
  pages        = {109--131},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9162-5},
  doi          = {10.1007/S10472-009-9162-5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ElkindGGW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LindnerKK09,
  author       = {Michael Lindner and
                  Meir Kalech and
                  Gal A. Kaminka},
  title        = {A representation for coordination fault detection in large-scale multi-agent
                  systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {2},
  pages        = {153--186},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9165-2},
  doi          = {10.1007/S10472-009-9165-2},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LindnerKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Mie09,
  author       = {Thilo Mie},
  title        = {Short PCPPs verifiable in polylogarithmic time with \emph{O}(1) queries},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {313--338},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9169-y},
  doi          = {10.1007/S10472-009-9169-Y},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Mie09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MontanaP09,
  author       = {Jos{\'{e}} L. Monta{\~{n}}a and
                  Luis M. Pardo},
  title        = {On the Vapnik-Chervonenkis dimension of computer programs which use
                  transcendental elementary operations},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {371--388},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9148-3},
  doi          = {10.1007/S10472-009-9148-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MontanaP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ObuaN09,
  author       = {Steven Obua and
                  Tobias Nipkow},
  title        = {Flyspeck {II:} the basic linear programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {245--272},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9168-z},
  doi          = {10.1007/S10472-009-9168-Z},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ObuaN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Peltier09,
  author       = {Nicolas Peltier},
  title        = {Constructing infinite models represented by tree automata},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {65--85},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9143-8},
  doi          = {10.1007/S10472-009-9143-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Peltier09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PennPT09,
  author       = {Michal Penn and
                  Maria Polukarov and
                  Moshe Tennenholtz},
  title        = {Taxed congestion games with failures},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {2},
  pages        = {133--151},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9164-3},
  doi          = {10.1007/S10472-009-9164-3},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PennPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Rioboo09,
  author       = {Renaud Rioboo},
  title        = {Invariants for the FoCaL language},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {273--296},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9156-3},
  doi          = {10.1007/S10472-009-9156-3},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Rioboo09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Roanes-LozanoHLR09,
  author       = {Eugenio Roanes{-}Lozano and
                  Antonio Hernando and
                  Luis M. Laita and
                  Eugenio Roanes{-}Mac{\'{\i}}as},
  title        = {A Groebner bases-based approach to backward reasoning in rule based
                  expert systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {297--311},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9147-4},
  doi          = {10.1007/S10472-009-9147-4},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Roanes-LozanoHLR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/RubioS09,
  author       = {Julio Rubio and
                  Werner M. Seiler},
  title        = {Applicable algebra and artificial intelligence},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {241--243},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9166-1},
  doi          = {10.1007/S10472-009-9166-1},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/RubioS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZanklM09,
  author       = {Harald Zankl and
                  Aart Middeldorp},
  title        = {Increasing interpretations},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {87--108},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9144-7},
  doi          = {10.1007/S10472-009-9144-7},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/ZanklM09.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.