Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/AnalytiADP13,
  author       = {Anastasia Analyti and
                  Grigoris Antoniou and
                  Carlos Viegas Dam{\'{a}}sio and
                  Ioannis Pachoulakis},
  title        = {A framework for modular {ERDF} ontologies},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {3-4},
  pages        = {189--249},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9350-1},
  doi          = {10.1007/S10472-013-9350-1},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/AnalytiADP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BachrachZWR13,
  author       = {Yoram Bachrach and
                  Michael Zuckerman and
                  Michael J. Wooldridge and
                  Jeffrey S. Rosenschein},
  title        = {Proof systems and transformation games},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {1},
  pages        = {1--30},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-012-9323-9},
  doi          = {10.1007/S10472-012-9323-9},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BachrachZWR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BhattacharyaLGK13,
  author       = {Subhrajit Bhattacharya and
                  David Lipsky and
                  Robert Ghrist and
                  Vijay Kumar},
  title        = {Invariants for homology classes with application to optimal search
                  and planning problem in robotics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {3-4},
  pages        = {251--281},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9357-7},
  doi          = {10.1007/S10472-013-9357-7},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BhattacharyaLGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BistarelliFN13,
  author       = {Stefano Bistarelli and
                  Boi Faltings and
                  Nicoleta Neagu},
  title        = {Interchangeability with thresholds and degradation factors for Soft
                  CSPs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {2},
  pages        = {123--163},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9348-8},
  doi          = {10.1007/S10472-013-9348-8},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BistarelliFN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ColombIRR13,
  author       = {Pierre Colomb and
                  Alexis Irlande and
                  Olivier Raynaud and
                  Yoan Renaud},
  title        = {Recursive decomposition and bounds of the lattice of Moore co-families},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {2},
  pages        = {109--122},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9345-y},
  doi          = {10.1007/S10472-013-9345-Y},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ColombIRR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HaceneHNV13,
  author       = {Mohamed Rouane Hacene and
                  Marianne Huchard and
                  Amedeo Napoli and
                  Petko Valtchev},
  title        = {Relational concept analysis: mining concept lattices from multi-relational
                  data},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {1},
  pages        = {81--108},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-012-9329-3},
  doi          = {10.1007/S10472-012-9329-3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HaceneHNV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HelaouiN13,
  author       = {Maher Helaoui and
                  Wady Naanaa},
  title        = {Modularity-based decompositions for valued {CSP}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {2},
  pages        = {165--187},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9351-0},
  doi          = {10.1007/S10472-013-9351-0},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/HelaouiN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/JeffersonJGD13,
  author       = {Christopher Jefferson and
                  Peter Jeavons and
                  Martin James Green and
                  Marc R. C. van Dongen},
  title        = {Representing and solving finite-domain constraint problems using systems
                  of polynomials},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {3-4},
  pages        = {359--382},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9365-7},
  doi          = {10.1007/S10472-013-9365-7},
  timestamp    = {Mon, 17 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/JeffersonJGD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LauriR13,
  author       = {Mikko Lauri and
                  Risto Ritala},
  title        = {Planning for multiple measurement channels in a continuous-state {POMDP}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {3-4},
  pages        = {283--317},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9361-y},
  doi          = {10.1007/S10472-013-9361-Y},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LauriR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Liao13,
  author       = {Beishui Liao},
  title        = {Toward incremental computation of argumentation semantics: {A} decomposition-based
                  approach},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {3-4},
  pages        = {319--358},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9364-8},
  doi          = {10.1007/S10472-013-9364-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Liao13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NavarreteMSV13,
  author       = {Isabel Navarrete and
                  Antonio Morales Nicol{\'{a}}s and
                  Guido Sciavicco and
                  M. Antonia C{\'{a}}rdenas Viedma},
  title        = {Spatial reasoning with rectangular cardinal relations - The convex
                  tractable subalgebra},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {1},
  pages        = {31--70},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-012-9327-5},
  doi          = {10.1007/S10472-012-9327-5},
  timestamp    = {Wed, 02 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NavarreteMSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/PachecoMR13,
  author       = {Ana Pacheco and
                  Jean{-}Luc Mari and
                  Pedro Real},
  title        = {A continuous analog for 4-dimensional objects},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {67},
  number       = {1},
  pages        = {71--80},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10472-013-9336-z},
  doi          = {10.1007/S10472-013-9336-Z},
  timestamp    = {Fri, 25 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/PachecoMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics