Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/AmgoudV11,
  author       = {Leila Amgoud and
                  Srdjan Vesic},
  title        = {A new approach for preference-based argumentation frameworks},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {2},
  pages        = {149--183},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9271-9},
  doi          = {10.1007/S10472-011-9271-9},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AmgoudV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/AtzeniGC11,
  author       = {Paolo Atzeni and
                  Giorgio Gianforme and
                  Paolo Cappellari},
  title        = {Data model descriptions and translation signatures in a multi-model
                  framework},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {287--315},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9277-y},
  doi          = {10.1007/S10472-012-9277-Y},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AtzeniGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BiskupL11,
  author       = {Joachim Biskup and
                  Sebastian Link},
  title        = {Appropriate inferences of data dependencies in relational databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {213--255},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9275-0},
  doi          = {10.1007/S10472-012-9275-0},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BiskupL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BujorianuFP11,
  author       = {Manuela{-}Luminita Bujorianu and
                  Michael Fisher and
                  Corina S. Pasareanu},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {1},
  pages        = {1--3},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9273-7},
  doi          = {10.1007/S10472-011-9273-7},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BujorianuFP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GiannakopoulouBSEH11,
  author       = {Dimitra Giannakopoulou and
                  David H. Bushnell and
                  Johann Schumann and
                  Heinz Erzberger and
                  Karen Heere},
  title        = {Formal testing for separation assurance},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {1},
  pages        = {5--30},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9224-3},
  doi          = {10.1007/S10472-011-9224-3},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiannakopoulouBSEH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GravesB11,
  author       = {Henson Graves and
                  Yvonne Bijan},
  title        = {Using formal methods with SysML in aerospace design and engineering},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {1},
  pages        = {53--102},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9267-5},
  doi          = {10.1007/S10472-011-9267-5},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GravesB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HadjAliKP11,
  author       = {Allel HadjAli and
                  Souhila Kaci and
                  Henri Prade},
  title        = {Database preference queries - a possibilistic logic approach with
                  symbolic priorities},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {357--383},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9279-9},
  doi          = {10.1007/S10472-012-9279-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HadjAliKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HartmannK11,
  author       = {Sven Hartmann and
                  Gabriele Kern{-}Isberner},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {209--211},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9281-2},
  doi          = {10.1007/S10472-012-9281-2},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HartmannK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Hegner11,
  author       = {Stephen J. Hegner},
  title        = {Information-based distance measures and the canonical reflection of
                  view updates},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {317--355},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9278-x},
  doi          = {10.1007/S10472-012-9278-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Hegner11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/JanssenSVC11,
  author       = {Jeroen Janssen and
                  Steven Schockaert and
                  Dirk Vermeir and
                  Martine De Cock},
  title        = {Aggregated Fuzzy Answer Set Programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {2},
  pages        = {103--147},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9256-8},
  doi          = {10.1007/S10472-011-9256-8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/JanssenSVC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KhanZQ11,
  author       = {Junaid Ali Khan and
                  Raja Muhammad Asif Zahoor and
                  Ijaz Mansoor Qureshi},
  title        = {Numerical treatment of nonlinear Emden-Fowler equation using stochastic
                  technique},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {2},
  pages        = {185--207},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9272-8},
  doi          = {10.1007/S10472-011-9272-8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/KhanZQ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Kohler11,
  author       = {Henning K{\"{o}}hler},
  title        = {Autonomous sets for the hypergraph of all canonical covers},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {257--285},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9276-z},
  doi          = {10.1007/S10472-012-9276-Z},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Kohler11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LukasiewiczPS11,
  author       = {Thomas Lukasiewicz and
                  Livia Predoiu and
                  Heiner Stuckenschmidt},
  title        = {Tightly integrated probabilistic description logic programs for representing
                  ontology mappings},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {3-4},
  pages        = {385--425},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-012-9280-3},
  doi          = {10.1007/S10472-012-9280-3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LukasiewiczPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/SirigineediTWZ11,
  author       = {Gopinadh Sirigineedi and
                  Antonios Tsourdos and
                  Brian A. White and
                  Rafal Zbikowski},
  title        = {Kripke modelling and verification of temporal specifications of a
                  multiple {UAV} system},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {63},
  number       = {1},
  pages        = {31--52},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9270-x},
  doi          = {10.1007/S10472-011-9270-X},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/SirigineediTWZ11.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.