Artificial Intelligence

Authors and titles for February 2018

[1] arXiv:1802.00048 [pdf, other]

Title: Deceptive Games

Damien Anderson, Matthew Stephenson, Julian Togelius, Christian Salge, John Levine, Jochen Renz

Comments: 16 pages, accepted at EvoStar2018

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1802.00050 [pdf, other]

Title: Recursive Feature Generation for Knowledge-based Learning

Lior Friedman, Shaul Markovitch

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1802.00209 [pdf, other]

Title: Dual Recurrent Attention Units for Visual Question Answering

Ahmed Osman, Wojciech Samek

Comments: 8 pages, 5 figures

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

[4] arXiv:1802.00295 [pdf, other]

Title: A Semantic Model for Historical Manuscripts

Sahar Aljalbout, Gilles Falquet

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1802.00332 [pdf, other]

Title: Elements of Effective Deep Reinforcement Learning towards Tactical Driving Decision Making

Jingchu Liu, Pengfei Hou, Lisen Mu, Yinan Yu, Chang Huang

Comments: 7 pages, 2 figures

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

[6] arXiv:1802.00386 [pdf, other]

Title: Cross-City Transfer Learning for Deep Spatio-Temporal Prediction

Leye Wang, Xu Geng, Xiaojuan Ma, Feng Liu, Qiang Yang

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1802.00510 [pdf, other]

Title: Adaptive Memory Networks

Daniel Li, Asim Kadav

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

[8] arXiv:1802.00541 [pdf, other]

Title: Causal Learning and Explanation of Deep Neural Networks via Autoencoded Activations

Michael Harradon, Jeff Druce, Brian Ruttenberg

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

[9] arXiv:1802.00682 [pdf, other]

Title: How do Humans Understand Explanations from Machine Learning Systems? An Evaluation of the Human-Interpretability of Explanation

Menaka Narayanan, Emily Chen, Jeffrey He, Been Kim, Sam Gershman, Finale Doshi-Velez

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1802.00690 [pdf, other]

Title: Modelling contextuality by probabilistic programs with hypergraph semantics

Peter D. Bruza

Comments: Accepted for "Theoretical Computer Science"

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1802.00923 [pdf, other]

Title: Multi-attention Recurrent Network for Human Communication Comprehension

Amir Zadeh, Paul Pu Liang, Soujanya Poria, Prateek Vij, Erik Cambria, Louis-Philippe Morency

Comments: AAAI 2018 Oral Presentation

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

[12] arXiv:1802.00934 [pdf, other]

Title: Incorporating Literals into Knowledge Graph Embeddings

Agustinus Kristiadi, Mohammad Asif Khan, Denis Lukovnikov, Jens Lehmann, Asja Fischer

Comments: 9 pages, 2 figures, 6 tables

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

[13] arXiv:1802.00981 [pdf, other]

Title: Contextual Bandit with Adaptive Feature Extraction

Baihan Lin, Djallel Bouneffouf, Guillermo Cecchi, Irina Rish

Comments: IEEE ICDMW 2018

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

[14] arXiv:1802.01013 [pdf, other]

Title: Plan Explanations as Model Reconciliation -- An Empirical Study

Tathagata Chakraborti, Sarath Sreedharan, Sachin Grover, Subbarao Kambhampati

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1802.01173 [pdf, other]

Title: Tunneling Neural Perception and Logic Reasoning through Abductive Learning

Wang-Zhou Dai, Qiu-Ling Xu, Yang Yu, Zhi-Hua Zhou

Comments: Corrected typos

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1802.01282 [pdf, other]

Title: Coordinated Exploration in Concurrent Reinforcement Learning

Maria Dimakopoulou, Benjamin Van Roy

Journal-ref: Proceedings of the 35th International Conference on Machine Learning, volume 80 of Proceedings of Machine Learning Research, pages 1271-1279, Stockholmsm\"assan, Stockholm Sweden, 10-15 Jul 2018

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1802.01482 [pdf, other]

Title: The Sea Exploration Problem: Data-driven Orienteering on a Continuous Surface

João Pedro Pedroso, Alpar Vajk Kramer, Ke Zhang

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1802.01518 [pdf, other]

