Artificial Intelligence

Authors and titles for January 2017

[21] arXiv:1701.03322 [pdf, other]

Title: From First-Order Logic to Assertional Logic

Yi Zhou

Comments: arXiv admin note: text overlap with arXiv:1603.03511

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1701.03500 [pdf, other]

Title: A Savage-Like Axiomatization for Nonstandard Expected Utility

Grant Molnar

Comments: The alleged result of this paper is incorrect, the transfer principle applies only to first-order statements over standard structures, but I attempted to apply it over second-order statements as well. I believe a proof in the same vein as the one in this paper could be developed, but much greater care would need to be taken to respect the difference between internal and external sets

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1701.03571 [pdf, other]

Title: Fuzzy Clustering Data Given in the Ordinal Scale

Zhengbing Hu, Yevgeniy V. Bodyanskiy, Oleksii K. Tyshchenko, Viktoriia O. Samitova

Journal-ref: I.J. Intelligent Systems and Applications, 2017, Vol. 9, No. 1, pp. 67-74

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1701.03714 [pdf, other]

Title: On the links between argumentation-based reasoning and nonmonotonic reasoning

Zimi Li, Nir Oren, Simon Parsons

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1701.03866 [pdf, other]

Title: Long Timescale Credit Assignment in NeuralNetworks with External Memory

Steven Stenberg Hansen

Comments: Accepted into the NIPS 2016 workshop on Continual Learning

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

[26] arXiv:1701.03868 [pdf, other]

Title: Minimally Naturalistic Artificial Intelligence

Steven Stenberg Hansen

Comments: Accepted into the NIPS 2016 Workshop on Machine Intelligence (M.A.I.N.)

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1701.03937 [pdf, other]

Title: Hedera: Scalable Indexing and Exploring Entities in Wikipedia Revision History

Tuan Tran, Tu Ngoc Nguyen

Comments: Pubished via this http URL

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

[28] arXiv:1701.04569 [pdf, other]

Title: Multiobjective Optimization of Solar Powered Irrigation System with Fuzzy Type-2 Noise Modelling

T.Ganesan, P.Vasant, I.Elamvazuthi

Comments: 27 pages, 12 Figures

Journal-ref: 2016, Emerging Research on Applied Fuzzy Sets and Intuitionistic Fuzzy Matrices, IGI Global, 189 pages

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1701.04645 [pdf, other]

Title: Une mesure d'expertise pour le crowdsourcing

Hosna Ouni (IRISA, DRUID), Arnaud Martin (IRISA, UR1, DRUID), Laetitia Gros, Mouloud Kharoune (IRISA, DRUID), Zoltan Miklos (IRISA, DRUID)

Comments: in French

Journal-ref: Extraction et Gestion des Connaissances (EGC), Jan 2017, Grenoble, France. Extraction et Gestion de Connaisasnces, 2017

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

[30] arXiv:1701.04663 [pdf, other]

Title: Intrinsically Motivated Acquisition of Modular Slow Features for Humanoids in Continuous and Non-Stationary Environments

Varun Raj Kompella, Laurenz Wiskott

Comments: 8 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1701.04895 [pdf, other]

Title: Unknowable Manipulators: Social Network Curator Algorithms

Samuel Albanie, Hillary Shakespeare, Tom Gunter

Comments: NIPS Symposium 2016: Machine Learning and the Law

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[32] arXiv:1701.05059 [pdf, other]

Title: Ontology based system to guide internship assignment process

Abir M 'Baya (DISP), Jannik Laval (DISP), Nejib Moalla (DISP), Yacine Ouzrout (DISP), Abdelaziz Bouras

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:1701.05130 [pdf, other]

Title: On the Performance of Network Parallel Training in Artificial Neural Networks

Ludvig Ericson, Rendani Mbuvha

Comments: 4 Pages, 4 Figures, 1 Table

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

[34] arXiv:1701.05226 [pdf, other]

Title: Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

Tarek R. Besold, Artur d'Avila Garcez, Keith Stenning, Leendert van der Torre, Michiel van Lambalgen

