Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/BagetGGLRS18,
  author       = {Jean{-}Fran{\c{c}}ois Baget and
                  Laurent Garcia and
                  Fabien Garreau and
                  Claire Lef{\`{e}}vre and
                  Swan Rocher and
                  Igor St{\'{e}}phan},
  title        = {Bringing existential variables in answer set programming and bringing
                  non-monotony in existential rules: two sides of the same coin},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {3--41},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9563-9},
  doi          = {10.1007/S10472-017-9563-9},
  timestamp    = {Fri, 01 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BagetGGLRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BerryhillV18,
  author       = {Ryan Berryhill and
                  Andreas G. Veneris},
  title        = {Efficient suspect selection in unreachable state diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {4},
  pages        = {261--277},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9578-x},
  doi          = {10.1007/S10472-018-9578-X},
  timestamp    = {Sat, 02 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BerryhillV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ConfalonieriESK18,
  author       = {Roberto Confalonieri and
                  Manfred Eppe and
                  Marco Schorlemmer and
                  Oliver Kutz and
                  Rafael Pe{\~{n}}aloza and
                  Enric Plaza},
  title        = {Upward refinement operators for conceptual blending in the description
                  logic {\(\mathscr{E}\)} {\(\mathscr{L}\)}\({}^{\mbox{++}}\)},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {69--99},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-016-9524-8},
  doi          = {10.1007/S10472-016-9524-8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ConfalonieriESK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DahlTB18,
  author       = {Ver{\'{o}}nica Dahl and
                  Sergio Tessaris and
                  Mariano De Sousa Bispo},
  title        = {Parsing as semantically guided constraint solving: the role of ontologies},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {161--185},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9573-2},
  doi          = {10.1007/S10472-018-9573-2},
  timestamp    = {Wed, 16 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DahlTB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DeagustiniMFS18,
  author       = {Cristhian A. D. Deagustini and
                  Maria Vanina Martinez and
                  Marcelo A. Falappa and
                  Guillermo Ricardo Simari},
  title        = {How does incoherence affect inconsistency-tolerant semantics for Datalog{\(\pm\)}?},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {43--68},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-016-9519-5},
  doi          = {10.1007/S10472-016-9519-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DeagustiniMFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/JayakumarS18,
  author       = {Badrinath Jayakumar and
                  Rajshekhar Sunderraman},
  title        = {Quasi-classical reasoning in paraconsistent databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {131--159},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9536-z},
  doi          = {10.1007/S10472-017-9536-Z},
  timestamp    = {Wed, 16 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/JayakumarS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MaushagenR18,
  author       = {Cynthia Maushagen and
                  J{\"{o}}rg Rothe},
  title        = {Complexity of control by partitioning veto elections and of control
                  by adding candidates to plurality elections},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {4},
  pages        = {219--244},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9565-7},
  doi          = {10.1007/S10472-017-9565-7},
  timestamp    = {Fri, 01 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MaushagenR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PapiniB18,
  author       = {Odile Papini and
                  Salem Benferhat},
  title        = {Preface for the special issue on Ontologies and Logic Programming
                  for Query Answering},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9580-3},
  doi          = {10.1007/S10472-018-9580-3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PapiniB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PrestwichTO18,
  author       = {Steven D. Prestwich and
                  S. Armagan Tarim and
                  Ibrahim {\"{O}}zkan},
  title        = {A new causal discovery heuristic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {4},
  pages        = {245--259},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9575-0},
  doi          = {10.1007/S10472-018-9575-0},
  timestamp    = {Sun, 19 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/PrestwichTO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/SadrzadehKB18,
  author       = {Mehrnoosh Sadrzadeh and
                  Dimitri Kartsaklis and
                  Esma Balkir},
  title        = {Sentence entailment in compositional distributional semantics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {4},
  pages        = {189--218},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9570-x},
  doi          = {10.1007/S10472-017-9570-X},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/SadrzadehKB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/VenableR18,
  author       = {Kristen Brent Venable and
                  Francesca Rossi},
  title        = {Preface to the special issue: {ISAIM} 2016},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {4},
  pages        = {187--188},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9579-9},
  doi          = {10.1007/S10472-018-9579-9},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/VenableR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZeseBRCL18,
  author       = {Riccardo Zese and
                  Elena Bellodi and
                  Fabrizio Riguzzi and
                  Giuseppe Cota and
                  Evelina Lamma},
  title        = {Tableau reasoning for description logics and its extension to probabilities},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {82},
  number       = {1-3},
  pages        = {101--130},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-016-9529-3},
  doi          = {10.1007/S10472-016-9529-3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZeseBRCL18.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.