Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/BeierleK12,
  author       = {Christoph Beierle and
                  Gabriele Kern{-}Isberner},
  title        = {Semantical investigations into nonmonotonic and probabilistic logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {123--158},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9310-1},
  doi          = {10.1007/S10472-012-9310-1},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BeierleK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CenzerR12,
  author       = {Douglas Cenzer and
                  Jeffrey B. Remmel},
  title        = {A connection between the Cantor-Bendixson derivative and the well-founded
                  semantics of finite logic programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {1},
  pages        = {1--24},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9294-x},
  doi          = {10.1007/S10472-012-9294-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CenzerR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ConfalonieriNOV12,
  author       = {Roberto Confalonieri and
                  Juan Carlos Nieves and
                  Mauricio Osorio and
                  Javier V{\'{a}}zquez{-}Salceda},
  title        = {Dealing with explicit preferences and uncertainty in answer set programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {159--198},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9311-0},
  doi          = {10.1007/S10472-012-9311-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ConfalonieriNOV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Gelder12,
  author       = {Allen Van Gelder},
  title        = {Producing and verifying extremely large propositional refutations
                  - Have your cake and eat it too},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {4},
  pages        = {329--372},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9322-x},
  doi          = {10.1007/S10472-012-9322-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Gelder12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HernandoRMT12,
  author       = {Antonio Hernando and
                  Eugenio Roanes{-}Lozano and
                  Roberto Maestre{-}Mart{\'{\i}}nez and
                  Jorge Tejedor},
  title        = {A logic-algebraic approach to decision taking in a railway interlocking
                  system},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {4},
  pages        = {317--328},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9321-y},
  doi          = {10.1007/S10472-012-9321-Y},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HernandoRMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KatonaS12,
  author       = {Gyula O. H. Katona and
                  Attila Sali},
  title        = {On the distance of databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {199--216},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9306-x},
  doi          = {10.1007/S10472-012-9306-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KatonaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LinkP12,
  author       = {Sebastian Link and
                  Henri Prade},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {79--81},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9304-z},
  doi          = {10.1007/S10472-012-9304-Z},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LinkP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/OgnjanovicMRDP12,
  author       = {Zoran Ognjanovic and
                  Zoran Markovic and
                  Miodrag Raskovic and
                  Dragan Doder and
                  Aleksandar Perovic},
  title        = {A propositional probabilistic logic with discrete linear time for
                  reasoning about evidence},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {217--243},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9307-9},
  doi          = {10.1007/S10472-012-9307-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/OgnjanovicMRDP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/RaphaelS12,
  author       = {Christopher Raphael and
                  Guy Shani},
  title        = {The Skyline algorithm for {POMDP} value function pruning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {1},
  pages        = {61--77},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9302-1},
  doi          = {10.1007/S10472-012-9302-1},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/RaphaelS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/WinterHG12,
  author       = {Michael Winter and
                  Torsten Hahmann and
                  Michael Gr{\"{u}}ninger},
  title        = {On the algebra of regular sets - Properties of representable Stonian
                  p-ortholattices},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {1},
  pages        = {25--60},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9301-2},
  doi          = {10.1007/S10472-012-9301-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/WinterHG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZahadatS12,
  author       = {Payam Zahadat and
                  Kasper St{\o}y},
  title        = {An alternative representation of Fractal Gene Regulatory Networks
                  facilitating analysis and interpretation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {4},
  pages        = {285--316},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9305-y},
  doi          = {10.1007/S10472-012-9305-Y},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZahadatS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZhangL12,
  author       = {Zhihu Zhang and
                  Zuoquan Lin},
  title        = {Minimal hypotheses: extension-based semantics to argumentation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {245--283},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9308-8},
  doi          = {10.1007/S10472-012-9308-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZhangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/dAmatoFFGL12,
  author       = {Claudia d'Amato and
                  Nicola Fanizzi and
                  Bettina Fazzinga and
                  Georg Gottlob and
                  Thomas Lukasiewicz},
  title        = {Ontology-based semantic search on the Web and its combination with
                  the power of inductive reasoning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {83--121},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9309-7},
  doi          = {10.1007/S10472-012-9309-7},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/dAmatoFFGL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.