Artificial Intelligence

Authors and titles for February 2017

[1] arXiv:1702.00020 [pdf, other]

Title: Towards "AlphaChem": Chemical Synthesis Planning with Tree Search and Deep Neural Network Policies

Marwin Segler, Mike Preuß, Mark P. Waller

Comments: 4 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Chemical Physics (physics.chem-ph)

[2] arXiv:1702.00137 [pdf, other]

Title: Blue Sky Ideas in Artificial Intelligence Education from the EAAI 2017 New and Future AI Educator Program

Eric Eaton, Sven Koenig, Claudia Schulz, Francesco Maurelli, John Lee, Joshua Eckroth, Mark Crowley, Richard G. Freedman, Rogelio E. Cardona-Rivera, Tiago Machado, Tom Williams

Comments: Working paper in the 7th Symposium on Educational Advances in Artificial Intelligence (EAAI-17)

Journal-ref: AI Matters 3(4):23-31, Winter 2018

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)

[3] arXiv:1702.00159 [pdf, other]

Title: Robust Order Scheduling in the Fashion Industry: A Multi-Objective Optimization Approach

Wei Du, Yang Tang, Sunney Yung Sun Leung, Le Tong, Athanasios V. Vasilakos, Feng Qian

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[4] arXiv:1702.00318 [pdf, other]

Title: A Hybrid Evolutionary Algorithm Based on Solution Merging for the Longest Arc-Preserving Common Subsequence Problem

Christian Blum, Maria J. Blesa

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1702.00539 [pdf, other]

Title: Procedural Content Generation via Machine Learning (PCGML)

Adam Summerville, Sam Snodgrass, Matthew Guzdial, Christoffer Holmgård, Amy K. Hoover, Aaron Isaksen, Andy Nealen, Julian Togelius

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1702.00780 [pdf, other]

Title: Two forms of minimality in ASPIC+

Zimi Li, Andrea Cohen, Simon Parsons

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[7] arXiv:1702.00858 [pdf, other]

Title: The Value of Inferring the Internal State of Traffic Participants for Autonomous Freeway Driving

Zachary Sunberg, Christopher Ho, Mykel Kochenderfer

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1702.01135 [pdf, other]

Title: Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer

Comments: This is the extended version of a paper with the same title that appeared at CAV 2017

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[9] arXiv:1702.01205 [pdf, other]

Title: Traffic Lights with Auction-Based Controllers: Algorithms and Real-World Data

Shumeet Baluja, Michele Covell, Rahul Sukthankar

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)

[10] arXiv:1702.01332 [pdf, other]

Title: Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

Andrea Callia D'Iddio, Michael Huth

Comments: 17 pages, 3 figures, link to open research data and code available

Subjects: Artificial Intelligence (cs.AI); Mathematical Software (cs.MS)

[11] arXiv:1702.01510 [pdf, other]

Title: Survey of modern Fault Diagnosis methods in networks

Zi Jian Yang, Yong Wang

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1702.01601 [pdf, other]

Title: Exploring the bidimensional space: A dynamic logic point of view

Philippe Balbiani, David Fernández-Duque, Emiliano Lorini

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[13] arXiv:1702.01795 [pdf, other]

Title: ASHACL: Alternative Shapes Constraint Language

Peter F. Patel-Schneider

Comments: 18 pages

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1702.01886 [pdf, other]

Title: Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

Sara Bernardini, Fabio Fagnani, David E. Smith

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1702.02302 [pdf, other]

Title: Autonomous Braking System via Deep Reinforcement Learning

Hyunmin Chae, Chang Mook Kang, ByeoungDo Kim, Jaekyum Kim, Chung Choo Chung, Jun Won Choi

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1702.02470 [pdf, other]

Title: Propagation via Kernelization: The Vertex Cover Constraint

Clément Carbonnel (LAAS-ROC), Emmanuel Hébrard (LAAS-ROC)

Journal-ref: Michel Rueher. The 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. Lecture Notes in Computer Science, 9892, pp.147 - 156, 2016, Principles and Practice of Constraint Programming

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1702.02628 [pdf, other]

