Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/BeierleEKK18,
  author       = {Christoph Beierle and
                  Christian Eichhorn and
                  Gabriele Kern{-}Isberner and
                  Steven Kutsch},
  title        = {Properties of skeptical c-inference for conditional knowledge bases
                  and its realization as a constraint satisfaction problem},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {247--275},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9571-9},
  doi          = {10.1007/S10472-017-9571-9},
  timestamp    = {Tue, 02 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BeierleEKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BerendMP18,
  author       = {Daniel Berend and
                  Amnon Meisels and
                  Or Peri},
  title        = {Probabilistic optimal solution assessment for DCOPs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {1},
  pages        = {99--119},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9582-1},
  doi          = {10.1007/S10472-018-9582-1},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BerendMP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BliemW18,
  author       = {Bernhard Bliem and
                  Stefan Woltran},
  title        = {Equivalence between answer-set programs under (partially) fixed input},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {277--295},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9567-5},
  doi          = {10.1007/S10472-017-9567-5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BliemW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Cruz-FilipeGNS18,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Gra{\c{c}}a Gaspar and
                  Isabel Nunes and
                  Peter Schneider{-}Kamp},
  title        = {Active integrity constraints for general-purpose knowledge bases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {213--246},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9577-y},
  doi          = {10.1007/S10472-018-9577-Y},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Cruz-FilipeGNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DemeyS18,
  author       = {Lorenz Demey and
                  Hans Smessaert},
  title        = {Geometric and cognitive differences between logical diagrams for the
                  Boolean algebra B\({}_{\mbox{4}}\)},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {2},
  pages        = {185--208},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9585-y},
  doi          = {10.1007/S10472-018-9585-Y},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DemeyS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DurandHKMV18,
  author       = {Arnaud Durand and
                  Miika Hannula and
                  Juha Kontinen and
                  Arne Meier and
                  Jonni Virtema},
  title        = {Approximation and dependence via multiteam semantics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {297--320},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9568-4},
  doi          = {10.1007/S10472-017-9568-4},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DurandHKMV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FerrarottiSTW18,
  author       = {Flavio Ferrarotti and
                  Klaus{-}Dieter Schewe and
                  Loredana Tec and
                  Qing Wang},
  title        = {A unifying logic for non-deterministic, parallel and concurrent abstract
                  state machines},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {321--349},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9569-3},
  doi          = {10.1007/S10472-017-9569-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FerrarottiSTW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GyssensS18,
  author       = {Marc Gyssens and
                  Guillermo Ricardo Simari},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {209--212},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9595-9},
  doi          = {10.1007/S10472-018-9595-9},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GyssensS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/JguirimNC18,
  author       = {Wafa Jguirim and
                  Wady Naanaa and
                  Martin C. Cooper},
  title        = {A polynomial relational class of binary {CSP}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {1},
  pages        = {1--20},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-017-9566-6},
  doi          = {10.1007/S10472-017-9566-6},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/JguirimNC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KeidarA18,
  author       = {Ofri Keidar and
                  Noa Agmon},
  title        = {Safe navigation in adversarial environments},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {2},
  pages        = {121--164},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9591-0},
  doi          = {10.1007/S10472-018-9591-0},
  timestamp    = {Tue, 10 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KeidarA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Kokkinis18,
  author       = {Ioannis Kokkinis},
  title        = {The complexity of satisfiability in non-iterated and iterated probabilistic
                  logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {3-4},
  pages        = {351--382},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9593-y},
  doi          = {10.1007/S10472-018-9593-Y},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Kokkinis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/RiveretBGGRS18,
  author       = {R{\'{e}}gis Riveret and
                  Pietro Baroni and
                  Yang Gao and
                  Guido Governatori and
                  Antonino Rotolo and
                  Giovanni Sartor},
  title        = {A labelling framework for probabilistic argumentation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {1},
  pages        = {21--71},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9574-1},
  doi          = {10.1007/S10472-018-9574-1},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/RiveretBGGRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/TriskaV18,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  title        = {Minimal bases of temporal attribute implications},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {1},
  pages        = {73--97},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9576-z},
  doi          = {10.1007/S10472-018-9576-Z},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/TriskaV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZghidiHR18,
  author       = {Imen Zghidi and
                  Brahim Hnich and
                  Abdelwaheb Reba{\"{\i}}},
  title        = {Introducing statistical consistency for infinite chance constraints},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {2},
  pages        = {165--181},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9572-3},
  doi          = {10.1007/S10472-018-9572-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZghidiHR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZghidiHR18a,
  author       = {Imen Zghidi and
                  Brahim Hnich and
                  Abdelwaheb Reba{\"{\i}}},
  title        = {Correction to: Introducing statistical consistency for infinite chance
                  constraints},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {2},
  pages        = {183},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9583-0},
  doi          = {10.1007/S10472-018-9583-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZghidiHR18a.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.