Title: Guided Policy Exploration for Markov Decision Processes using an Uncertainty-Based Value-of-Information Criterion

Isaac J. Sledge, Matthew S. Emigh, Jose C. Principe

Comments: IEEE Transactions on Neural Networks and Learning Systems

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1802.01526 [pdf, other]

Title: Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions

Ryuta Arisaka, Jeremie Dauphin

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1802.01604 [pdf, other]

Title: Learning from Richer Human Guidance: Augmenting Comparison-Based Learning with Feature Queries

Chandrayee Basu, Mukesh Singhal, Anca D. Dragan

Comments: 8 pages, 8 figures, HRI 2018

Subjects: Artificial Intelligence (cs.AI)

[21] arXiv:1802.02172 [pdf, other]

Title: Augmented Artificial Intelligence: a Conceptual Framework

Alexander N. Gorban, Bogdan Grechuk, Ivan Y. Tyukin

Comments: The mathematical part is significantly extended. New stochastic separation theorems are proven for log-concave distributions. Some previously formulated hypotheses are confirmed

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1802.02353 [pdf, other]

Title: Recent Advances in Neural Program Synthesis

Neel Kant

Comments: 16 pages (without citations); Literature Review

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

[23] arXiv:1802.02434 [pdf, other]

Title: Evolutionary Computation plus Dynamic Programming for the Bi-Objective Travelling Thief Problem

Junhua Wu, Sergey Polyakovskiy, Markus Wagner, Frank Neumann

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1802.02468 [pdf, other]

Title: Efficient Learning of Bounded-Treewidth Bayesian Networks from Complete and Incomplete Data Sets

Mauro Scanagatta, Giorgio Corani, Marco Zaffalon, Jaemin Yoo, U Kang

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1802.02528 [pdf, other]

Title: Classification of Things in DBpedia using Deep Neural Networks

Rahul Parundekar

Journal-ref: Classification of Things in DBpedia using Deep Neural Networks, R Parundekar, International Journal of Web & Semantic Technology (IJWesT) Vol.9, No.1, January 2018

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

[26] arXiv:1802.02534 [pdf, other]

Title: FixaTons: A collection of Human Fixations Datasets and Metrics for Scanpath Similarity

Dario Zanca, Valeria Serchi, Pietro Piu, Francesca Rosini, Alessandra Rufa

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

[27] arXiv:1802.02732 [pdf, other]

Title: The Higher-Order Prover Leo-III (Extended Version)

Alexander Steen, Christoph Benzmüller

Comments: 13 pages (this is an extended version of the IJCAR 2018 paper)

Journal-ref: 9th International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer

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

[28] arXiv:1802.03144 [pdf, other]

Title: Neural Dynamic Programming for Musical Self Similarity

Christian J. Walder, Dongwoo Kim

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

[29] arXiv:1802.03171 [pdf, other]

Title: A Unified Approach for Multi-step Temporal-Difference Learning with Eligibility Traces in Reinforcement Learning

Long Yang, Minhao Shi, Qian Zheng, Wenjia Meng, Gang Pan

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

[30] arXiv:1802.03216 [pdf, other]

Title: Balancing Two-Player Stochastic Games with Soft Q-Learning

Jordi Grau-Moya, Felix Leibfried, Haitham Bou-Ammar

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1802.03236 [pdf, other]

Title: Learning Robust Options

Daniel J. Mankowitz, Timothy A. Mann, Pierre-Luc Bacon, Doina Precup, Shie Mannor

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

[32] arXiv:1802.03375 [pdf, other]

Title: ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

Bartosz Piotrowski, Josef Urban

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

[33] arXiv:1802.03417 [pdf, other]

Title: Narrow Artificial Intelligence with Machine Learning for Real-Time Estimation of a Mobile Agents Location Using Hidden Markov Models

Cédric Beaulac, Fabrice Larribe

Journal-ref: International Journal of Computer Games Technology, vol. 2017, Article ID 4939261, 10 pages, 2017

Subjects: Artificial Intelligence (cs.AI)

[34] arXiv:1802.03493 [pdf, other]

Title: More Robust Doubly Robust Off-policy Evaluation

Mehrdad Farajtabar, Yinlam Chow, Mohammad Ghavamzadeh

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1802.03501 [pdf, other]

