JAIR Volume 60 Articles

Volume 60 MastHead

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

Abstract | PDF | PostScript | doi:10.1613/jair.5415

Martin Gebser, Marco Maratea and Francesco Ricca (2017) "The Sixth Answer Set Programming Competition", Volume 60, pages 41-95

Abstract | PDF | PostScript | doi:10.1613/jair.5373

Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier and Fred Popowich (2017) "Kernel Contraction and Base Dependence", Volume 60, pages 97-148

Abstract | PDF | PostScript | doi:10.1613/jair.5496

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

Abstract | PDF | doi:10.1613/jair.5436

Yinfei Yang and Ani Nenkova (2017) "Combining Lexical and Syntactic Features for Detecting Content-Dense Texts in News", Volume 60, pages 179-219

Abstract | PDF | doi:10.1613/jair.5418

Fabio Gagliardi Cozman and Denis Deratani Mauá (2017) "On the Semantics and Complexity of Probabilistic Logic Programs", Volume 60, pages 221-262

Abstract | PDF | doi:10.1613/jair.5482

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

Abstract | PDF | doi:10.1613/jair.5500

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

Abstract | PDF | doi:10.1613/jair.5475

Thomas Eiter and Antonius Weinzierl (2017) "Preference-Based Inconsistency Management in Multi-Context Systems", Volume 60, pages 347-424

Abstract | PDF | doi:10.1613/jair.5416

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

Abstract | PDF | doi:10.1613/jair.5431

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 Simpli cation", Volume 60, pages 549-593

Abstract | PDF | doi:10.1613/jair.5526