Comments: Forthcoming with DOI https://doi.org/10.1007/s11023-017-9428-3 in the Special Issue "Reasoning with Imperfect Information and Knowledge" of Minds and Machines (2017). The final publication will be available at this http URL. --- Changes to previous version: Fixed some typos and a broken reference

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1701.05291 [pdf, other]

Title: Heterogeneous Information Network Embedding for Meta Path based Proximity

Zhipeng Huang, Nikos Mamoulis

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1701.05334 [pdf, other]

Title: Fuzzy Ontology-Based Sentiment Analysis of Transportation and City Feature Reviews for Safe Traveling

Farman Ali, D. Kwak, Pervez Khan, S.M. Riazul Islam, K.H. Kim, K.S. Kwak

Comments: 24 pages, 7 figures, Transportation Research Part C

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

[37] arXiv:1701.05724 [pdf, other]

Title: Logical Inferences with Contexts of RDF Triples

Vinh Nguyen, Amit Sheth

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

[38] arXiv:1701.06049 [pdf, other]

Title: Interactive Learning from Policy-Dependent Human Feedback

James MacGlashan, Mark K Ho, Robert Loftin, Bei Peng, Guan Wang, David Roberts, Matthew E. Taylor, Michael L. Littman

Comments: 8 pages + references, 5 figures

Journal-ref: International Conference on Machine Learning. PMLR, 2017

Subjects: Artificial Intelligence (cs.AI)

[39] arXiv:1701.06167 [pdf, other]

Title: Binary Matrix Guessing Problem

Çağrı Latifoğlu

Comments: 9 pages, 4 tables reason for withdrawal: Paper will be rewritten with experiments replicated on verified and validated hardware and software

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1701.06388 [pdf, other]

Title: Constraint programming for planning test campaigns of communications satellites

Emmanuel Hébrard (LAAS-ROC), Marie-José Huguet (LAAS-ROC), Daniel Veysseire (LAAS-ROC), Ludivine Sauvan (LAAS-ROC), Bertrand Cabon

Journal-ref: Constraints, Springer Verlag, 2017, 22, pp.73 - 89

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1701.06635 [pdf, other]

Title: Space-Time Graph Modeling of Ride Requests Based on Real-World Data

Abhinav Jauhri, Brian Foo, Jerome Berclaz, Chih Chi Hu, Radek Grzeszczuk, Vasu Parameswaran, John Paul Shen

Comments: Accepted at AAAI-17 Workshop on AI and OR for Social Good (AIORSocGood-17)

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1701.06699 [pdf, other]

Title: Imitating Driver Behavior with Generative Adversarial Networks

Alex Kuefler, Jeremy Morton, Tim Wheeler, Mykel Kochenderfer

Comments: 8 pages, 6 figures

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1701.06972 [pdf, other]

Title: Deep Network Guided Proof Search

Sarah Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

Journal-ref: In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340

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

[44] arXiv:1701.07103 [pdf, other]

Title: Artificial Intelligence Approaches To UCAV Autonomy

Amir Husain (1), Bruce Porter (2) ((1) SparkCognition Inc. (2) Department of Computer Science, University of Texas at Austin)

Comments: 12 pages, 3 figures, 1 table

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

[45] arXiv:1701.07232 [pdf, other]

Title: Learn&Fuzz: Machine Learning for Input Fuzzing

Patrice Godefroid, Hila Peleg, Rishabh Singh

Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

[46] arXiv:1701.07657 [pdf, other]

Title: Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)

Giovanni Sileno

Comments: draft version -- updated

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1701.07696 [pdf, other]

Title: Identifying Consistent Statements about Numerical Data with Dispersion-Corrected Subgroup Discovery

Mario Boley, Bryan R. Goldsmith, Luca M. Ghiringhelli, Jilles Vreeken

Comments: significance of empirical results tested; additional illustrations; table of used notations

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

[48] arXiv:1701.07756 [pdf, other]

Title: Dynamic time warping distance for message propagation classification in Twitter