Title: Path Consistency Learning in Tsallis Entropy Regularized MDPs

Ofir Nachum, Yinlam Chow, Mohammad Ghavamzadeh

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

[36] arXiv:1802.03544 [pdf, other]

Title: To the problem of "The Instrumental complex for ontological engineering purpose" software system design

A.V. Palagin, N.G. Petrenko, V.Yu. Velychko, K.S. Malakhov, Yu.L. Tikhonov

Comments: in Russian; updated "Bibliography" section for correct identification of references by the Google Scholar parser software; updated figures; 10 pages; 8 figures

Journal-ref: Problems in programming, 2012, (2-3), pp.289-298. PROBLEMS IN PROGRAMMING SCIENTIFIC JOURNAL , (2-3), pp.289-298

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

[37] arXiv:1802.03642 [pdf, other]

Title: Graph Planning with Expected Finite Horizon

Krishnendu Chatterjee, Laurent Doyen

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1802.03654 [pdf, other]

Title: Beyond the One Step Greedy Approach in Reinforcement Learning

Yonathan Efroni, Gal Dalal, Bruno Scherrer, Shie Mannor

Comments: ICML 2018

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

[39] arXiv:1802.03685 [pdf, other]

Title: Learning a SAT Solver from Single-Bit Supervision

Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill

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

[40] arXiv:1802.03691 [pdf, other]

Title: Tree-to-tree Neural Networks for Program Translation

Xinyun Chen, Chang Liu, Dawn Song

Comments: Published in NIPS 2018

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

[41] arXiv:1802.03701 [pdf, other]

Title: Formal Ontology Learning from English IS-A Sentences

Sourish Dasgupta, Ankur Padia, Gaurav Maheshwari, Priyansh Trivedi, Jens Lehmann

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

[42] arXiv:1802.03707 [pdf, other]

Title: The Need for Speed of AI Applications: Performance Comparison of Native vs. Browser-based Algorithm Implementations

Bernd Malle, Nicola Giuliani, Peter Kieseberg, Andreas Holzinger

Comments: 21 Pages, Technical Report of the Holzinger Group

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

[43] arXiv:1802.04007 [pdf, other]

Title: ProofWatch: Watchlist Guidance for Large Theories in E

Zarathustra Goertzel (1), Jan Jakubův (1), Stephan Schulz (2), Josef Urban (1) ((1) Czech Technical University in Prague, (2) DHBW Stuttgart)

Comments: 19 pages, 10 tables, submitted to ITP 2018 at FLOC

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

[44] arXiv:1802.04009 [pdf, other]

Title: Distinguishing Question Subjectivity from Difficulty for Improved Crowdsourcing

Yuan Jin, Mark Carman, Ye Zhu, Wray Buntine

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1802.04030 [pdf, other]

Title: Introducer Concepts in n-Dimensional Contexts

Giacomo Kahn (LIMOS), Alexandre Bazin (LIMOS)

Comments: ICCS, Jun 2018, Edinburgh, United Kingdom

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

[46] arXiv:1802.04032 [pdf, other]

Title: Average Size of Implicational Bases

Giacomo Kahn (LIMOS), Alexandre Bazin (Le2i)

Comments: CLA, Jun 2018, Olomouc, Czech Republic

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Combinatorics (math.CO)

[47] arXiv:1802.04086 [pdf, other]

Title: The Complex Event Recognition Group

Elias Alevizos, Alexander Artikis, Nikos Katzouris, Evangelos Michelioudakis, Georgios Paliouras

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1802.04093 [pdf, other]

Title: Reasoning in a Hierarchical System with Missing Group Size Information

Subhash Kak

Comments: 9 pages

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1802.04095 [pdf, other]

Title: A New Multi Criteria Decision Making Method: Approach of Logarithmic Concept (APLOCO)

Tevfik Bulut

Comments: 19 pages

Journal-ref: International Journal of Artificial Intelligence and Applications (IJAIA), Vol.9, No.1, January 2018. p.15-33

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:1802.04127 [pdf, other]

Title: A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams

Necla Kircali Gursoy, Ibrahim Senturk, Tahsin Oner, Arif Gursoy

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