Search dblp for Publications

export results for "toc:db/journals/jair/jair51.bht:"

 download as .bib file

@article{DBLP:journals/jair/AdigaKMV14,
  author       = {Abhijin Adiga and
                  Chris J. Kuhlman and
                  Henning S. Mortveit and
                  Anil Vullikanti},
  title        = {Sensitivity of Diffusion Dynamics to Network Uncertainty},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {207--226},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4330},
  doi          = {10.1613/JAIR.4330},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/AdigaKMV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/BackstromJJ14,
  author       = {Christer B{\"{a}}ckstr{\"{o}}m and
                  Anders Jonsson and
                  Peter Jonsson},
  title        = {Automaton Plans},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {255--291},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4391},
  doi          = {10.1613/JAIR.4391},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/BackstromJJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/BelardinelliLP14,
  author       = {Francesco Belardinelli and
                  Alessio Lomuscio and
                  Fabio Patrizi},
  title        = {Verification of Agent-Based Artifact Systems},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {333--376},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4424},
  doi          = {10.1613/JAIR.4424},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/BelardinelliLP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/BosanskyKLP14,
  author       = {Branislav Bosansk{\'{y}} and
                  Christopher Kiekintveld and
                  Viliam Lis{\'{y}} and
                  Michal Pechoucek},
  title        = {An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games
                  with Imperfect Information},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {829--866},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4477},
  doi          = {10.1613/JAIR.4477},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/BosanskyKLP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/CaiLS14,
  author       = {Shaowei Cai and
                  Chuan Luo and
                  Kaile Su},
  title        = {Scoring Functions Based on Second Level Score for k-SAT with Long
                  Clauses},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {413--441},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4480},
  doi          = {10.1613/JAIR.4480},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/CaiLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/CepekGK14,
  author       = {Ondrej Cepek and
                  Stefan Gursk{\'{y}} and
                  Petr Kucera},
  title        = {On Minimum Representations of Matched Formulas},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {707--723},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4517},
  doi          = {10.1613/JAIR.4517},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/CepekGK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/CohenCGGJ14,
  author       = {David A. Cohen and
                  Jason Crampton and
                  Andrei Gagarin and
                  Gregory Z. Gutin and
                  Mark Jones},
  title        = {Iterative Plan Construction for the Workflow Satisfiability Problem},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {555--577},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4435},
  doi          = {10.1613/JAIR.4435},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/CohenCGGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/CohnLLR14,
  author       = {Anthony G. Cohn and
                  Sanjiang Li and
                  Weiming Liu and
                  Jochen Renz},
  title        = {Reasoning about Topological and Cardinal Direction Relations Between
                  2-Dimensional Spatial Objects},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {493--532},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4513},
  doi          = {10.1613/JAIR.4513},
  timestamp    = {Tue, 20 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/CohnLLR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/FeldmanD14,
  author       = {Zohar Feldman and
                  Carmel Domshlak},
  title        = {Simple Regret Optimization in Online Planning for Markov Decision
                  Processes},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {165--205},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4432},
  doi          = {10.1613/JAIR.4432},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/FeldmanD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/KashPS14,
  author       = {Ian A. Kash and
                  Ariel D. Procaccia and
                  Nisarg Shah},
  title        = {No Agent Left Behind: Dynamic Fair Division of Multiple Resources},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {579--603},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4405},
  doi          = {10.1613/JAIR.4405},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/KashPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/Kissmann014,
  author       = {Peter Kissmann and
                  J{\"{o}}rg Hoffmann},
  title        = {{BDD} Ordering Heuristics for Classical Planning},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {779--804},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4586},
  doi          = {10.1613/JAIR.4586},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/Kissmann014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/Lopez-OrtizAH14,
  author       = {Alejandro L{\'{o}}pez{-}Ortiz and
                  Spyros Angelopoulos and
                  Ang{\`{e}}le M. Hamel},
  title        = {Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {533--554},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4360},
  doi          = {10.1613/JAIR.4360},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/Lopez-OrtizAH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/MetodiSKC14,
  author       = {Amit Metodi and
                  Roni Stern and
                  Meir Kalech and
                  Michael Codish},
  title        = {A Novel SAT-Based Approach to Model Based Diagnosis},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {377--411},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4503},
  doi          = {10.1613/JAIR.4503},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/MetodiSKC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/MicalizioT14,
  author       = {Roberto Micalizio and
                  Pietro Torasso},
  title        = {Cooperative Monitoring to Diagnose Multiagent Plans},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {1--70},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4339},
  doi          = {10.1613/JAIR.4339},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/MicalizioT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/NguyenHK14,
  author       = {P. Nguyen and
                  Melanie Hilario and
                  Alexandros Kalousis},
  title        = {Using Meta-mining to Support Data Mining Workflow Planning and Optimization},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {605--644},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4377},
  doi          = {10.1613/JAIR.4377},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/NguyenHK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/NissimB14,
  author       = {Raz Nissim and
                  Ronen I. Brafman},
  title        = {Distributed Heuristic Forward Search for Multi-agent Planning},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {293--332},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4295},
  doi          = {10.1613/JAIR.4295},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/NissimB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/SheltonC14,
  author       = {Christian R. Shelton and
                  Gianfranco Ciardo},
  title        = {Tutorial on Structured Continuous-Time Markov Processes},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {725--778},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4415},
  doi          = {10.1613/JAIR.4415},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/SheltonC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/StefanoniMKR14,
  author       = {Giorgio Stefanoni and
                  Boris Motik and
                  Markus Kr{\"{o}}tzsch and
                  Sebastian Rudolph},
  title        = {The Complexity of Answering Conjunctive and Navigational Queries over
                  {OWL} 2 {EL} Knowledge Bases},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {645--705},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4457},
  doi          = {10.1613/JAIR.4457},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/StefanoniMKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/WildeMW14,
  author       = {Boris de Wilde and
                  Adriaan ter Mors and
                  Cees Witteveen},
  title        = {Push and Rotate: a Complete Multi-agent Pathfinding Algorithm},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {443--492},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4447},
  doi          = {10.1613/JAIR.4447},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/WildeMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/WinikoffC14,
  author       = {Michael Winikoff and
                  Stephen Cranefield},
  title        = {On the Testability of {BDI} Agent Systems},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {71--131},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4458},
  doi          = {10.1613/JAIR.4458},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/WinikoffC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/WoodsendL14,
  author       = {Kristian Woodsend and
                  Mirella Lapata},
  title        = {Text Rewriting Improves Semantic Role Labeling},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {133--164},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4431},
  doi          = {10.1613/JAIR.4431},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/WoodsendL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/ZhuangP14,
  author       = {Zhiqiang Zhuang and
                  Maurice Pagnucco},
  title        = {Entrenchment-Based Horn Contraction},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {227--254},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4430},
  doi          = {10.1613/JAIR.4430},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/ZhuangP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/ZilliPMR14,
  author       = {Davide Zilli and
                  Oliver Parson and
                  Geoff V. Merrett and
                  Alex Rogers},
  title        = {A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced
                  Smartphone Biodiversity Monitoring},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {805--827},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4434},
  doi          = {10.1613/JAIR.4434},
  timestamp    = {Thu, 28 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/ZilliPMR14.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.