Siwar Jendoubi, Arnaud Martin, Ludovic Liétard, Boutheina Ben Yaghlane, Hend Ben Hadji

Comments: 10 pages, 1 figure ECSQARU 2015, Proceedings of the 13th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[49] arXiv:1701.07769 [pdf, other]

Title: Ethical Considerations in Artificial Intelligence Courses

Emanuelle Burton, Judy Goldsmith, Sven Koenig, Benjamin Kuipers, Nicholas Mattei, Toby Walsh

Comments: 29 pages including all case studies and links to video media on YouTube

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

[50] arXiv:1701.08096 [pdf, other]

Title: Efficiently Summarising Event Sequences with Rich Interleaving Patterns

Apratim Bhattacharyya, Jilles Vreeken

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

[51] arXiv:1701.08100 [pdf, other]

Title: The Causal Frame Problem: An Algorithmic Perspective

Ardavan Salehi Nobandegani, Ioannis N. Psaromiligkos

Subjects: Artificial Intelligence (cs.AI); Neurons and Cognition (q-bio.NC); Machine Learning (stat.ML)

[52] arXiv:1701.08190 [pdf, other]

Title: Comparative Study Of Data Mining Query Languages

Mohamed Anis Bach Tobji

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

[53] arXiv:1701.08191 [pdf, other]

Title: Incremental Maintenance Of Association Rules Under Support Threshold Change

Mohamed Anis Bach Tobji, Mohamed Salah Gouider

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

[54] arXiv:1701.08301 [pdf, other]

Title: Pure Rough Mereology and Counting

A. Mani

Comments: IEEE Women in Engineering Conference, WIECON-ECE'2017 (Accepted for IEEEXplore)

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Logic in Computer Science (cs.LO); Logic (math.LO)

[55] arXiv:1701.08302 [pdf, other]

Title: A Study of FOSS'2013 Survey Data Using Clustering Techniques

Mani A, Rebeka Mukherjee

Comments: IEEE Women in Engineering Conference Paper: WIECON-ECE'2016 (Scheduled to appear in IEEE Xplore )

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Software Engineering (cs.SE); Machine Learning (stat.ML)

[56] arXiv:1701.08306 [pdf, other]

Title: Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)

Zohreh Shams, Marina De Vos, Julian Padget, Wamberto W. Vasconcelos

Subjects: Artificial Intelligence (cs.AI)

[57] arXiv:1701.08317 [pdf, other]

Title: Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy

Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang, Subbarao Kambhampati

Subjects: Artificial Intelligence (cs.AI)

[58] arXiv:1701.08343 [pdf, other]

Title: Rhythm Transcription of Polyphonic Piano Music Based on Merged-Output HMM for Multiple Voices

Eita Nakamura, Kazuyoshi Yoshii, Shigeki Sagayama

Comments: 13 pages, 13 figures, version accepted to IEEE/ACM TASLP

Subjects: Artificial Intelligence (cs.AI); Sound (cs.SD)

[59] arXiv:1701.08546 [pdf, other]

Title: Survey on Models and Techniques for Root-Cause Analysis

Marc Solé, Victor Muntés-Mulero, Annie Ibrahim Rana, Giovani Estrada

Comments: 18 pages, 222 references

Subjects: Artificial Intelligence (cs.AI)

[60] arXiv:1701.08661 [pdf, other]

Title: Credal Networks under Epistemic Irrelevance

Jasper De Bock

Subjects: Artificial Intelligence (cs.AI); Probability (math.PR)

[61] arXiv:1701.08665 [pdf, other]

Title: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization

Xiaodong Pan, Yang Xu

Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1506.07821

Subjects: Artificial Intelligence (cs.AI)

[62] arXiv:1701.08709 [pdf, other]

Title: Diversification Methods for Zero-One Optimization

Fred Glover

Comments: 28 pages, 7 illustrations, 4 pseudocodes

Subjects: Artificial Intelligence (cs.AI)

[63] arXiv:1701.08832 [pdf, other]

Title: Expert Level control of Ramp Metering based on Multi-task Deep Reinforcement Learning

