---
title: "Artificial Intelligence 2017 — all accepted papers"
description: "All 63 papers of Artificial Intelligence 2017, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/artificial-intelligence/2017/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/artificial-intelligence/2017/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/) / [2017](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/2017/) / papers

# Artificial Intelligence 2017: all accepted papers

63 papers · the most cited first · [← Artificial Intelligence 2017](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/2017/)

1. **[Towards a science of integrated AI and Robotics ↗](https://doi.org/10.1016/j.artint.2017.03.003)**Kanna Rajan, Alessandro Saffiotti*177 citations*
2. **[Intelligent agent supporting human–multi-robot team collaboration ↗](https://doi.org/10.1016/j.artint.2017.08.005)**Ariel Rosenfeld, Noa Agmon, Oleg Maksimov et al.*112 citations*
3. **[Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems ↗](https://doi.org/10.1016/j.artint.2017.02.001)**Nawal Benabbou, Patrice Perny, Paolo Viappiani*74 citations*
4. **[A computational framework for conceptual blending ↗](https://doi.org/10.1016/j.artint.2017.11.005)**Manfred Eppe, Ewen Maclean, Roberto Confalonieri et al.*68 citations*
5. **[The first international competition on computational models of argumentation: Results and analysis ↗](https://doi.org/10.1016/j.artint.2017.08.006)**Matthias Thimm, Serena Villata*62 citations*
6. **[A cooperative game-theoretic approach to the social ridesharing problem ↗](https://doi.org/10.1016/j.artint.2017.02.004)**Filippo Bistaffa, Alessandro Farinelli, Georgios Chalkiadakis et al.*60 citations*
7. **[Decentralized Reinforcement Learning of Robot Behaviors ↗](https://doi.org/10.1016/j.artint.2017.12.001)**David L. Leottau, Javier Ruíz-del-Solar, Robert Babuška*57 citations*
8. **[Latent tree models for hierarchical topic detection ↗](https://doi.org/10.1016/j.artint.2017.06.004)**Peixian Chen, Nevin Lianwen Zhang, Tengfei Liu et al.*54 citations*
9. **[Automatically improving constraint models in Savile Row ↗](https://doi.org/10.1016/j.artint.2017.07.001)**Peter W. Nightingale, Özgür Akgün, Ian Philip Gent et al.*50 citations*
10. **[Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty ↗](https://doi.org/10.1016/j.artint.2017.08.001)**Didier Dubois A, Henri M. Prade, Steven Schockaert*45 citations*
11. **[Resolving distributed knowledge ↗](https://doi.org/10.1016/j.artint.2017.07.002)**Thomas Ågotnes, Yì N. Wáng*44 citations*
12. **[WPM3: An (in)complete algorithm for weighted partial MaxSAT ↗](https://doi.org/10.1016/j.artint.2017.05.003)**Carlos Ansótegui, Joel Gabàs*42 citations*
13. **[MM: A bidirectional search algorithm that is guaranteed to meet in the middle ↗](https://doi.org/10.1016/j.artint.2017.05.004)**Robert C. Holte, Ariel Felner, Guni Sharon et al.*41 citations*
14. **[Understanding the complexity of axiom pinpointing in lightweight description logics ↗](https://doi.org/10.1016/j.artint.2017.06.002)**Rafael Peñaloza, Barış Sertkaya*39 citations*
15. **[Adversarial patrolling with spatially uncertain alarm signals ↗](https://doi.org/10.1016/j.artint.2017.02.007)**Nicola Basilico, Giuseppe De Nittis, Nicola Gatti*34 citations*
16. **[Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ↗](https://doi.org/10.1016/j.artint.2017.02.006)**Alison Pease, John Shelton Lawrence, Katarzyna Budzyńska et al.*34 citations*
17. **[Overlapping layered learning ↗](https://doi.org/10.1016/j.artint.2017.09.001)**Patrick MacAlpine, Peter Stone*34 citations*
18. **[From model checking to equilibrium checking: Reactive modules for rational verification ↗](https://doi.org/10.1016/j.artint.2017.04.003)**Julián Gutiérrez, Paul Harrenstein, Michael Wooldridge*31 citations*
19. **[On the logical properties of the nonmonotonic description logic DLN ↗](https://doi.org/10.1016/j.artint.2017.04.001)**Piero A. Bonatti, Luigi Sauro*31 citations*
20. **[Graph aggregation ↗](https://doi.org/10.1016/j.artint.2017.01.001)**Ulle Endriss, Umberto Grandi*30 citations*
21. **[Iterative voting and acyclic games ↗](https://doi.org/10.1016/j.artint.2017.08.002)**Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein et al.*30 citations*
22. **[Model-lite planning: Case-based vs. model-based approaches ↗](https://doi.org/10.1016/j.artint.2017.01.004)**Hankz Hankui Zhuo, Subbarao Kambhampati B*30 citations*
23. **[Robust planning with incomplete domain models ↗](https://doi.org/10.1016/j.artint.2016.12.003)**Tuan Anh Nguyen, Sarath Sreedharan, Subbarao Kambhampati B*30 citations*
24. **[Minimal sets on propositional formulae. Problems and reductions ↗](https://doi.org/10.1016/j.artint.2017.07.005)**João P. Marques-Silva, Mikoláš Janota, Carlos Mencía*29 citations*
25. **[Strategy-proof school choice mechanisms with minimum quotas and initial endowments ↗](https://doi.org/10.1016/j.artint.2017.04.006)**Naoto Hamada, Chia‐Ling Hsu, Ryoji Kurata et al.*29 citations*
26. **[Commonsense reasoning about containers using radically incomplete information ↗](https://doi.org/10.1016/j.artint.2017.03.004)**Ernest Davis, Gary F. Marcus, Noah Frazier-Logue*28 citations*
27. **[Forward bounding on pseudo-trees for DCOPs and ADCOPs ↗](https://doi.org/10.1016/j.artint.2017.07.003)**Omer Litov, Amnon Meisels*26 citations*
28. **[Optimizing Positional Scoring Rules for Rank Aggregation ↗](https://doi.org/10.1016/j.artint.2018.11.001)**Ioannis Caragiannis, Xenophon Chatzigeorgiou, George A. Krimpas et al.*23 citations*
29. **[Star-topology decoupled state space search ↗](https://doi.org/10.1016/j.artint.2017.12.004)**Daniel Gnad, Jörg Hoffmann*23 citations*
30. **[Taking account of the actions of others in value-based reasoning ↗](https://doi.org/10.1016/j.artint.2017.09.002)**Katie M. Atkinson, Trevor J. M. Bench-Capon*23 citations*
31. **[Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ↗](https://doi.org/10.1016/j.artint.2017.12.002)**Marc Aiguier A, Jamal Atif C, Isabelle Bloch A et al.*22 citations*
32. **[How many diagnoses do we need? ↗](https://doi.org/10.1016/j.artint.2017.03.002)**Roni Stern, Meir Kalech, Shelly Rogov et al.*22 citations*
33. **[Reactive multi-context systems: Heterogeneous reasoning in dynamic environments ↗](https://doi.org/10.1016/j.artint.2017.11.007)**Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves et al.*22 citations*
34. **[Strong temporal planning with uncontrollable durations ↗](https://doi.org/10.1016/j.artint.2017.11.006)**Alessandro Cimatti, Minh Do, Andrea Micheli et al.*22 citations*
35. **[Thick set inversion ↗](https://doi.org/10.1016/j.artint.2017.04.004)**Benoît Desrochers, Luc Jaulin*22 citations*
36. **[A quality assuring, cost optimal multi-armed bandit mechanism for expertsourcing ↗](https://doi.org/10.1016/j.artint.2017.10.001)**Shweta Jain, Sujit Gujar, Satyanath Bhat et al.*21 citations*
37. **[Implicit, explicit and speculative knowledge ↗](https://doi.org/10.1016/j.artint.2017.11.004)**Hans van Ditmarsch, Tim French, Fernando R. Velázquez–Quesada et al.*21 citations*
38. **[Fundamental properties of attack relations in structured argumentation with priorities ↗](https://doi.org/10.1016/j.artint.2017.11.002)**Phan Minh Dũng, Phan Minh Thang*20 citations*
39. **[Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability ↗](https://doi.org/10.1016/j.artint.2017.04.005)**Gianluigi Greco, Antonella Guzzo*18 citations*
40. **[Human–computer negotiation in a three player market setting ↗](https://doi.org/10.1016/j.artint.2017.01.003)**Galit Haim, Kobi Gal, Bo An et al.*18 citations*
41. **[Infinitary equilibrium logic and strongly equivalent logic programs ↗](https://doi.org/10.1016/j.artint.2017.02.002)**Amelia Harrison, Vladimir Lifschitz, David Pearce et al.*18 citations*
42. **[Fixpoint semantics for active integrity constraints ↗](https://doi.org/10.1016/j.artint.2017.11.003)**Bart Bogaerts, Luı́s Cruz-Filipe*16 citations*
43. **[Localising iceberg inconsistencies ↗](https://doi.org/10.1016/j.artint.2017.02.005)**Glauber De Bona, Anthony Hunter*16 citations*
44. **[Rational deployment of multiple heuristics in optimal state-space search ↗](https://doi.org/10.1016/j.artint.2017.11.001)**Erez Karpas, Oded Betzalel, Solomon Eyal Shimony et al.*16 citations*
45. **[An initial study of time complexity in infinite-domain constraint satisfaction ↗](https://doi.org/10.1016/j.artint.2017.01.005)**Peter Jönsson, Victor Lagerkvist*14 citations*
46. **[Distributed First Order Logic ↗](https://doi.org/10.1016/j.artint.2017.08.008)**Chiara Ghidini, Luciano Serafini*14 citations*
47. **[The virtues of idleness: A decidable fragment of resource agent logic ↗](https://doi.org/10.1016/j.artint.2016.12.005)**Natasha Alechina, Nils Bulling, Brian S. Logan et al.*14 citations*
48. **[Belief revision and projection in the epistemic situation calculus ↗](https://doi.org/10.1016/j.artint.2017.07.004)**Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco*13 citations*
49. **[The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search ↗](https://doi.org/10.1016/j.artint.2017.08.007)**Michal Štolba, Antonín Komenda*13 citations*
50. **[Discovering visual concept structure with sparse and incomplete tags ↗](https://doi.org/10.1016/j.artint.2017.05.002)**Jingya Wang, Xiatian Zhu, Shaogang Gong*12 citations*
51. **[Impossibility in belief merging ↗](https://doi.org/10.1016/j.artint.2017.06.003)**Amílcar Mata Díaz, Ramón Pino Pérez*12 citations*
52. **[Low-rank decomposition meets kernel learning: A generalized Nyström method ↗](https://doi.org/10.1016/j.artint.2017.05.001)**Liang Lan, Kai Zhang, Hancheng Ge et al.*11 citations*
53. **[Introduction to the special issue on Combining Constraint Solving with Mining and Learning ↗](https://doi.org/10.1016/j.artint.2017.01.002)**Andrea Passerini, Guido Tack, Tias Guns*8 citations*
54. **[Efficiency and complexity of price competition among single-product vendors ↗](https://doi.org/10.1016/j.artint.2017.03.001)**Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos et al.*7 citations*
55. **[Constants and finite unary relations in qualitative constraint reasoning ↗](https://doi.org/10.1016/j.artint.2017.12.003)**Peter Jönsson*6 citations*
56. **[Hierarchical semi-Markov conditional random fields for deep recursive sequential data ↗](https://doi.org/10.1016/j.artint.2017.02.003)**Truyen Tran, Dinh Phung, Hung Bui et al.*5 citations*
57. **[Three-valued semantics for hybrid MKNF knowledge bases revisited ↗](https://doi.org/10.1016/j.artint.2017.08.003)**Fangfang Liu, Jia-Huai You*5 citations*
58. **[A progression semantics for first-order logic programs ↗](https://doi.org/10.1016/j.artint.2017.06.001)**Yi Zhou, Yan Zhang*3 citations*
59. **[On the complexity of the partner units decision problem ↗](https://doi.org/10.1016/j.artint.2017.04.002)**Erich Teppan*3 citations*
60. **[Distributed Monitoring of Election Winners ↗](https://doi.org/10.1016/j.artint.2019.07.007)**Arnold Filtser, Nimrod Talmon*2 citations*
61. **[Book review ↗](https://doi.org/10.1016/j.artint.2017.08.004)**David Israël
62. **[Characterizing causal action theories and their implementations in answer set programming ↗](https://doi.org/10.1016/j.artint.2017.02.008)**Haodi Zhang, Fangzhen Lin
63. **[Towards breaking more composition symmetries in partial symmetry breaking ↗](https://doi.org/10.1016/j.artint.2017.07.006)**Jimmy H. M. Lee, Zichen Zhu
- [← back to](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/2017/) — Artificial Intelligence 2017