Title: Optimal Detection of Faulty Traffic Sensors Used in Route Planning

Amin Ghafouri, Aron Laszka, Abhishek Dubey, Xenofon Koutsoukos

Comments: Proceedings of The 2nd Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE 2017), Pittsburgh, PA USA, April 2017, 6 pages

Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

[18] arXiv:1702.03274 [pdf, other]

Title: Hybrid Code Networks: practical and efficient end-to-end dialog control with supervised and reinforcement learning

Jason D. Williams, Kavosh Asadi, Geoffrey Zweig

Comments: Accepted as a long paper for the 55th Annual Meeting of the Association for Computational Linguistics (ACL 2017)

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[19] arXiv:1702.03401 [pdf, other]

Title: A Minimax Algorithm Better Than Alpha-beta?: No and Yes

Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin

Comments: Report version of AI Journal article Best-first fixed-depth minimax algorithms 1996. arXiv admin note: text overlap with arXiv:1404.1517

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1702.03488 [pdf, other]

Title: Octopus: A Framework for Cost-Quality-Time Optimization in Crowdsourcing

Karan Goel, Shreya Rajpal, Mausam

Comments: 10 pages, to appear in HCOMP 2017

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Multiagent Systems (cs.MA)

[21] arXiv:1702.03584 [pdf, other]

Title: Similarity Preserving Representation Learning for Time Series Clustering

Qi Lei, Jinfeng Yi, Roman Vaculin, Lingfei Wu, Inderjit S. Dhillon

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[22] arXiv:1702.03592 [pdf, other]

Title: Graph Neural Networks and Boolean Satisfiability

Benedikt Bünz, Matthew Lamm

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1702.03594 [pdf, other]

Title: Genetic and Memetic Algorithm with Diversity Equilibrium based on Greedy Diversification

Andrés Herrera-Poyatos, Francisco Herrera

Comments: 27 pages, 5 figures, 11 tables

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1702.03724 [pdf, other]

Title: On Seeking Consensus Between Document Similarity Measures

Mieczysław Kłopotek

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1702.03814 [pdf, other]

Title: Bilateral Multi-Perspective Matching for Natural Language Sentences

Zhiguo Wang, Wael Hamza, Radu Florian

Comments: To appear in Proceedings of IJCAI 2017

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[26] arXiv:1702.04047 [pdf, other]

Title: Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter

Marcello Balduccini, Yuliya Lierler

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Journal-ref: TPLP 17(4) 462-515 (2017)

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1702.04282 [pdf, other]

Title: T-SKIRT: Online Estimation of Student Proficiency in an Adaptive Learning System

Chaitanya Ekanadham, Yan Karklin

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1702.04389 [pdf, other]

Title: Entropy Non-increasing Games for the Improvement of Dataflow Programming

Norbert Bátfai, Renátó Besenczi, Gergő Bogacsovics, Fanny Monori

Comments: 15 pages, 7 figures

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1702.04584 [pdf, other]

Title: Developing an ontology for the access to the contents of an archival fonds: the case of the Catasto Gregoriano

Lina Antonietta Coppola

Comments: in Italian

Subjects: Artificial Intelligence (cs.AI); Digital Libraries (cs.DL)

[30] arXiv:1702.04594 [pdf, other]

Title: Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function

Yiyuan Wang, Shaowei Cai, Minghao Yin

Comments: 29 pages, 1 figure

Journal-ref: JAIR 58 (2017) 267-295

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1702.04638 [pdf, other]

Title: A Spacetime Approach to Generalized Cognitive Reasoning in Multi-scale Learning

Mark Burgess

Comments: Typos corrected and new examples added to appendix

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[32] arXiv:1702.05376 [pdf, other]

Title: Towards a Unified Taxonomy of Biclustering Methods

Dmitry I. Ignatov, Bruce W. Watson

Comments: this http URL

Journal-ref: Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015), November 30 - December 5, 2015, Stellenbosch, South Africa, In CEUR Workshop Proceedings, Vol. 1552, p. 23-39

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Machine Learning (stat.ML)

