Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/AlbertiDP11,
  author       = {Marco Alberti and
                  Pierangelo Dell'Acqua and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Observation strategies for event detection with incidence on runtime
                  verification: theory, algorithms, experimentation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {161--186},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9259-5},
  doi          = {10.1007/S10472-011-9259-5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AlbertiDP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BaiolettiMPR11,
  author       = {Marco Baioletti and
                  Alfredo Milani and
                  Valentina Poggioni and
                  Fabio Rossi},
  title        = {Experimental evaluation of pheromone models in ACOPlan},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {187--217},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9265-7},
  doi          = {10.1007/S10472-011-9265-7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BaiolettiMPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Benzmuller11,
  author       = {Christoph Benzm{\"{u}}ller},
  title        = {Combining and automating classical and non-classical logics in classical
                  higher-order logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {103--128},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9249-7},
  doi          = {10.1007/S10472-011-9249-7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Benzmuller11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BiancoFMM11,
  author       = {Alessandro Bianco and
                  Marco Faella and
                  Fabio Mogavero and
                  Aniello Murano},
  title        = {Exploring the boundary of half-positionality},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {55--77},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9250-1},
  doi          = {10.1007/S10472-011-9250-1},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BiancoFMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CakmakEE11,
  author       = {Duygu {\c{C}}akmak and
                  Esra Erdem and
                  Halit Erdogan},
  title        = {Computing weighted solutions in {ASP:} representation-based method
                  vs. search-based method},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {219--258},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9242-1},
  doi          = {10.1007/S10472-011-9242-1},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/CakmakEE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DixL11,
  author       = {J{\"{u}}rgen Dix and
                  Jo{\~{a}}o Leite},
  title        = {Preface to the special issue on computational logics in multi-agent
                  systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {1--5},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9269-3},
  doi          = {10.1007/S10472-011-9269-3},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DixL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GavanelliM11,
  author       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {17th {RCRA} international workshop on "Experimental evaluation of
                  algorithms for solving problems with combinatorial explosion"},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {159--160},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9268-4},
  doi          = {10.1007/S10472-011-9268-4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GavanelliM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GereviniSS11,
  author       = {Alfonso Gerevini and
                  Alessandro Saetti and
                  Ivan Serina},
  title        = {Planning in domains with derived predicates through rule-action graphs
                  and local search},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {259--298},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9240-3},
  doi          = {10.1007/S10472-011-9240-3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GereviniSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GuimaransHRJR11,
  author       = {Daniel Guimarans and
                  Rosa Herrero and
                  Daniel Riera and
                  Angel A. Juan and
                  Juan Jos{\'{e}} Ramos},
  title        = {Combining probabilistic algorithms, Constraint Programming and Lagrangian
                  Relaxation to solve the Vehicle Routing Problem},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {299--315},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9261-y},
  doi          = {10.1007/S10472-011-9261-Y},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GuimaransHRJR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HubnerBB11,
  author       = {Jomi Fred H{\"{u}}bner and
                  Olivier Boissier and
                  Rafael H. Bordini},
  title        = {A normative programming language for multi-agent organisations},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {27--53},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9251-0},
  doi          = {10.1007/S10472-011-9251-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HubnerBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KowalskiS11,
  author       = {Robert A. Kowalski and
                  Fariba Sadri},
  title        = {Abductive logic programming agents with destructive databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {129--158},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9253-y},
  doi          = {10.1007/S10472-011-9253-Y},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KowalskiS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Marques-SilvaAGL11,
  author       = {Jo{\~{a}}o Marques{-}Silva and
                  Josep Argelich and
                  Ana Gra{\c{c}}a and
                  In{\^{e}}s Lynce},
  title        = {Boolean lexicographic optimization: algorithms {\&} applications},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {317--343},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9233-2},
  doi          = {10.1007/S10472-011-9233-2},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/Marques-SilvaAGL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MileoSMB11,
  author       = {Alessandra Mileo and
                  Torsten Schaub and
                  Davide Merico and
                  Roberto Bisiani},
  title        = {Knowledge-based multi-criteria optimization to support indoor positioning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {345--370},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9241-2},
  doi          = {10.1007/S10472-011-9241-2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MileoSMB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MoreN11,
  author       = {Sara Miner More and
                  Pavel Naumov},
  title        = {Hypergraphs of multiparty secrets},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {79--101},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9252-z},
  doi          = {10.1007/S10472-011-9252-Z},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MoreN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/OddiRCS11,
  author       = {Angelo Oddi and
                  Riccardo Rasconi and
                  Amedeo Cesta and
                  Stephen F. Smith},
  title        = {Solving job shop scheduling with setup times through constraint-based
                  iterative sampling: an experimental analysis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {371--402},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9264-8},
  doi          = {10.1007/S10472-011-9264-8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/OddiRCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PulinaT11,
  author       = {Luca Pulina and
                  Armando Tacchella},
  title        = {NeVer: a tool for artificial neural networks verification},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {3-4},
  pages        = {403--425},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9243-0},
  doi          = {10.1007/S10472-011-9243-0},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PulinaT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Walsh11,
  author       = {Toby Walsh},
  title        = {Is computational complexity a barrier to manipulation?},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {62},
  number       = {1-2},
  pages        = {7--26},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10472-011-9255-9},
  doi          = {10.1007/S10472-011-9255-9},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Walsh11.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.