default search action
Search dblp for Publications
export results for "toc:db/journals/amai/amai62.bht:"
@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} }
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.