[33] arXiv:1702.05383 [pdf, other]

Title: Theorem Proving Based on Semantics of DNA Strand Graph

Kumar S. Ray, Mandrita Mondal

Comments: 25 pages,12 figures

Subjects: Artificial Intelligence (cs.AI)

[34] arXiv:1702.05515 [pdf, other]

Title: Overview: Generalizations of Multi-Agent Path Finding to Real-World Scenarios

Hang Ma, Sven Koenig, Nora Ayanian, Liron Cohen, Wolfgang Hoenig, T. K. Satish Kumar, Tansel Uras, Hong Xu, Craig Tovey, Guni Sharon

Comments: In IJCAI-16 Workshop on Multi-Agent Path Finding

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Robotics (cs.RO)

[35] arXiv:1702.05778 [pdf, other]

Title: The Absent-Minded Driver Problem Redux

Subhash Kak

Comments: 9 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[36] arXiv:1702.06000 [pdf, other]

Title: 'Viral' Turing Machines, Computation from Noise and Combinatorial Hierarchies

T. E. Raptis

Comments: 24 p., 4 figures

Subjects: Artificial Intelligence (cs.AI); Cellular Automata and Lattice Gases (nlin.CG)

[37] arXiv:1702.06199 [pdf, other]

Title: The Dialog State Tracking Challenge with Bayesian Approach

Quan Nguyen

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1702.06238 [pdf, other]

Title: Sample Efficient Policy Search for Optimal Stopping Domains

Karan Goel, Christoph Dann, Emma Brunskill

Comments: To appear in IJCAI-2017

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[39] arXiv:1702.06329 [pdf, other]

Title: Towards a Common Implementation of Reinforcement Learning for Multiple Robotic Tasks

Angel Martínez-Tenor, Juan Antonio Fernández-Madrigal, Ana Cruz-Martín, Javier González-Jiménez

Comments: 15 pages, 10 figures, 7 tables. To be published in a scientific journal

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)

[40] arXiv:1702.06404 [pdf, other]

Title: Delving Deeper into MOOC Student Dropout Prediction

Jacob Whitehill, Kiran Mohan, Daniel Seaton, Yigal Rosen, Dustin Tingley

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)

[41] arXiv:1702.06662 [pdf, other]

Title: An Integer Programming Model for Binary Knapsack Problem with Value-Related Dependencies among Elements

Davoud Mougouei, David M. W. Powers, Asghar Moeini

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1702.06879 [pdf, other]

Title: Knowledge Graph Completion via Complex Tensor Factorization

Théo Trouillon, Christopher R. Dance, Johannes Welbl, Sebastian Riedel, Éric Gaussier, Guillaume Bouchard

Comments: 38 pages, accepted in JMLR. This is an extended version of the article "Complex embeddings for simple link prediction" (ICML 2016)

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Spectral Theory (math.SP); Machine Learning (stat.ML)

[43] arXiv:1702.06915 [pdf, other]

Title: Solving DCOPs with Distributed Large Neighborhood Search

Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1702.06934 [pdf, other]

Title: Realization of Ontology Web Search Engine

Olegs Verhodubs

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[45] arXiv:1702.06970 [pdf, other]

Title: A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs

William Kluegel, Muhammad Aamir Iqbal, Ferdinando Fioretto, William Yeoh, Enrico Pontelli

Comments: 15 pages, OPTMAS17

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)

[46] arXiv:1702.07001 [pdf, other]

Title: Theoretical and Experimental Analysis of the Canadian Traveler Problem

Doron Zarchy

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1702.07168 [pdf, other]

Title: A DIKW Paradigm to Cognitive Engineering

Amit Kumar Mishra

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1702.07193 [pdf, other]

Title: Ontologies in System Engineering: a Field Report

Marco Menapace, Armando Tacchella

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[49] arXiv:1702.07281 [pdf, other]

Title: A Probabilistic Framework for Location Inference from Social Media