Francois Belletti, Daniel Haziza, Gabriel Gomes, Alexandre M. Bayen

Subjects: Artificial Intelligence (cs.AI)

[64] arXiv:1701.08868 [pdf, other]

Title: Interaction Information for Causal Inference: The Case of Directed Triangle

AmirEmad Ghassami, Negar Kiyavash

Subjects: Artificial Intelligence (cs.AI)

[65] arXiv:1701.09000 [pdf, other]

Title: On the Semantics and Complexity of Probabilistic Logic Programs

Fabio Gagliardi Cozman, Denis Deratani Mauá

Subjects: Artificial Intelligence (cs.AI)

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

Title: Digital Advertising Traffic Operation: Machine Learning for Process Discovery

Massimiliano Dal Mas

Comments: 6 pages; for details see: this this http URL

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

[67] arXiv:1701.00016 (cross-list from math.NA) [pdf, other]

Title: Non-Negative Matrix Factorization Test Cases

Connor Sell, Jeremy Kepner

Comments: 4 pages, 3 figures, to appear in the proceedings of the 2015 IEEE MIT Undergraduate Research Conference

Subjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI)

[68] arXiv:1701.00077 (cross-list from q-bio.QM) [pdf, other]

Title: Learning Weighted Association Rules in Human Phenotype Ontology

Pietro Hiram Guzzi, Giuseppe Agapito, Marianna Milano, Mario Cannataro

Subjects: Quantitative Methods (q-bio.QM); Artificial Intelligence (cs.AI)

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

Title: Cutting-off Redundant Repeating Generations for Neural Abstractive Summarization

Jun Suzuki, Masaaki Nagata

Comments: 7 pages, a draft version of EACL-2017

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

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

Title: Lazily Adapted Constant Kinky Inference for Nonparametric Regression and Model-Reference Adaptive Control

Jan-Peter Calliess

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY); Machine Learning (stat.ML)

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

Title: Truthful Facility Location with Additive Errors

Iddan Golomb, Christos Tzamos

Comments: 16 pages (3 of which are in the appendix), 4 figures

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

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

Title: Knowledge Engineering for Hybrid Deductive Databases

Dietmar Seipel (University of Würzburg)

Comments: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148

Journal-ref: EPTCS 234, 2017, pp. 1-12

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

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

Title: Simulated Tornado Optimization

S. Hossein Hosseini, Tohid Nouri, Afshin Ebrahimi, S. Ali Hosseini

Comments: 6 pages, 15 figures, 1 table, IEEE International Conference on Signal Processing and Intelligent System (ICSPIS16), Dec. 2016

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

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

Title: Autoencoder Regularized Network For Driving Style Representation Learning

Weishan Dong, Ting Yuan, Kai Yang, Changsheng Li, Shilei Zhang

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

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

Title: Generating Focussed Molecule Libraries for Drug Discovery with Recurrent Neural Networks

Marwin H.S. Segler, Thierry Kogej, Christian Tyrchan, Mark P. Waller

Comments: 17 pages, 17 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Chemical Physics (physics.chem-ph); Machine Learning (stat.ML)

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

Title: Understanding the complexity of #SAT using knowledge compilation

Florent Capelli

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[77] arXiv:1701.01654 (cross-list from cs.SY) [pdf, other]

Title: Application of Fuzzy Logic in Design of Smart Washing Machine

Rao Farhat Masood

Comments: Fuzzy Washing Machine, Smart Washing Machine

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

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

Title: Pareto Efficient Multi Objective Optimization for Local Tuning of Analogy Based Estimation

Mohammad Azzeh, Ali Bou Nassif, Shadi Banitaan, Fadi Almasalha

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

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

Title: Multi-level Representations for Fine-Grained Typing of Knowledge Base Entities

Yadollah Yaghoobzadeh, Hinrich Schütze

Comments: 13 pages, in EACL 2017

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

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

Title: Coupled Compound Poisson Factorization

Mehmet E. Basbug, Barbara E. Engelhardt

Comments: Under review at AISTATS 2017

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

[81] arXiv:1701.02272 (cross-list from q-bio.NC) [pdf, other]

