Artificial Intelligence

Authors and titles for August 2019

[1] arXiv:1908.00112 [pdf, other]

Title: Domain-Independent Cost-Optimal Planning in ASP

David Spies, Jia-Huai You, Ryan Hayward

Comments: Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages

Journal-ref: Theory and Practice of Logic Programming 19 (2019) 1124-1142

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1908.00181 [pdf, other]

Title: EcoLens: Visual Analysis of Urban Region Dynamics Using Traffic Data

Zhuochen Jin, Nan Cao, Yang Shi, Hanghang Tong, Yingcai Wu

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

[3] arXiv:1908.00381 [pdf, other]

Title: Clinical acceptance of software based on artificial intelligence technologies (radiology)

S.P. Morozov, A.V. Vladzymyrskyy, V.G. Klyashtornyy, A.E. Andreychenko, N.S. Kulberg, V.A. Gombolevsky, K.A. Sergunova

Comments: For correspondence: [email protected], npcmr@zdrav.this http URL. 28/1, Srednyaya Kalitnikovskaya st., Moscow, 109029, Russia +7 (495) 276-04-36

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

[4] arXiv:1908.00409 [pdf, other]

Title: Deduction Theorem: The Problematic Nature of Common Practice in Game Theory

Holger I. Meinhardt

Comments: 14 pages, 4 figures, 2 tables

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1908.00528 [pdf, other]

Title: Neural Simplex Architecture

Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

Comments: 12th NASA Formal Methods Symposium (NFM 2020)

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

[6] arXiv:1908.00877 [pdf, other]

Title: Bayesian Persuasion with Sequential Games

Andrea Celli, Stefano Coniglio, Nicola Gatti

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

[7] arXiv:1908.01362 [pdf, other]

Title: ASNets: Deep Learning for Generalised Planning

Sam Toyer, Felipe Trevizan, Sylvie Thiébaux, Lexing Xie

Comments: Journal extension of AAAI'18 paper (arXiv:1709.04271)

Journal-ref: Journal of Artificial Intelligence Research 68 (2020) 1-68

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1908.01417 [pdf, other]

Title: Automatic Playtesting for Game Parameter Tuning via Active Learning

Alexander Zook, Eric Fruchter, Mark O. Riedl

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1908.01420 [pdf, other]

Title: Automatic Game Design via Mechanic Generation

Alexander Zook, Mark O. Riedl

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1908.01423 [pdf, other]

Title: Monte-Carlo Tree Search for Simulation-based Strategy Analysis

Alexander Zook, Brent Harrison, Mark O. Riedl

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1908.01618 [pdf, other]

Title: Speech Driven Backchannel Generation using Deep Q-Network for Enhancing Engagement in Human-Robot Interaction

Nusrah Hussain, Engin Erzin, T. Metin Sezgin, Yucel Yemez

Comments: 8 pages, 2 figures, 3 tables

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

[12] arXiv:1908.01695 [pdf, other]

Title: Corrigibility with Utility Preservation

Koen Holtman

Comments: Version 2 has improvements to the presentation and fixes typos

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

[13] arXiv:1908.01766 [pdf, other]

Title: Seeding the Singularity for A.I

Pavel Kraikivski

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1908.02002 [pdf, other]

Title: Bayesian Incremental Inference Update by Re-using Calculations from Belief Space Planning: A New Paradigm

Elad I. Farhi, Vadim Indelman

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1908.02037 [pdf, other]

Title: Batch Recurrent Q-Learning for Backchannel Generation Towards Engaging Agents

Nusrah Hussain, Engin Erzin, T. Metin Sezgin, Yucel Yemez

Comments: 8 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1908.01618

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

[16] arXiv:1908.02047 [pdf, other]

Title: Age of Information-Aware Radio Resource Management in Vehicular Networks: A Proactive Deep Reinforcement Learning Perspective

Xianfu Chen, Celimuge Wu, Tao Chen, Honggang Zhang, Zhi Liu, Yan Zhang, Mehdi Bennis

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

[17] arXiv:1908.02673 [pdf, other]

Title: Large-scale traffic signal control using machine learning: some traffic flow considerations

Jorge A. Laval, Hao Zhou

Comments: 15 pages, 10 figures

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

[18] arXiv:1908.03020 [pdf, other]

Title: Measurable Counterfactual Local Explanations for Any Classifier

Adam White, Artur d'Avila Garcez

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

[19] arXiv:1908.03106 [pdf, other]

Title: "Conservatives Overfit, Liberals Underfit": The Social-Psychological Control of Affect and Uncertainty

