📰 Artificial Intelligence 2017: all accepted papers

63 papers · the most cited first · ← Artificial Intelligence 2017

1. Towards a science of integrated AI and Robotics ↗Kanna Rajan, Alessandro Saffiotti177 citations
2. Intelligent agent supporting human–multi-robot team collaboration ↗Ariel Rosenfeld, Noa Agmon, Oleg Maksimov et al.112 citations
3. Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems ↗Nawal Benabbou, Patrice Perny, Paolo Viappiani74 citations
4. A computational framework for conceptual blending ↗Manfred Eppe, Ewen Maclean, Roberto Confalonieri et al.68 citations
5. The first international competition on computational models of argumentation: Results and analysis ↗Matthias Thimm, Serena Villata62 citations
6. A cooperative game-theoretic approach to the social ridesharing problem ↗Filippo Bistaffa, Alessandro Farinelli, Georgios Chalkiadakis et al.60 citations
7. Decentralized Reinforcement Learning of Robot Behaviors ↗David L. Leottau, Javier Ruíz-del-Solar, Robert Babuška57 citations
8. Latent tree models for hierarchical topic detection ↗Peixian Chen, Nevin Lianwen Zhang, Tengfei Liu et al.54 citations
9. Automatically improving constraint models in Savile Row ↗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 ↗Didier Dubois A, Henri M. Prade, Steven Schockaert45 citations
11. Resolving distributed knowledge ↗Thomas Ågotnes, Yì N. Wáng44 citations
12. WPM3: An (in)complete algorithm for weighted partial MaxSAT ↗Carlos Ansótegui, Joel Gabàs42 citations
13. MM: A bidirectional search algorithm that is guaranteed to meet in the middle ↗Robert C. Holte, Ariel Felner, Guni Sharon et al.41 citations
14. Understanding the complexity of axiom pinpointing in lightweight description logics ↗Rafael Peñaloza, Barış Sertkaya39 citations
15. Adversarial patrolling with spatially uncertain alarm signals ↗Nicola Basilico, Giuseppe De Nittis, Nicola Gatti34 citations
16. Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ↗Alison Pease, John Shelton Lawrence, Katarzyna Budzyńska et al.34 citations
17. Overlapping layered learning ↗Patrick MacAlpine, Peter Stone34 citations
18. From model checking to equilibrium checking: Reactive modules for rational verification ↗Julián Gutiérrez, Paul Harrenstein, Michael Wooldridge31 citations
19. On the logical properties of the nonmonotonic description logic DLN ↗Piero A. Bonatti, Luigi Sauro31 citations
20. Graph aggregation ↗Ulle Endriss, Umberto Grandi30 citations
21. Iterative voting and acyclic games ↗Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein et al.30 citations
22. Model-lite planning: Case-based vs. model-based approaches ↗Hankz Hankui Zhuo, Subbarao Kambhampati B30 citations
23. Robust planning with incomplete domain models ↗Tuan Anh Nguyen, Sarath Sreedharan, Subbarao Kambhampati B30 citations
24. Minimal sets on propositional formulae. Problems and reductions ↗João P. Marques-Silva, Mikoláš Janota, Carlos Mencía29 citations
25. Strategy-proof school choice mechanisms with minimum quotas and initial endowments ↗Naoto Hamada, Chia‐Ling Hsu, Ryoji Kurata et al.29 citations
26. Commonsense reasoning about containers using radically incomplete information ↗Ernest Davis, Gary F. Marcus, Noah Frazier-Logue28 citations
27. Forward bounding on pseudo-trees for DCOPs and ADCOPs ↗Omer Litov, Amnon Meisels26 citations
28. Optimizing Positional Scoring Rules for Rank Aggregation ↗Ioannis Caragiannis, Xenophon Chatzigeorgiou, George A. Krimpas et al.23 citations
29. Star-topology decoupled state space search ↗Daniel Gnad, Jörg Hoffmann23 citations
30. Taking account of the actions of others in value-based reasoning ↗Katie M. Atkinson, Trevor J. M. Bench-Capon23 citations
31. Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ↗Marc Aiguier A, Jamal Atif C, Isabelle Bloch A et al.22 citations
32. How many diagnoses do we need? ↗Roni Stern, Meir Kalech, Shelly Rogov et al.22 citations
33. Reactive multi-context systems: Heterogeneous reasoning in dynamic environments ↗Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves et al.22 citations
34. Strong temporal planning with uncontrollable durations ↗Alessandro Cimatti, Minh Do, Andrea Micheli et al.22 citations
35. Thick set inversion ↗Benoît Desrochers, Luc Jaulin22 citations
36. A quality assuring, cost optimal multi-armed bandit mechanism for expertsourcing ↗Shweta Jain, Sujit Gujar, Satyanath Bhat et al.21 citations
37. Implicit, explicit and speculative knowledge ↗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 ↗Phan Minh Dũng, Phan Minh Thang20 citations
39. Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability ↗Gianluigi Greco, Antonella Guzzo18 citations
40. Human–computer negotiation in a three player market setting ↗Galit Haim, Kobi Gal, Bo An et al.18 citations
41. Infinitary equilibrium logic and strongly equivalent logic programs ↗Amelia Harrison, Vladimir Lifschitz, David Pearce et al.18 citations
42. Fixpoint semantics for active integrity constraints ↗Bart Bogaerts, Luı́s Cruz-Filipe16 citations
43. Localising iceberg inconsistencies ↗Glauber De Bona, Anthony Hunter16 citations
44. Rational deployment of multiple heuristics in optimal state-space search ↗Erez Karpas, Oded Betzalel, Solomon Eyal Shimony et al.16 citations
45. An initial study of time complexity in infinite-domain constraint satisfaction ↗Peter Jönsson, Victor Lagerkvist14 citations
46. Distributed First Order Logic ↗Chiara Ghidini, Luciano Serafini14 citations
47. The virtues of idleness: A decidable fragment of resource agent logic ↗Natasha Alechina, Nils Bulling, Brian S. Logan et al.14 citations
48. Belief revision and projection in the epistemic situation calculus ↗Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco13 citations
49. The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search ↗Michal Štolba, Antonín Komenda13 citations
50. Discovering visual concept structure with sparse and incomplete tags ↗Jingya Wang, Xiatian Zhu, Shaogang Gong12 citations
51. Impossibility in belief merging ↗Amílcar Mata Díaz, Ramón Pino Pérez12 citations
52. Low-rank decomposition meets kernel learning: A generalized Nyström method ↗Liang Lan, Kai Zhang, Hancheng Ge et al.11 citations
53. Introduction to the special issue on Combining Constraint Solving with Mining and Learning ↗Andrea Passerini, Guido Tack, Tias Guns8 citations
54. Efficiency and complexity of price competition among single-product vendors ↗Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos et al.7 citations
55. Constants and finite unary relations in qualitative constraint reasoning ↗Peter Jönsson6 citations
56. Hierarchical semi-Markov conditional random fields for deep recursive sequential data ↗Truyen Tran, Dinh Phung, Hung Bui et al.5 citations
57. Three-valued semantics for hybrid MKNF knowledge bases revisited ↗Fangfang Liu, Jia-Huai You5 citations
58. A progression semantics for first-order logic programs ↗Yi Zhou, Yan Zhang3 citations
59. On the complexity of the partner units decision problem ↗Erich Teppan3 citations
60. Distributed Monitoring of Election Winners ↗Arnold Filtser, Nimrod Talmon2 citations
61. Book review ↗David Israël
62. Characterizing causal action theories and their implementations in answer set programming ↗Haodi Zhang, Fangzhen Lin
63. Towards breaking more composition symmetries in partial symmetry breaking ↗Jimmy H. M. Lee, Zichen Zhu

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/artificial-intelligence/2017/papers/