Title: Morphognosis: the shape of knowledge in space and time

Thomas E. Portegys

Subjects: Neurons and Cognition (q-bio.NC); Artificial Intelligence (cs.AI)

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

Title: Information Pursuit: A Bayesian Framework for Sequential Scene Parsing

Ehsan Jahangiri, Erdem Yoruk, Rene Vidal, Laurent Younes, Donald Geman

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

[83] arXiv:1701.02359 (cross-list from stat.AP) [pdf, other]

Title: Playtime Measurement with Survival Analysis

Markus Viljanen, Antti Airola, Jukka Heikkonen, Tapio Pahikkala

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

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

Title: Reinforcement Learning based Embodied Agents Modelling Human Users Through Interaction and Multi-Sensory Perception

Kory W. Mathewson, Patrick M. Pilarski

Comments: 4 pages, 2 figures, Accepted at the 2017 AAAI Spring Symposium on Interactive Multi-Sensory Object Perception for Embodied Agents

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Robotics (cs.RO)

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

Title: Reinforcement Learning via Recurrent Convolutional Neural Networks

Tanmay Shankar, Santosha K. Dwivedy, Prithwijit Guha

Comments: Accepted at the International Conference on Pattern Recognition, ICPR 2016

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

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

Title: Multi-task Learning Of Deep Neural Networks For Audio Visual Automatic Speech Recognition

Abhinav Thanda, Shankar M Venkatesan

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

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

Title: Real-Time Bidding by Reinforcement Learning in Display Advertising

Han Cai, Kan Ren, Weinan Zhang, Kleanthis Malialis, Jun Wang, Yong Yu, Defeng Guo

Comments: WSDM 2017

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

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

Title: A Convenient Category for Higher-Order Probability Theory

Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang

Journal-ref: Logic in Computer Science 2017

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

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

Title: A Simple and Accurate Syntax-Agnostic Neural Model for Dependency-based Semantic Role Labeling

Diego Marcheggiani, Anton Frolov, Ivan Titov

Comments: To appear in CoNLL 2017

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

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

Title: OpenNMT: Open-Source Toolkit for Neural Machine Translation

Guillaume Klein, Yoon Kim, Yuntian Deng, Jean Senellart, Alexander M. Rush

Comments: Report for this http URL

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

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

Title: Towards Decoding as Continuous Optimization in Neural Machine Translation

Cong Duy Vu Hoang (University of Melbourne), Gholamreza Haffari (Monash University), Trevor Cohn (University of Melbourne)

Comments: EMNLP 2017 Camera Ready Paper

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

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

Title: Context-aware Captions from Context-agnostic Supervision

Ramakrishna Vedantam, Samy Bengio, Kevin Murphy, Devi Parikh, Gal Chechik

Comments: Accepted to CVPR 2017 (Spotlight)

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

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

Title: Linear Disentangled Representation Learning for Facial Actions

Xiang Xiang, Trac D. Tran

Comments: Codes available at this https URL and this https URL. arXiv admin note: text overlap with arXiv:1410.1606

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

[94] arXiv:1701.03162 (cross-list from stat.AP) [pdf, other]

Title: Real-time eSports Match Result Prediction

Yifan Yang, Tian Qin, Yu-Heng Lei

Comments: 8 pages, 8 figures

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

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

Title: Residual LSTM: Design of a Deep Recurrent Architecture for Distant Speech Recognition

Jaeyoung Kim, Mostafa El-Khamy, Jungwon Lee

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

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

Title: Kernel Approximation Methods for Speech Recognition

Avner May, Alireza Bagheri Garakani, Zhiyun Lu, Dong Guo, Kuan Liu, Aurélien Bellet, Linxi Fan, Michael Collins, Daniel Hsu, Brian Kingsbury, Michael Picheny, Fei Sha

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

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

Title: Efficient Transfer Learning Schemes for Personalized Language Modeling using Recurrent Neural Network

Seunghyun Yoon, Hyeongu Yun, Yuna Kim, Gyu-tae Park, Kyomin Jung