Jesse Hoey, Neil J. MacKinnon

Comments: This is an extended version of the paper presented at SE-THEMOS workshop at ACII 2019 in Cambridge England. Version 2 and 3 of this article added sections on reinforcement learning(2.6 and 5.6), and a section on neuroscience and the relation between cognition and affect (2.4)

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

[20] arXiv:1908.03171 [pdf, other]

Title: Completing and Debugging Ontologies: state of the art and challenges

Patrick Lambrix

Comments: 56 pages

Journal-ref: Journal of Data and Information Quality, 2023

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

[21] arXiv:1908.04005 [pdf, other]

Title: Decision making in dynamic and interactive environments based on cognitive hierarchy theory, Bayesian inference, and predictive control

Sisi Li, Nan Li, Anouck Girard, Ilya Kolmanovsky

Comments: 2019 IEEE Conference on Decision and Control

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

[22] arXiv:1908.04629 [pdf, other]

Title: Evaluation of a Recommender System for Assisting Novice Game Designers

Tiago Machado, Daniel Gopstein, Oded Nov, Angela Wang, Andy Nealen, Julian Togelius

Comments: The 15th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 19)

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

[23] arXiv:1908.04683 [pdf, other]

Title: Is Deep Reinforcement Learning Really Superhuman on Atari? Leveling the playing field

Marin Toromanoff, Emilie Wirbel, Fabien Moutarde

Comments: Paper currently in review

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1908.04696 [pdf, other]

Title: Inverse Rational Control with Partially Observable Continuous Nonlinear Dynamics

Saurabh Daptardar, Paul Schrater, Xaq Pitkow

Comments: 8 pages plus references

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

[25] arXiv:1908.04698 [pdf, other]

Title: Towards Self-Explainable Cyber-Physical Systems

Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:1908.04700 [pdf, other]

Title: Semi-Supervised Learning using Differentiable Reasoning

Emile van Krieken, Erman Acar, Frank van Harmelen

Journal-ref: IFCoLog Journal of Logic and its Applications 6 (2019) 633-653

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

[27] arXiv:1908.04734 [pdf, other]

Title: Reward Tampering Problems and Solutions in Reinforcement Learning: A Causal Influence Diagram Perspective

Tom Everitt, Marcus Hutter, Ramana Kumar, Victoria Krakovna

Comments: Accepted to Synthese, March 2021

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

[28] arXiv:1908.05059 [pdf, other]

Title: Towards Explainable AI Planning as a Service

Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David Smith

Comments: 2nd ICAPS Workshop on Explainable Planning (XAIP-2019)

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1908.05145 [pdf, other]

Title: Toward a Dempster-Shafer theory of concepts

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

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

[30] arXiv:1908.05341 [pdf, other]

Title: Evaluating Empathy in Artificial Agents

Özge Nilay Yalçın

Comments: This is a pre-print of an article accepted to ACII 2019 conference (this http URL). The final authenticated version will be published on IEEExplore as proceedings

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

[31] arXiv:1908.05472 [pdf, other]

Title: Playing a Strategy Game with Knowledge-Based Reinforcement Learning

Viktor Voss, Liudmyla Nechepurenko, Rudi Schaefer, Steffen Bauer

Comments: preprint

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1908.05551 [pdf, other]

Title: Conditional LSTM-GAN for Melody Generation from Lyrics

Yi Yu, Abhishek Srivastava, Simon Canales

Journal-ref: ACM Transactions on Multimedia Computing, Communications, and Applications, April 2021 Article No.: 35 https://dl.acm.org/doi/10.1145/3424116

Subjects: Artificial Intelligence (cs.AI); Sound (cs.SD); Audio and Speech Processing (eess.AS)

[33] arXiv:1908.05632 [pdf, other]

Title: Tracing Player Knowledge in a Parallel Programming Educational Game

Pavan Kantharaju, Katelyn Alderfer, Jichen Zhu, Bruce Char, Brian Smith, Santiago Ontañón

Comments: 7 pages, 2 figures, published at AIIDE 2018 conference

Subjects: Artificial Intelligence (cs.AI)

[34] arXiv:1908.05737 [pdf, other]

Title: Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Francesco Olivieri (Data61, CSIRO (Australia)), Guido Governatori (Data61, CSIRO (Australia)), Claudio Tomazzoli (Department of Computer Science, University of Verona), Matteo Cristani (Department of Computer Science, University of Verona)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478. arXiv admin note: substantial text overlap with arXiv:1809.03656