Yujie Qian, Jie Tang, Zhilin Yang, Binxuan Huang, Wei Wei, Kathleen M. Carley

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)

[50] arXiv:1702.07543 [pdf, other]

Title: Embedding Knowledge Graphs Based on Transitivity and Antisymmetry of Rules

Mengya Wang, Hankui Zhuo, Huiling Zhu

Comments: This paper has been withdrawn by the authors due to a crucial sign error in equations

Subjects: Artificial Intelligence (cs.AI)

[51] arXiv:1702.07826 [pdf, other]

Title: Rationalization: A Neural Machine Translation Approach to Generating Natural Language Explanations

Upol Ehsan, Brent Harrison, Larry Chan, Mark O. Riedl

Comments: 9 pages, 4 figures; added human evaluation section; added author; changed author order-Upol Ehsan and Brent Harrison both contributed equally to this work

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

[52] arXiv:1702.07983 [pdf, other]

Title: Maximum-Likelihood Augmented Discrete Generative Adversarial Networks

Tong Che, Yanran Li, Ruixiang Zhang, R Devon Hjelm, Wenjie Li, Yangqiu Song, Yoshua Bengio

Comments: 11 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

[53] arXiv:1702.08039 [pdf, other]

Title: Criticality & Deep Learning I: Generally Weighted Nets

Dan Oprisa, Peter Toth

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[54] arXiv:1702.08222 [pdf, other]

Title: Synergistic Team Composition

Ewa Andrejczuk, Juan A. Rodriguez-Aguilar, Carme Roig, Carles Sierra

Subjects: Artificial Intelligence (cs.AI)

[55] arXiv:1702.08367 [pdf, other]

Title: Differentiable Learning of Logical Rules for Knowledge Base Reasoning

Fan Yang, Zhilin Yang, William W. Cohen

Comments: Accepted at NIPS 2017

Subjects: Artificial Intelligence (cs.AI)

[56] arXiv:1702.08441 [pdf, other]

Title: Monte Carlo Action Programming

Lenz Belzner

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[57] arXiv:1702.08495 [pdf, other]

Title: Don't Fear the Reaper: Refuting Bostrom's Superintelligence Argument

Sebastian Benthall

Subjects: Artificial Intelligence (cs.AI)

[58] arXiv:1702.08745 [pdf, other]

Title: Optimal Categorical Attribute Transformation for Granularity Change in Relational Databases for Binary Decision Problems in Educational Data Mining

Paulo J. L. Adeodato, Fábio C. Pereira, Rosalvo F. Oliveira Neto

Comments: 5 pages, 2 figures, 2 tables

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)

[59] arXiv:1702.08887 [pdf, other]

Title: Stabilising Experience Replay for Deep Multi-Agent Reinforcement Learning

Jakob Foerster, Nantas Nardelli, Gregory Farquhar, Triantafyllos Afouras, Philip H. S. Torr, Pushmeet Kohli, Shimon Whiteson

Comments: Camera-ready version, International Conference of Machine Learning 2017; updated to fix print-breaking image

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Multiagent Systems (cs.MA)

[60] arXiv:1702.08892 [pdf, other]

Title: Bridging the Gap Between Value and Policy Based Reinforcement Learning

Ofir Nachum, Mohammad Norouzi, Kelvin Xu, Dale Schuurmans

Comments: NIPS 2017

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)

[61] arXiv:1702.00700 (cross-list from cs.CL) [pdf, other]

Title: Multilingual and Cross-lingual Timeline Extraction

Egoitz Laparra, Rodrigo Agerri, Itziar Aldabe, German Rigau

Comments: 20 pages, 7 tables, 7 figures; submitted to Knowledge Based Systems (Elsevier), January, 2017

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[62] arXiv:1702.00953 (cross-list from cs.CV) [pdf, other]

Title: Deep Learning with Low Precision by Half-wave Gaussian Quantization

Zhaowei Cai, Xiaodong He, Jian Sun, Nuno Vasconcelos

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[63] arXiv:1702.01018 (cross-list from cs.NI) [pdf, other]

Title: On Robustness in Multilayer Interdependent Network

