Artificial Intelligence

Authors and titles for February 2018

[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)