Comments: AAAI workshop on Crowdsourcing, Deep Learning and Artificial Intelligence Agents, Feb 2017, San Francisco CA, USA

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

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

Title: Deep Probabilistic Programming

Dustin Tran, Matthew D. Hoffman, Rif A. Saurous, Eugene Brevdo, Kevin Murphy, David M. Blei

Comments: Appears in International Conference on Learning Representations, 2017. A companion webpage for this paper is available at this http URL

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL); Computation (stat.CO)

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

Title: Learning to Invert: Signal Recovery via Deep Convolutional Networks

Ali Mousavi, Richard G. Baraniuk

Comments: Accepted at The 42nd IEEE International Conference on Acoustics, Speech and Signal Processing

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

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

Title: A Copy-Augmented Sequence-to-Sequence Architecture Gives Good Performance on Task-Oriented Dialogue

Mihail Eric, Christopher D. Manning

Comments: 6 pages

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

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

Title: Agent-Agnostic Human-in-the-Loop Reinforcement Learning

David Abel, John Salvatier, Andreas Stuhlmüller, Owain Evans

Comments: Presented at the NIPS Workshop on the Future of Interactive Learning Machines, 2016

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

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

Title: Near Optimal Behavior via Approximate State Abstraction

David Abel, D. Ellis Hershkowitz, Michael L. Littman

Comments: Earlier version published at ICML 2016

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

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

Title: Understanding the Effective Receptive Field in Deep Convolutional Neural Networks

Wenjie Luo, Yujia Li, Raquel Urtasun, Richard Zemel

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

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

Title: Vulnerability of Deep Reinforcement Learning to Policy Induction Attacks

Vahid Behzadan, Arslan Munir

Comments: 14 pages, 5 figures, pre-print of submission to MLDM '17

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

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

Title: Achieving Privacy in the Adversarial Multi-Armed Bandit

Aristide C. Y. Tossou, Christos Dimitrakakis

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)

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

Title: Thompson Sampling For Stochastic Bandits with Graph Feedback

Aristide C. Y. Tossou, Christos Dimitrakakis, Devdatt Dubhashi

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

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

Title: Deep Learning for Computational Chemistry

Garrett B. Goh, Nathan O. Hodas, Abhinav Vishnu

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Chemical Physics (physics.chem-ph)

[108] arXiv:1701.04528 (cross-list from cs.SI) [pdf, other]

Title: From Community Detection to Community Profiling

Hongyun Cai, Vincent W. Zheng, Fanwei Zhu, Kevin Chen-Chuan Chang, Zi Huang

Comments: Technical report of a PVLDB 2017 paper

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

[109] arXiv:1701.05004 (cross-list from q-bio.NC) [pdf, other]

Title: Converting Cascade-Correlation Neural Nets into Probabilistic Generative Models

Ardavan Salehi Nobandegani, Thomas R. Shultz

Journal-ref: Proceedings of the 39th Annual Conference of the Cognitive Science Society (2017) (pp. 1029-1034). Austin, TX: Cognitive Science Society

Subjects: Neurons and Cognition (q-bio.NC); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

[110] arXiv:1701.05131 (cross-list from quant-ph) [pdf, other]

Title: Basic protocols in quantum reinforcement learning with superconducting circuits

Lucas Lamata

Comments: Published version

Journal-ref: Scientific Reports 7, 1609 (2017)

Subjects: Quantum Physics (quant-ph); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Superconductivity (cond-mat.supr-con); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

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

Title: Parsimonious Inference on Convolutional Neural Networks: Learning and applying on-line kernel activation rules

I. Theodorakopoulos, V. Pothos, D. Kastaniotis, N. Fragoulis

Comments: 17 pages, 10 figures, 5 tables

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

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

Title: Semantic Evolutionary Concept Distances for Effective Information Retrieval in Query Expansion

Valentina Franzoni, Yuanxi Li, Clement H.C.Leung, Alfredo Milani

Comments: author's copy of publication in NLCS ICCSA 2013 proceedings: Collective Evolutionary Concept Distance Based Query Expansion for Effective Web Document Retrieval

