Artificial Intelligence 2020: all accepted papers
- Multiple object tracking: A literature review ↗Wenhan Luo, Junliang Xing, Anton Milan et al.1,099 citations
- Evaluating XAI: A comparison of rule-based and example-based explanations ↗Jasper van der Waa, Elisabeth G.I. Nieuwburg, Anita Cremers et al.391 citations
- Explanation in AI and law: Past, present and future ↗Katie M. Atkinson, Trevor J. M. Bench-Capon, Danushka Bollegala178 citations
- Interestingness elements for explainable reinforcement learning: Understanding agents' capabilities and limitations ↗Pedro Sequeira, Melinda T. Gervasio104 citations
- Evaluating local explanation methods on ground truth ↗Riccardo Guidotti98 citations
- Adapting a kidney exchange algorithm to align with human values ↗Rachel Freedman, Jana Schaich Borg, Walter P. Sinnott-Armstrong et al.87 citations
- Swarm intelligence for self-organized clustering ↗Michael Christoph Thrun, Alfred Ultsch84 citations
- Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support ↗Christoph Benzmüller, Xavier Parent, Leendert van der Torre62 citations
- Combining gaze and AI planning for online human intention recognition ↗Ronal Singh, Tim Miller, Joshua Newn et al.60 citations
- PopMNet: Generating structured pop music melodies using neural networks ↗Jian Wu, Xiaoguang Liu, Xiaolin Hu et al.57 citations
- SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem ↗Yiyuan Wang, Shaowei Cai, Jiejiang Chen et al.56 citations
- Ethical approaches and autonomous systems ↗Trevor J. M. Bench-Capon55 citations
- How do fairness definitions fare? Testing public attitudes towards three algorithmic definitions of fairness in loan allocations ↗Nripsuta Ani Saxena, Karen Huang, Evan DeFilippis et al.49 citations
- Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability ↗Shaowei Cai, Zhendong Lei48 citations
- Memetic algorithms outperform evolutionary algorithms in multimodal optimisation ↗Phan Trung Hai Nguyen, Dirk Sudholt43 citations
- Negotiating team formation using deep reinforcement learning ↗Yoram Bachrach, Richard Everett, Edward Hughes et al.40 citations
- Qualitative case-based reasoning and learning ↗Thiago Pedro Donadon Homem, Paulo Eduardo Santos, Anna Helena Reali Costa et al.39 citations
- Rethinking epistemic logic with belief bases ↗Emiliano Lorini39 citations
- Synchronous bidirectional inference for neural sequence generation ↗Jiajun Zhang, Long Zhou, Yang Zhao et al.38 citations
- Robust learning with imperfect privileged information ↗Xue Li, Bo Du, Chang Xu et al.36 citations
- Fair navigation planning: A resource for characterizing and designing fairness in mobile robots ↗Martim Brandão, Marina Denise Jirotka, Helena Webb et al.34 citations
- Price of Pareto Optimality in hedonic games ↗Edith Elkind, Angelo Fanelli, Michele Flammini31 citations
- A technical survey on statistical modelling and design methods for crowdsourcing quality control ↗Yuan Jin, Mark Carman, Ye Zhu et al.30 citations
- Boolean algebras of conditionals, probability and logic ↗Tommaso Flaminio, Lluı́s Godo, Hykel Hosni30 citations
- Epistemic graphs for representing and reasoning with positive and negative influences of arguments ↗Anthony Hunter, Sylwia Polberg, Matthias Thimm30 citations
- An approach for combining ethical principles with public opinion to guide public policy ↗Edmond Awad, Michael Anderson, Susan Leigh Anderson et al.29 citations
- DEL-based epistemic planning: Decidability and complexity ↗Thomas Bolander, Tristan Charrier, Sophie Pinchinat et al.28 citations
- SAT-based explicit LTLf satisfiability checking ↗Jianwen Li, Geguang Pu, Yueling Zhang et al.28 citations
- A reconstruction of multipreference closure ↗Laura Giordano, Valentina Gliozzi26 citations
- Dependency-based syntax-aware word representations ↗Meishan Zhang, Zhenghua Li, Guohong Fu et al.25 citations
- Mis- and disinformation in a bounded confidence model ↗Igor Douven, Rainer Hegselmann25 citations
- Story embedding: Learning distributed representations of stories based on character networks ↗O‐Joun Lee, Jason J. Jung24 citations
- Verification of multi-agent systems with public actions against strategy logic ↗Francesco Belardinelli, Alessio R. Lomuscio, Aniello Murano et al.24 citations
- Dynamic term-modal logics for first-order epistemic planning ↗Andrés Occhipinti Liberman, Andreas Achen, Rasmus K. Rendsvig23 citations
- Real-time reasoning in OWL2 for GDPR compliance ↗Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova et al.23 citations
- Weakly-supervised sensor-based activity segmentation and recognition via learning from distributions ↗Hangwei Qian, Sinno Jialin Pan, Chunyan Miao23 citations
- An epistemic logic of blameworthiness ↗Pavel Naumov, Jia Tao22 citations
- Embedding deep networks into visual explanations ↗Zhongang Qi, Saeed Khorram, Fuxin Li22 citations
- Spatial relation learning for explainable image classification and annotation in critical applications ↗Régis Pierrard, Jean-Philippe Poli, Céline Hudelot22 citations
- Relative inconsistency measures ↗Philippe Besnard, John Grant20 citations
- Utilitarian welfare and representation guarantees of approval-based multiwinner rules ↗Martin Lackner, Piotr Skowron20 citations
- A lightweight epistemic logic and its application to planning ↗Martin Cooper, Andreas Herzig, Faustine Maffre et al.19 citations
- Automated temporal equilibrium analysis: Verification and synthesis of multi-player games ↗Julián Gutiérrez, Muhammad Sharfi Najib, Giuseppe Perelli et al.19 citations
- Definability for model counting ↗Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis18 citations
- Evaluation of the moral permissibility of action plans ↗Felix Lindner, Robert Mattmüller, Bernhard Nebel18 citations
- Limited lookahead in imperfect-information games ↗Christian Kroer, Tüomas Sandholm16 citations
- On the equivalence of optimal recommendation sets and myopically optimal query sets ↗Paolo Viappiani, Craig E. Boutilier16 citations
- On the complexity of reasoning about opinion diffusion under majority dynamics ↗Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco15 citations
- Quantifying controllability in temporal networks with uncertainty ↗Shyan Akmal, Savana Ammons, Hemeng Li et al.15 citations
- The logic of gossiping ↗Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer15 citations
- X*: Anytime Multi-Agent Path Finding for Sparse Domains using Window-Based Iterative Repairs ↗Kyle Vedder, Joydeep Biswas15 citations
- Complexity of abstract argumentation under a claim-centric view ↗Wolfgang Dvořák, Stefan Woltran14 citations
- Autoepistemic answer set programming ↗Pedro Cabalar, Jorge Fandinno, Luís Fariñas del Cerro13 citations
- Probabilistic reasoning about epistemic action narratives ↗Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens et al.12 citations
- The computational complexity of Angry Birds ↗Matthew Stephenson, Jochen Renz, Xiaoyu Ge12 citations
- Artificial Intelligence requires more than deep learning — but what, exactly? ↗Michael Wooldridge11 citations
- CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement ↗Alban Grastien, Enrico Scala11 citations
- Handling and measuring inconsistency in non-monotonic logics ↗Markus Ulbricht, Matthias Thimm, Gerhard Brewka11 citations
- Using POMDPs for learning cost sensitive decision trees ↗Shlomi Maliah, Guy Shani11 citations
- Dashed strings for string constraint solving ↗Roberto Amadini, Graeme Gange, Peter J. Stuckey10 citations
- Peeking Behind the Ordinal Curtain: Improving Distortion via Cardinal Queries ↗Georgios Amanatidis, Georgios Birmpas, Aris Filos-Ratsikas et al.10 citations
- Combining experts' causal judgments ↗Dalal Alrajeh, Hana Chockler, Joseph Yehuda Halpern9 citations
- Compatibility, desirability, and the running intersection property ↗Enrique Miranda, Marco Zaffalon A9 citations
- Game description language and dynamic epistemic logic compared ↗Thorsten Engesser, Robert Mattmüller, Bernhard Nebel et al.9 citations
- Metamodeling and metaquerying in OWL2QL ↗Maurizio Lenzerini B, Lorenzo Lepore, Antonella Poggi9 citations
- On strengthening the logic of iterated belief revision: Proper ordinal interval operators ↗Richard Booth, Jake Chandler9 citations
- Regression and progression in stochastic domains ↗Vaishak Belle, Hector J. Levesque9 citations
- Understanding the power of Max-SAT resolution through UP-resilience ↗Mohamed Sami Cherif, Djamal Habet, André Abramé9 citations
- When security games hit traffic: A deployed optimal traffic enforcement system ↗Ariel Rosenfeld, Oleg Maksimov, Sarit Kraus9 citations
- Autoepistemic equilibrium logic and epistemic specifications ↗Ezgi Iraz Su, Luís Fariñas del Cerro, Andreas Herzig8 citations
- Book review ↗Norman Fenton, Martin Neil, Anthony Costa Constantinou8 citations
- On the limits of forgetting in Answer Set Programming ↗Ricardo Gonçalves, Matthias Knorr, João Alexandre Leite et al.7 citations
- Probability pooling for dependent agents in collective learning ↗Jonathan Lawry B, Chanelle Lee7 citations
- Dynamically improved bounds bidirectional search ↗Edward C. Sewell, Sheldon H. Jacobson6 citations
- Effective footstep planning using homotopy-class guidance ↗Vinitha Ranganeni, Sahit Chintalapudi, Oren Salzman et al.6 citations
- Knowledge-based programs as succinct policies for partially observable domains ↗Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine et al.6 citations
- Special issue on autonomous agents modelling other agents: Guest editorial ↗Stefano V. Albrecht, Peter Stone, Michael P. Wellman6 citations
- Time-delayed collective flow diffusion models for inferring latent people flow from aggregated data at limited locations ↗Yusuke Zn Tanaka, Tomoharu Iwata, Takeshi Kurashima et al.6 citations
- Intention as commitment toward time ↗Marc van Zee, Dragan Doder, Leendert van der Torre et al.5 citations
- Knowing the price of success ↗Rui Cao, Pavel Naumov5 citations
- On fair price discrimination in multi-unit markets ↗Michele Flammini, Manuel Mauro, Matteo Tonelli5 citations
- On pruning search trees of impartial games ↗Piotr Beling, Marek Rogalski5 citations
- Batch repair actions for automated troubleshooting ↗Hilla Shinitzky, Roni Stern4 citations
- Fixed point semantics for stream reasoning ↗Christian Antić4 citations
- Interpretable time series kernel analytics by pre-image estimation ↗Thi Phuong Thao Tran, Ahlame Douzal-Chouakria, Saeed Varasteh Yazdi et al.4 citations
- Intrinsic approaches to prioritizing diagnoses in multi-context systems ↗Kedian Mu4 citations
- On composition of bounded-recall plans ↗Kaya Deuser, Pavel Naumov4 citations
- So, what exactly is a qualitative calculus? ↗Armen Inants, Jérôme Euzenat4 citations
- On quasi-inconsistency and its complexity ↗Carl Corea, Matthias Thimm2 citations
- Selecting goals in oversubscription planning using relaxed plans ↗Ángel García‐Olaya, Tomás de la Rosa, Daniel Borrajo2 citations
- Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games ↗Jiří Čermák, Viliam Lisý, Branislav Bošanský1 citation
- Pruning external minimality checking for answer set programs using semantic dependencies ↗Thomas Eiter, Tobias Kaminski1 citation
- Ballooning Multi-Armed Bandits ↗Ganesh Sambhaji Ghalme, Swapnil Dhamal, Shweta Jain et al.
This page in Markdown → https://md.research.elamur.ai/free/en/venues/artificial-intelligence/2020/papers/