Journal-ref: EPTCS 298, 2019, pp. 1-14

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

[35] arXiv:1908.05907 [pdf, other]

Title: The Regularization of Small Sub-Constraint Satisfaction Problems

Sven Löffler, Ke Liu, Petra Hofstedt

Comments: Part of DECLARE 19 proceedings (arXiv:hep-lat/2795508)

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1908.06003 [pdf, other]

Title: Exploring Properties of Icosoku by Constraint Satisfaction Approach

Ke Liu, Sven Löffler, Petra Hofstedt

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1908.06183 [pdf, other]

Title: Search Algorithms for Mastermind

Anthony D. Rhodes

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1908.06540 [pdf, other]

Title: Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing

Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini

Journal-ref: Proceedings of 30th IEEE International Symposium on Software Reliability Engineering (ISSRE 2019)

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

[39] arXiv:1908.06660 [pdf, other]

Title: Learning to play the Chess Variant Crazyhouse above World Champion Level with Deep Neural Networks and Human Data

Johannes Czech, Moritz Willig, Alena Beyer, Kristian Kersting, Johannes Fürnkranz

Comments: 35 pages, 19 figures, 14 tables

Journal-ref: Frontiers in Artificial Intelligence, Machine Learning and Artificial Intelligence, Volume 3 (2020)

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

[40] arXiv:1908.06769 [pdf, other]

Title: Continuous Relaxation of Symbolic Planner for One-Shot Imitation Learning

De-An Huang, Danfei Xu, Yuke Zhu, Animesh Garg, Silvio Savarese, Li Fei-Fei, Juan Carlos Niebles

Comments: IROS 2019

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

[41] arXiv:1908.06884 [pdf, other]

Title: A Domain-Knowledge-Aided Deep Reinforcement Learning Approach for Flight Control Design

Hyo-Sang Shin, Shaoming He, Antonios Tsourdos

Comments: This work has been submitted to the IEEE for possible publication

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

[42] arXiv:1908.07141 [pdf, other]

Title: LogicENN: A Neural Based Knowledge Graphs Embedding Model with Logical Rules

Mojtaba Nayyeri, Chengjin Xu, Jens Lehmann, Hamed Shariat Yazdi

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

[43] arXiv:1908.07617 [pdf, other]

Title: Reinforcement Learning is not a Causal problem

Mauricio Gonzalez-Soto, Felipe Orihuela Espina

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

[44] arXiv:1908.07651 [pdf, other]

Title: An Expert System Approach for determine the stage of UiTM Perlis Palapes Cadet Performance and Ranking Selection

Tajul Rosli Razak

Journal-ref: Journal of Computer Science & Computational Mathematics (2012)

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

[45] arXiv:1908.07784 [pdf, other]

Title: Implementing Ranking-Based Semantics in ConArg: a Preliminary Report

Stafano Bistarelli, Francesco Faloci, Carlo Taticchi

Comments: 10 pages, 10 figures, 4 tables

Journal-ref: Proceedings of ICTAI 2019

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1908.07827 [pdf, other]

Title: Re-route Package Pickup and Delivery Planning with Random Demands

Suttinee Sawadsitang, Dusit Niyato, Kongrath Suankaewmanee, Puay Siew Tan

Comments: 6 pages, 4 figures, 2 tables

Journal-ref: 2019 IEEE 90th Vehicular Technology Conference: VTC2019-Fall

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1908.08184 [pdf, other]

Title: Report on the First Knowledge Graph Reasoning Challenge 2018 -- Toward the eXplainable AI System

Takahiro Kawamura, Shusaku Egami, Koutarou Tamura, Yasunori Hokazono, Takanori Ugai, Yusuke Koyanagi, Fumihito Nishino, Seiji Okajima, Katsuhiko Murakami, Kunihiko Takamatsu, Aoi Sugiura, Shun Shiramatsu, Shawn Zhang, Kouji Kozaki

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

[48] arXiv:1908.08406 [pdf, other]

Title: SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report

Marcos Cramer, Leendert van der Torre

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

[49] arXiv:1908.08474 [pdf, other]

Title: The many Shapley values for model explanation

Mukund Sundararajan, Amir Najmi

Comments: 9 pages

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Theoretical Economics (econ.TH)

[50] arXiv:1908.08494 [pdf, other]

Title: The double traveling salesman problem with partial last-in-first-out loading constraints

Jonatas B. C. Chagas, Túlio A. M. Toffolo, Marcone J. F. Souza, Manuel Iori

Subjects: Artificial Intelligence (cs.AI)