Joydeep Banerjee, Chenyang Zhou, Arunabha Sen

Comments: CRITIS 2015

Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI)

[64] arXiv:1702.01208 (cross-list from cs.DB) [pdf, other]

Title: A Theoretical Analysis of First Heuristics of Crowdsourced Entity Resolution

Arya Mazumdar, Barna Saha

Comments: Appears in AAAI-17

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[65] arXiv:1702.01313 (cross-list from cs.LG) [pdf, other]

Title: Cluster-based Kriging Approximation Algorithms for Complexity Reduction

Bas van Stein, Hao Wang, Wojtek Kowalczyk, Michael Emmerich, Thomas Bäck

Comments: Submitted to IEEE Computational Intelligence Magazine for review

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[66] arXiv:1702.01721 (cross-list from cs.CV) [pdf, other]

Title: View Independent Vehicle Make, Model and Color Recognition Using Convolutional Neural Network

Afshin Dehghan, Syed Zain Masood, Guang Shu, Enrique. G. Ortiz

Comments: 7 Pages

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[67] arXiv:1702.01975 (cross-list from stat.ML) [pdf, other]

Title: Learning what matters - Sampling interesting patterns

Vladimir Dzyuba, Matthijs van Leeuwen

Comments: PAKDD 2017, extended version

Journal-ref: Advances in Knowledge Discovery and Data Mining. PAKDD 2017. Lecture Notes in Computer Science, vol.10234, 2017, pp.534-546

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Databases (cs.DB)

[68] arXiv:1702.01991 (cross-list from cs.CL) [pdf, other]

Title: Representations of language in a model of visually grounded speech signal

Grzegorz Chrupała, Lieke Gelderloos, Afra Alishahi

Comments: Accepted at ACL 2017

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[69] arXiv:1702.02032 (cross-list from math.OC) [pdf, other]

Title: Solving the Brachistochrone Problem by an Influence Diagram

Jiří Vomlel

Comments: 8 pages, 2 figures

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)

[70] arXiv:1702.02258 (cross-list from cs.CV) [pdf, other]

Title: Generating Multiple Diverse Hypotheses for Human 3D Pose Consistent with 2D Joint Detections

Ehsan Jahangiri, Alan L. Yuille

Comments: accepted to ICCV 2017 (PeopleCap)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Multimedia (cs.MM); Machine Learning (stat.ML)

[71] arXiv:1702.02277 (cross-list from cs.NE) [pdf, other]

Title: A Historical Review of Forty Years of Research on CMAC

Frank Z. Xing

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)

[72] arXiv:1702.02519 (cross-list from cs.LG) [pdf, other]

Title: Deep Generalized Canonical Correlation Analysis

Adrian Benton, Huda Khayrallah, Biman Gujral, Dee Ann Reisinger, Sheng Zhang, Raman Arora

Comments: 14 pages, 6 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[73] arXiv:1702.02540 (cross-list from cs.CL) [pdf, other]

Title: Automatic Rule Extraction from Long Short Term Memory Networks

W. James Murdoch, Arthur Szlam

Comments: ICLR 2017 accepted paper

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

[74] arXiv:1702.02604 (cross-list from cs.LG) [pdf, other]

Title: Causal Regularization

Mohammad Taha Bahadori, Krzysztof Chalupka, Edward Choi, Robert Chen, Walter F. Stewart, Jimeng Sun

Comments: Adding theoretical analysis, revising the text

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

[75] arXiv:1702.02676 (cross-list from cs.NE) [pdf, other]

Title: Energy Saving Additive Neural Network

Arman Afrasiyabi, Ozan Yildiz, Baris Nasir, Fatos T. Yarman Vural, A. Enis Cetin

Comments: 8 pages (double column), 2 figures, 1 table

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[76] arXiv:1702.02817 (cross-list from cs.IR) [pdf, other]

Title: Graph Based Relational Features for Collective Classification

Immanuel Bayer, Uwe Nagel, Steffen Rendle