Journal-ref: Chapter Computational Science and Its Applications, ICCSA 2013, Volume 7974 of the series Lecture Notes in Computer Science, pp 657-672

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

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

Title: T-LESS: An RGB-D Dataset for 6D Pose Estimation of Texture-less Objects

Tomas Hodan, Pavel Haluza, Stepan Obdrzalek, Jiri Matas, Manolis Lourakis, Xenophon Zabulis

Comments: WACV 2017

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

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

Title: Label Propagation on K-partite Graphs with Heterophily

Dingxiong Deng, Fan Bai, Yiqi Tang, Shuigeng Zhou, Cyrus Shahabi, Linhong Zhu

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

[115] arXiv:1701.06078 (cross-list from cs.SD) [pdf, other]

Title: Lyrics-to-Audio Alignment by Unsupervised Discovery of Repetitive Patterns in Vowel Acoustics

Sungkyun Chang, Kyogu Lee

Comments: 13 pages

Journal-ref: IEEE Access, Vol. 5, (2017) 16635-16648

Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Audio and Speech Processing (eess.AS)

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

Title: Neurogenesis-Inspired Dictionary Learning: Online Model Adaption in a Changing World

Sahil Garg, Irina Rish, Guillermo Cecchi, Aurelie Lozano

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

[117] arXiv:1701.06233 (cross-list from cs.CY) [pdf, other]

Title: What the Language You Tweet Says About Your Occupation

Tianran Hu, Haoyuan Xiao, Thuy-vy Thi Nguyen, Jiebo Luo

Comments: Published at the 10th International AAAI Conference on Web and Social Media (ICWSM-16)

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

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

Title: A Multichannel Convolutional Neural Network For Cross-language Dialog State Tracking

Hongjie Shi, Takashi Ushio, Mitsuru Endo, Katsuyoshi Yamagami, Noriaki Horii

Comments: Copyright 2016 IEEE. Published in the 2016 IEEE Workshop on Spoken Language Technology (SLT 2016)

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

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

Title: Identification of Unmodeled Objects from Symbolic Descriptions

Andrea Baisero, Stefan Otte, Peter Englert, Marc Toussaint

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

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

Title: ENIGMA: Efficient Learning-based Inference Guiding Machine

Jan Jakubův, Josef Urban

Comments: Submitted to LPAR 2017

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

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

Title: Perceptually Optimized Image Rendering

Valero Laparra, Alex Berardino, Johannes Ballé, Eero P. Simoncelli

Journal-ref: J. Optical Society of America, A. 34(9):1511-1525. Sep 2017

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

[122] arXiv:1701.06745 (cross-list from cs.HC) [pdf, other]

Title: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

Serge Autexier, Pedro Quaresma

Journal-ref: EPTCS 239, 2017

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: Incorporating Prior Information in Compressive Online Robust Principal Component Analysis

Huynh Van Luong, Nikos Deligiannis, Jurgen Seiler, Soren Forchhammer, Andre Kaup

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

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

Title: Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

Guillermo Vigueras (IMDEA Software Institute), Manuel Carro (IMDEA Software Institute and Universidad Politécnica de Madrid), Salvador Tamarit (Universidad Politécnica de Madrid), Julio Mariño (Universidad Politécnica de Madrid)

Comments: In Proceedings PROLE 2016, arXiv:1701.03069. This paper is based on arXiv:1603.03022, and has a thorough description of the proposed approach

Journal-ref: EPTCS 237, 2017, pp. 52-67

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

[125] arXiv:1701.07204 (cross-list from cs.DS) [pdf, other]

Title: Fast Exact k-Means, k-Medians and Bregman Divergence Clustering in 1D

Allan Grønlund, Kasper Green Larsen, Alexander Mathiasen, Jesper Sindahl Nielsen, Stefan Schneider, Mingzhou Song

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

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

Title: LAREX - A semi-automatic open-source Tool for Layout Analysis and Region Extraction on Early Printed Books

Christian Reul, Uwe Springmann, Frank Puppe

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

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

