Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/BorosG14,
  author       = {Endre Boros and
                  Aritanan Gruber},
  title        = {Hardness results for approximate pure Horn {CNF} formulae minimization},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {4},
  pages        = {327--363},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9415-9},
  doi          = {10.1007/S10472-014-9415-9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BorosG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BresolinMGMS14,
  author       = {Davide Bresolin and
                  Dario Della Monica and
                  Valentin Goranko and
                  Angelo Montanari and
                  Guido Sciavicco},
  title        = {The dark side of interval temporal logic: marking the undecidability
                  border},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {41--83},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9376-4},
  doi          = {10.1007/S10472-013-9376-4},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/BresolinMGMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BresolinMMS14,
  author       = {Davide Bresolin and
                  Dario Della Monica and
                  Angelo Montanari and
                  Guido Sciavicco},
  title        = {The light side of interval temporal logic: the Bernays-Sch{\"{o}}nfinkel
                  fragment of {CDT}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {11--39},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9337-y},
  doi          = {10.1007/S10472-013-9337-Y},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/BresolinMMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CombiS14,
  author       = {Carlo Combi and
                  Pietro Sala},
  title        = {Interval-based temporal functional dependencies: specification and
                  verification},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {85--130},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9387-1},
  doi          = {10.1007/S10472-013-9387-1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CombiS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/EirinakisRSW14,
  author       = {Pavlos Eirinakis and
                  Salvatore Ruggieri and
                  K. Subramani and
                  Piotr Wojciechowski},
  title        = {On quantified linear implications},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {4},
  pages        = {301--325},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9332-3},
  doi          = {10.1007/S10472-013-9332-3},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/EirinakisRSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HansenPB14,
  author       = {Michael R. Hansen and
                  Anh{-}Dung Phan and
                  Aske Wiid Brekling},
  title        = {A practical approach to model checking Duration Calculus using Presburger
                  Arithmetic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {251--278},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9373-7},
  doi          = {10.1007/S10472-013-9373-7},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/HansenPB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MansourS14,
  author       = {Yishay Mansour and
                  Mariano Schain},
  title        = {Robust domain adaptation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {4},
  pages        = {365--380},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9391-5},
  doi          = {10.1007/S10472-013-9391-5},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MansourS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Moszkowski14,
  author       = {Ben C. Moszkowski},
  title        = {Compositional reasoning using intervals and time reversal},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {175--250},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9356-8},
  doi          = {10.1007/S10472-013-9356-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Moszkowski14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MoszkowskiGL14,
  author       = {Ben C. Moszkowski and
                  Dimitar P. Guelev and
                  Martin Leucker},
  title        = {Guest editors' preface to special issue on interval temporal logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {1--9},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9417-7},
  doi          = {10.1007/S10472-014-9417-7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MoszkowskiGL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/SchellhornTEPR14,
  author       = {Gerhard Schellhorn and
                  Bogdan Tofan and
                  Gidon Ernst and
                  J{\"{o}}rg Pf{\"{a}}hler and
                  Wolfgang Reif},
  title        = {{RGITL:} {A} temporal logic framework for compositional reasoning
                  about interleaved programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {1-3},
  pages        = {131--174},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-013-9389-z},
  doi          = {10.1007/S10472-013-9389-Z},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/SchellhornTEPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Simon14,
  author       = {Hans Ulrich Simon},
  title        = {PAC-learning in the presence of one-sided classification noise},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {4},
  pages        = {283--300},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-012-9325-7},
  doi          = {10.1007/S10472-012-9325-7},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Simon14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Sloan14,
  author       = {Robert H. Sloan},
  title        = {Preface to the special issue},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {71},
  number       = {4},
  pages        = {279--281},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9428-4},
  doi          = {10.1007/S10472-014-9428-4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Sloan14.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.