Comments: Pacific-Asia Conference on Knowledge Discovery and Data Mining

Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[77] arXiv:1702.02821 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Phase Transitions of the Typical Algorithmic Complexity of the Random Satisfiability Problem Studied with Linear Programming

Hendrik Schawe, Roman Bleim, Alexander K. Hartmann

Comments: 11 pages, 5 figures

Journal-ref: PLOS ONE 14, 4 (2019)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[78] arXiv:1702.02890 (cross-list from cs.LO) [pdf, other]

Title: Answer Set Solving with Bounded Treewidth Revisited

Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran

Comments: This paper extends and updates a paper that has been presented on the workshop TAASP'16 (arXiv:1612.07601). We provide a higher detail level, full proofs and more examples

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[79] arXiv:1702.03037 (cross-list from cs.MA) [pdf, other]

Title: Multi-agent Reinforcement Learning in Sequential Social Dilemmas

Joel Z. Leibo, Vinicius Zambaldi, Marc Lanctot, Janusz Marecki, Thore Graepel

Comments: 10 pages, 7 figures

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)

[80] arXiv:1702.03044 (cross-list from cs.CV) [pdf, other]

Title: Incremental Network Quantization: Towards Lossless CNNs with Low-Precision Weights

Aojun Zhou, Anbang Yao, Yiwen Guo, Lin Xu, Yurong Chen

Comments: Published by ICLR 2017, and the code is available at this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[81] arXiv:1702.03121 (cross-list from cs.CL) [pdf, other]

Title: Modeling Semantic Expectation: Using Script Knowledge for Referent Prediction

Ashutosh Modi, Ivan Titov, Vera Demberg, Asad Sayeed, Manfred Pinkal

Comments: 14 pages, published at TACL, 2017, Volume-5, Pg 31-44, 2017

Journal-ref: Transactions of ACL, Volume-5, Pg 31-44 (2017)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[82] arXiv:1702.03443 (cross-list from cs.NE) [pdf, other]

Title: Group Scissor: Scaling Neuromorphic Computing Design to Large Neural Networks

Yandan Wang, Wei Wen, Beiye Liu, Donald Chiarulli, Hai Li

Comments: Accepted in DAC 2017

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)

[83] arXiv:1702.03767 (cross-list from cs.LG) [pdf, other]

Title: Is Big Data Sufficient for a Reliable Detection of Non-Technical Losses?

Patrick Glauner, Angelo Migliosi, Jorge Meira, Petko Valtchev, Radu State, Franck Bettinger

Comments: Proceedings of the 19th International Conference on Intelligent System Applications to Power Systems (ISAP 2017)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[84] arXiv:1702.03812 (cross-list from cs.ET) [pdf, other]

Title: Reservoir Computing Using Non-Uniform Binary Cellular Automata

Stefano Nichele, Magnus S. Gundersen

Subjects: Emerging Technologies (cs.ET); Artificial Intelligence (cs.AI)

[85] arXiv:1702.03859 (cross-list from cs.CL) [pdf, other]

Title: Offline bilingual word vectors, orthogonal transformations and the inverted softmax

Samuel L. Smith, David H. P. Turban, Steven Hamblin, Nils Y. Hammerla

Comments: Accepted to conference track at ICLR 2017

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[86] arXiv:1702.03920 (cross-list from cs.CV) [pdf, other]

Title: Cognitive Mapping and Planning for Visual Navigation

Saurabh Gupta, Varun Tolani, James Davidson, Sergey Levine, Rahul Sukthankar, Jitendra Malik

Comments: Extended IJCV Version of the original paper at CVPR17. Project website with code, models, simulation environment and videos: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)

[87] arXiv:1702.03935 (cross-list from cs.DC) [pdf, other]

Title: Data-Intensive Supercomputing in the Cloud: Global Analytics for Satellite Imagery

Michael S. Warren, Samuel W. Skillman, Rick Chartrand, Tim Kelton, Ryan Keisler, David Raleigh, Matthew Turk