Title: Learning an attention model in an artificial visual system

Alon Hazan, Yuval Harel, Ron Meir

Journal-ref: IEEE International Conference on the Science of Electrical Engineering (ICSEE) (2016)

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

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

Title: Organic Computing in the Spotlight

Sven Tomforde, Bernhard Sick, Christian Müller-Schloer

Comments: 10 pages, one figure, article

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

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

Title: Image-Grounded Conversations: Multimodal Context for Natural Question and Response Generation

Nasrin Mostafazadeh, Chris Brockett, Bill Dolan, Michel Galley, Jianfeng Gao, Georgios P. Spithourakis, Lucy Vanderwende

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

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

Title: Entropic Causality and Greedy Minimum Entropy Coupling

Murat Kocaoglu, Alexandros G. Dimakis, Sriram Vishwanath, Babak Hassibi

Comments: Submitted to ISIT 2017

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

[131] arXiv:1701.08269 (cross-list from cs.RO) [pdf, other]

Title: Systems of natural-language-facilitated human-robot cooperation: A review

Rui Liu, Xiaoli Zhang

Comments: 21 pages, 10 figures

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC)

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

Title: Multiclass MinMax Rank Aggregation

Pan Li, Olgica Milenkovic

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Quantitative Methods (q-bio.QM); Machine Learning (stat.ML)

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

Title: Feature base fusion for splicing forgery detection based on neuro fuzzy

Habib Ghaffari Hadigheh, Ghazali bin sulong

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

[134] arXiv:1701.08567 (cross-list from q-fin.EC) [pdf, other]

Title: Decision structure of risky choice

Lamb Wubin, Naixin Ren

Comments: 13 pages

Subjects: General Economics (econ.GN); Artificial Intelligence (cs.AI)

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

Title: Click Through Rate Prediction for Contextual Advertisment Using Linear Regression

Muhammad Junaid Effendi, Syed Abbas Ali

Comments: 8 pages, 13 Figures, 11 Tables

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

[136] arXiv:1701.08756 (cross-list from cs.RO) [pdf, other]

Title: A Review of Methodologies for Natural-Language-Facilitated Human-Robot Cooperation

Rui Liu, Xiaoli Zhang

Comments: 13 pages, 9 figures

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC)

[137] arXiv:1701.08761 (cross-list from cs.RO) [pdf, other]

Title: C3A: A Cognitive Collaborative Control Architecture For an Intelligent Wheelchair

Rupam Bhattacharyya, Adity Saikia, Shyamanta M. Hazarika

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

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

Title: Reinforcement Learning Algorithm Selection

Romain Laroche, Raphael Feraud

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Optimization and Control (math.OC)

[139] arXiv:1701.08878 (cross-list from cs.RO) [pdf, other]

Title: Deep Reinforcement Learning for Robotic Manipulation-The state of the art

Smruti Amarjyoti

Comments: 18 pages

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

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

Title: Integrating Reviews into Personalized Ranking for Cold Start Recommendation

Guang-Neng Hu, Xin-Yu Dai

Comments: TextBPR

Journal-ref: PAKDD 2017

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

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

Title: CommAI: Evaluating the first steps towards a useful general AI

Marco Baroni, Armand Joulin, Allan Jabri, Germàn Kruszewski, Angeliki Lazaridou, Klemen Simonic, Tomas Mikolov

Comments: Published in ICLR 2017 Workshop Track

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

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

Title: Comparing Dataset Characteristics that Favor the Apriori, Eclat or FP-Growth Frequent Itemset Mining Algorithms

Jeff Heaton

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

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

Title: Efficient Rank Aggregation via Lehmer Codes

Pan Li, Arya Mazumdar, Olgica Milenkovic

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

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

Title: Robust Multilingual Named Entity Recognition with Shallow Semi-Supervised Features

Rodrigo Agerri, German Rigau

Comments: 26 pages, 19 tables (submitted for publication on September 2015), Artificial Intelligence (2016)

Journal-ref: Artificial Intelligence, 238, 63-82 (2016)

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