Search dblp for Publications

• > Home > Search

@article{DBLP:journals/amai/Bonacina99,
  author       = {Maria Paola Bonacina},
  title        = {A model and a first analysis of distributed-search contraction-based
                  strategies},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {149--199},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018919214722},
  doi          = {10.1023/A:1018919214722},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Bonacina99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CadoliPS99,
  author       = {Marco Cadoli and
                  Luigi Palopoli and
                  Francesco Scarcello},
  title        = {Propositional lower bounds: Algorithms and complexity},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {129--148},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018971231561},
  doi          = {10.1023/A:1018971231561},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CadoliPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Dix99,
  author       = {J{\"{u}}rgen Dix},
  title        = {Selected Papers of Logic in {AI} - Editorial},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {1--2},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018927416540},
  doi          = {10.1023/A:1018927416540},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Dix99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GuzmanOV99,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Implicates and reduction techniques for temporal logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {3--23},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018923315631},
  doi          = {10.1023/A:1018923315631},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GuzmanOV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HoekJT99,
  author       = {Wiebe van der Hoek and
                  Jan Jaspars and
                  Elias Thijsse},
  title        = {Persistence and minimality in epistemic logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {25--47},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018967130652},
  doi          = {10.1023/A:1018967130652},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HoekJT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Janhunen99,
  author       = {Tomi Janhunen},
  title        = {On the intertranslatability of non-monotonic logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {79--128},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018915113814},
  doi          = {10.1023/A:1018915113814},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Janhunen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/TorreT99,
  author       = {Leendert W. N. van der Torre and
                  Yao{-}Hua Tan},
  title        = {Contrary-to-duty reasoning with preference-based dyadic obligations},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {49--78},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018975332469},
  doi          = {10.1023/A:1018975332469},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/TorreT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}