JAIR Volume 60 Articles
Each entry in this table of contents provides links to an individual article and its appendices (if any):
Johannes P. Wallner, Andreas Niskanen and Matti Järvisalo (2017) "Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation", Volume 60, pages 1-40
Martin Gebser, Marco Maratea and Francesco Ricca (2017) "The Sixth Answer Set Programming Competition", Volume 60, pages 41-95
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier and Fred Popowich (2017) "Kernel Contraction and Base Dependence", Volume 60, pages 97-148
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet and Julien Rossit (2017) "Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity", Volume 60, pages 149-177
AAMAS 2016 Best Paper Award
Yinfei Yang and Ani Nenkova (2017) "Combining Lexical and Syntactic Features for Detecting Content-Dense Texts in News", Volume 60, pages 179-219
Fabio Gagliardi Cozman and Denis Deratani Mauá (2017) "On the Semantics and Complexity of Probabilistic Logic Programs", Volume 60, pages 221-262
Nikolaos Kariotoglou, Maryam Kamgarpour, Tyler H. Summers and John Lygeros (2017) "The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes", Volume 60, pages 263-285
William Lam, Kalev Kask, Javier Larrosa and Rina Dechter (2017) "Residual-Guided Look-Ahead in AND/OR Search for Graphical Models", Volume 60, pages 287-346
Thomas Eiter and Antonius Weinzierl (2017) "Preference-Based Inconsistency Management in Multi-Context Systems", Volume 60, pages 347-424
Peng Yu, Brian Williams, Cheng Fang, Jing Cui and Patrik Haslum (2017) "Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation", Volume 60, pages 425-490
Yuu Jinnai and Alex Fukunaga (2017) "On Hash-Based Work Distribution Methods for Parallel Best-First Search", Volume 60, pages 491-548
Abstract | PDF | doi:10.1613/jair.5225
Appendix - Source code link
Gustavo H. Paetzold and Lucia Specia (2017) "A Survey on Lexical Simplification", Volume 60, pages 549-593
Christer Bäckström and Peter Jonsson (2017) "Time and Space Bounds for Planning", Volume 60, pages 595-638
John P. Dickerson and Tuomas Sandholm (2017) "Multi-Organ Exchange", Volume 60, pages 639-679
Daniela Inclezan and Luis I. Pradanos (2017) "Viewpoint: A Critical View on Smart Cities and AI", Volume 60, pages 681-686
Piotr Skowron and Piotr Faliszewski (2017) "Chamberlin--Courant Rule with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time", Volume 60, pages 687-716
Jesse Hostetler, Alan Fern and Thomas Dietterich (2017) "Sample-Based Tree Search with Fixed and Adaptive State Abstractions", Volume 60, pages 717-777
Martin Caminada and Claudia Schulz (2017) "On the Equivalence between Assumption-Based Argumentation and Logic Programming", Volume 60, pages 779-825
Mnacho Echenim, Nicolas Peltier and Sophie Tourret (2017) "Prime Implicate Generation in Equational Logic", Volume 60, pages 827-880
Tom Vodopivec, Spyridon Samothrakis and Branko Ster (2017) "On Monte Carlo Tree Search and Reinforcement Learning", Volume 60, pages 881-936
Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier and Nimrod Talmon (2017) "Elections with Few Voters: Candidate Control Can Be Easy", Volume 60, pages 937-1002
Douwe Kiela and Stephen Clark (2017) "Learning Neural Audio Embeddings for Grounding Semantics in Auditory Perception", Volume 60, pages 1003-1030
Rocco De Rosa and Nicolò Cesa-Bianchi (2017) "Confidence Decision Trees via Online and Active Learning for Streaming Data", Volume 60, pages 1031-1055
Marco Zaffalon and Enrique Miranda (2017) "Axiomatising Incomplete Preferences through Sets of Desirable Gambles", Volume 60, pages 1057-1126
Ran Ben Basat, Moshe Tennenholtz and Oren Kurland (2017) "A Game Theoretic Analysis of the Adversarial Retrieval Setting", Volume 60, pages 1127-1164
James P. Delgrande (2017) "A Knowledge Level Account of Forgetting", Volume 60, pages 1165-1213