Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/Bochman08,
  author       = {Alexander Bochman},
  title        = {Default logic generalized and simplified},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {21--49},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9109-x},
  doi          = {10.1007/S10472-009-9109-X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Bochman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BullingJD08,
  author       = {Nils Bulling and
                  Wojciech Jamroga and
                  J{\"{u}}rgen Dix},
  title        = {Reasoning about temporal properties of rational play},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {51--114},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9110-4},
  doi          = {10.1007/S10472-009-9110-4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BullingJD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/EiterIKS08,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Roman Schindlauer},
  title        = {Exploiting conjunctive queries in description logic programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {115--152},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9111-3},
  doi          = {10.1007/S10472-009-9111-3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/EiterIKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Fitting08,
  author       = {Melvin Fitting},
  title        = {Justification logics, logics of knowledge, and conservativity},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {153--167},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9112-2},
  doi          = {10.1007/S10472-009-9112-2},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Fitting08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GiunchigliaLM08,
  author       = {Enrico Giunchiglia and
                  Nicola Leone and
                  Marco Maratea},
  title        = {On the relation among answer set solvers},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {169--204},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9113-1},
  doi          = {10.1007/S10472-009-9113-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiunchigliaLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Kaminski08,
  author       = {Michael Kaminski},
  title        = {A non-preferential semantics of non-monotonic modal logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {205--223},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9114-0},
  doi          = {10.1007/S10472-009-9114-0},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Kaminski08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KaminskiT08,
  author       = {Michael Kaminski and
                  Miroslaw Truszczynski},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {1--3},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9106-0},
  doi          = {10.1007/S10472-009-9106-0},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KaminskiT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Makowsky08,
  author       = {Johann A. Makowsky},
  title        = {From Hilbert's program to a logic tool box},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {225--250},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9115-z},
  doi          = {10.1007/S10472-009-9115-Z},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Makowsky08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MellarkodGZ08,
  author       = {Veena S. Mellarkod and
                  Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Integrating answer set programming and constraint logic programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {251--287},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9116-y},
  doi          = {10.1007/S10472-009-9116-Y},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MellarkodGZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/NerodeR08,
  author       = {Anil Nerode and
                  Jeffrey B. Remmel},
  title        = {Consistency properties and set based logic programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {289--311},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9117-x},
  doi          = {10.1007/S10472-009-9117-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NerodeR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Niemela08,
  author       = {Ilkka Niemel{\"{a}}},
  title        = {Stable models and difference logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {313--329},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9118-9},
  doi          = {10.1007/S10472-009-9118-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Niemela08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Remmel08,
  author       = {Jeffrey B. Remmel},
  title        = {My work with Victor Marek: a mathematician looks at answer set programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {5--16},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9107-z},
  doi          = {10.1007/S10472-009-9107-Z},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Remmel08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Truszczynski08,
  author       = {Miroslaw Truszczynski},
  title        = {My six encounters with Victor Marek - a personal account},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {17--20},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9108-y},
  doi          = {10.1007/S10472-009-9108-Y},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Truszczynski08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/TruszczynskiW08,
  author       = {Miroslaw Truszczynski and
                  Stefan Woltran},
  title        = {Hyperequivalence of logic programs with respect to supported models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {331--365},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9119-8},
  doi          = {10.1007/S10472-009-9119-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/TruszczynskiW08.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.