Seventeen Oxford Papers for IJCAI-2015

A total of 17 papers with Oxford authors have been accepted for the Twenty Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015), to be held in Buenos Aires, Argentina, from 25-31 July 2015. IJCAI is the premier international venue for research in artificial intelligence, with submitted papers covering such topics as machine learning, reasoning, planning, problem solving, and automated cooperation. This year the conference attracted a record number of more than 2000 submissions, of which only 575 were accepted for publication.  

For more information about the conference, see: http://www.ijcai15.org

Oxford's accepted papers are as follows:

• Simple Causes of Complexity in Hedonic Games - Dominik Peters, Edith Elkind
• Strategic Candidacy Games with Lazy Candidates - Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich
• Gibbard–Satterthwaite Games - Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko
• Structure in Dichotomous Preferences - Edith Elkind, Martin Lackner
• Spiteful Bidding in the Dollar Auction - Marcin Waniek, Agata Niescieruk, Tomasz Michalak, Talal Rahwan
• A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games - Oskar Skibski, Tomasz Michalak, Yuko Sakurai, Makoto Yokoo
• The Game-Theoretic Interaction Index on Social Networks With Applications to Link Prediction and Community Detection - Piotr Szczepanski, Tomasz Michalak, Talal Rahwan, Aleksy Barcz
• Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality - Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
• Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies - Bernardo Cuenca Grau, Evgeny Kharlamov, Egor Kostylev, Dmitriy Zheleznyakov
• The Combined Approach to Query Answering Beyond the OWL 2 Profiles - Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
• Computing Horn Rewritings of Description Logics Ontologies - Mark Kaminski, Bernardo Cuenca Grau
• Combining Existential Rules with the Power of CP-Theories - Tommaso Di Noia‚ Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Gerardo I. Simari, Oana Tifrea-Marciuska
• Tractable Classes of Binary CSPs Defined by Excluded Topological Minors - David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny
• Pushdown Multi-Agent System Verification - Aniello Murano, Giuseppe Perelli
• Polynomial Rewritings for Linear Existential Rules - Georg Gottlob, Marco Manna, Andreas Pieris
• Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue - Georg Gottlob & Andreas Pieris
• Combining Existential Rules and Description Logics - Antoine Amarilli and Michael Benedikt