Comments: 8 pages, 9 figures. Copyright 2016 IEEE. DataCloud 2016: The Seventh International Workshop on Data-Intensive Computing in the Clouds. In conjunction with SC16. Salt Lake City, Utah

Journal-ref: Proceedings of the 7th International Workshop on Data-Intensive Computing in the Cloud (DataCloud '16). IEEE Press, Piscataway, NJ, USA, 24-31, 2016

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI)

[88] arXiv:1702.04267 (cross-list from stat.ML) [pdf, other]

Title: On Detecting Adversarial Perturbations

Jan Hendrik Metzen, Tim Genewein, Volker Fischer, Bastian Bischoff

Comments: Final version for ICLR2017 (see this https URL)

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[89] arXiv:1702.04280 (cross-list from cs.CV) [pdf, other]

Title: DAGER: Deep Age, Gender and Emotion Recognition Using Convolutional Neural Network

Afshin Dehghan, Enrique G. Ortiz, Guang Shu, Syed Zain Masood

Comments: 10 Pages

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[90] arXiv:1702.04423 (cross-list from cs.LG) [pdf, other]

Title: Efficient Multitask Feature and Relationship Learning

Han Zhao, Otilia Stretcu, Alex Smola, Geoff Gordon

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[91] arXiv:1702.04521 (cross-list from cs.CL) [pdf, other]

Title: Frustratingly Short Attention Spans in Neural Language Modeling

Michał Daniluk, Tim Rocktäschel, Johannes Welbl, Sebastian Riedel

Comments: Published as a conference paper at ICLR 2017

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[92] arXiv:1702.04577 (cross-list from cs.LG) [pdf, other]

Title: On the Discrepancy Between Kleinberg's Clustering Axioms and $k$-Means Clustering Algorithm Behavior

Robert Kłopotek, Mieczysław Kłopotek

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[93] arXiv:1702.04595 (cross-list from cs.CV) [pdf, other]

Title: Visualizing Deep Neural Network Decisions: Prediction Difference Analysis

Luisa M Zintgraf, Taco S Cohen, Tameem Adel, Max Welling

Comments: ICLR2017

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[94] arXiv:1702.04767 (cross-list from cs.LG) [pdf, other]

Title: Linear Time Computation of Moments in Sum-Product Networks

Han Zhao, Geoff Gordon

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[95] arXiv:1702.04849 (cross-list from cs.GT) [pdf, other]

Title: Theoretical and Practical Advances on Smoothing for Extensive-Form Games

Christian Kroer, Kevin Waugh, Fatma Kilinc-Karzan, Tuomas Sandholm

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)

[96] arXiv:1702.04956 (cross-list from cs.LG) [pdf, other]

Title: Reflexive Regular Equivalence for Bipartite Data

Aaron Gerow, Mingyang Zhou, Stan Matwin, Feng Shi

Comments: A condensed version of this paper will appear in Proceedings of the 30th Canadian Conference on Artificial Intelligence, Edmonton, Alberta, Canada

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[97] arXiv:1702.05112 (cross-list from cs.DL) [pdf, other]

Title: OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management

Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova

Subjects: Digital Libraries (cs.DL); Artificial Intelligence (cs.AI)

[98] arXiv:1702.05222 (cross-list from cs.IT) [pdf, other]

Title: Direct Estimation of Information Divergence Using Nearest Neighbor Ratios

Morteza Noshad, Kevin R. Moon, Salimeh Yasaei Sekeh, Alfred O. Hero III

Comments: 2017 IEEE International Symposium on Information Theory (ISIT)

Journal-ref: In Information Theory (ISIT), 2017 IEEE International Symposium on (pp. 903-907). IEEE

Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[99] arXiv:1702.05270 (cross-list from cs.CL) [pdf, other]

Title: Be Precise or Fuzzy: Learning the Meaning of Cardinals and Quantifiers from Vision

Sandro Pezzelle, Marco Marelli, Raffaella Bernardi

Comments: Accepted at EACL2017. 7 pages

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)

[100] arXiv:1702.05437 (cross-list from cs.PL) [pdf, other]

Title: Quantifying Program Bias

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)