Artificial Intelligence

Authors and titles for cs.AI in Aug 2020, skipping first 50

[51]  arXiv:2008.03900 [pdf, ps, other]

Title: Wikidata Constraints on MARS (Extended Technical Report)

Authors: David L. Martin, Peter F. Patel-Schneider

Comments: 22 pages, no figures. V2 includes a title change, revision of the abstract, and a handful of minor changes in the body of the paper and the appendix

Subjects: Artificial Intelligence (cs.AI)

[52]  arXiv:2008.04008 [pdf, other]

Title: ASP(AC): Answer Set Programming with Algebraic Constraints

Authors: Thomas Eiter, Rafael Kiesel

Comments: 32 pages, 16 pages are appendix

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

[53]  arXiv:2008.04057 [pdf]

Title: The Chess Transformer: Mastering Play using Generative Language Models

Authors: David Noever, Matt Ciolino, Josh Kalin

Comments: 7 Pages, 6 Figures, AAAI Format, AAAI 21

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

[54]  arXiv:2008.04096 [pdf, other]

Title: Impact of meta-roles on the evolution of organisational institutions

Authors: Amir Hosein Afshar Sedigh, Martin K. Purvis, Bastin Tony Roy Savarimuthu, Maryam A. Purvis, Christopher K. Frantz

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

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

[55]  arXiv:2008.04116 [pdf, other]

Title: A Phase Transition in Minesweeper

Authors: Ross Dempsey, Charles Guinn

Comments: 10 pages, 5 figures. Accepted to FUN with Algorithms 2020

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

[56]  arXiv:2008.04126 [pdf, other]

Title: Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Authors: Yusuf Izmirlioglu, Esra Erdem

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 29 pages, 6 figures

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

[57]  arXiv:2008.04130 [pdf, other]

Title: Bilevel Learning Model Towards Industrial Scheduling

Authors: Longkang Li, Hui-Ling Zhen, Mingxuan Yuan, Jiawen Lu, XialiangTong, Jia Zeng, Jun Wang, Dirk Schnieders

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

[58]  arXiv:2008.04133 [pdf, other]

Title: Robot Action Selection Learning via Layered Dimension Informed Program Synthesis

Authors: Jarrett Holtz, Arjun Guha, Joydeep Biswas

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

[59]  arXiv:2008.04162 [pdf, other]

Title: Navigating Human Language Models with Synthetic Agents

Authors: Philip Feldman, Antonio Bucchiarone

Comments: 8 pages, 6 figures, 2 tables, 1 algorithm

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

[60]  arXiv:2008.04448 [pdf, other]

Title: Explainable Artificial Intelligence Based Fault Diagnosis and Insight Harvesting for Steel Plates Manufacturing

Authors: Athar Kharal

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

[61]  arXiv:2008.04452 [pdf, other]

Title: Multi-Agent Safe Planning with Gaussian Processes

Authors: Zheqing Zhu, Erdem Bıyık, Dorsa Sadigh

Comments: 9 pages, 5 figures. Published at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2020

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

[62]  arXiv:2008.04548 [pdf, other]

Title: DensE: An Enhanced Non-commutative Representation for Knowledge Graph Embedding with Adaptive Semantic Hierarchy

Authors: Haonan Lu, Hailin Hu, Xiaodong Lin

Comments: Accepted by Neurocomputing

Journal-ref: Neurocomputing, Volume 476, 1 March 2022, Pages 115-125

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

[63]  arXiv:2008.04589 [pdf, other]

Title: Model-Based Quality-Diversity Search for Efficient Robot Learning

Authors: Leon Keller, Daniel Tanneberg, Svenja Stark, Jan Peters

Comments: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2020

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

[64]  arXiv:2008.04600 [pdf, other]

Title: Planimation

Authors: Gang Chen, Yi Ding, Hugo Edwards, Chong Hin Chau, Sai Hou, Grace Johnson, Mohammed Sharukh Syed, Haoyuan Tang, Yue Wu, Ye Yan, Gil Tidhar, Nir Lipovetzky

Comments: Best ICAPS 19 - Systen Demo Award - technical report

Subjects: Artificial Intelligence (cs.AI)

[65]  arXiv:2008.04774 [pdf, other]

Title: SMT-based Safety Verification of Parameterised Multi-Agent Systems

Authors: Paolo Felli, Alessandro Gianola, Marco Montali

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

[66]  arXiv:2008.04793 [pdf]

Title: Future Trends for Human-AI Collaboration: A Comprehensive Taxonomy of AI/AGI Using Multiple Intelligences and Learning Styles

Authors: Andrzej Cichocki, Alexander P. Kuleshov

Comments: 19 Figures, 27 pages

Journal-ref: Computational Intelligence and Neuroscience (2020)

Subjects: Artificial Intelligence (cs.AI)

[67]  arXiv:2008.04875 [pdf, other]

Title: Ortus: an Emotion-Driven Approach to (artificial) Biological Intelligence

Authors: Andrew W.E. McDonald, Sean Grimes, David E. Breen

Comments: \c{opyright} 2017 Massachusetts Institute of Technology Published under a Creative Commons Attribution 4.0 International

Journal-ref: European Conference on Artificial Life 2017

Subjects: Artificial Intelligence (cs.AI)

[68]  arXiv:2008.04970 [pdf]

Title: Metaheuristics for the operating theater planning and scheduling: A systematic review

Authors: Amirhossein Moosavi, Onur Ozturk

Comments: 30 pages, 8 figures and 4 tables

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

[69]  arXiv:2008.05131 [pdf, other]

Title: Learning to Reason in Round-based Games: Multi-task Sequence Generation for Purchasing Decision Making in First-person Shooters

Authors: Yilei Zeng, Deren Lei, Beichen Li, Gangrong Jiang, Emilio Ferrara, Michael Zyda

Comments: 16th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-20)

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

[70]  arXiv:2008.05228 [pdf, ps, other]

Title: Optimal to-do list gamification

Authors: Jugoslav Stojcheski, Valkyrie Felso, Falk Lieder

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

[71]  arXiv:2008.05239 [pdf, other]

Title: A Knowledge Graph for Assessing Aggressive Tax Planning Strategies

Authors: Niklas Lüdemann, Ageda Shiba, Nikolaos Thymianis, Nicolas Heist, Christopher Ludwig, Heiko Paulheim

Comments: Accepted to International Semantic Web Conference 2020

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

[72]  arXiv:2008.05250 [pdf, ps, other]

Title: Optimizing fire allocation in a NCW-type model

Authors: Nam Hong Nguyen, My Anh Vu, Dinh Van Bui, Anh Ngoc Ta, Manh Duc Hy

Comments: 6 pages on NCW-type model

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

[73]  arXiv:2008.05297 [pdf, other]

Title: Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting

Authors: Franco Alberto Cardillo, Umberto Straccia

Subjects: Artificial Intelligence (cs.AI)

[74]  arXiv:2008.05585 [pdf, other]

Title: Deceptive Kernel Function on Observations of Discrete POMDP

Authors: Zhili Zhang, Quanyan Zhu

Comments: 22 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI)

[75]  arXiv:2008.05607 [pdf, other]

Title: A clarification of misconceptions, myths and desired status of artificial intelligence

Authors: Frank Emmert-Streib, Olli Yli-Harja, Matthias Dehmer

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

[76]  arXiv:2008.05804 [pdf, other]

Title: Process Discovery for Structured Program Synthesis

Authors: Dell Zhang, Alexander Kuhnle, Julian Richardson, Murat Sensoy

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

[77]  arXiv:2008.06052 [pdf, ps, other]

Title: Constructed emotions and superinformation: a constructor-theoretic approach

Authors: Riccardo Franco

Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[78]  arXiv:2008.06073 [pdf, other]

Title: Visuomotor Mechanical Search: Learning to Retrieve Target Objects in Clutter

Authors: Andrey Kurenkov, Joseph Taglic, Rohun Kulkarni, Marcus Dominguez-Kuhne, Animesh Garg, Roberto Martín-Martín, Silvio Savarese

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

[79]  arXiv:2008.06313 [pdf, other]

Title: Interpretable Real-Time Win Prediction for Honor of Kings, a Popular Mobile MOBA Esport

Authors: Zelong Yang, Zhufeng Pan, Yan Wang, Deng Cai, Xiaojiang Liu, Shuming Shi, Shao-Lun Huang

Comments: 10 pages, 6 figures

Subjects: Artificial Intelligence (cs.AI)

[80]  arXiv:2008.06319 [pdf, other]

Title: OR-Gym: A Reinforcement Learning Library for Operations Research Problems

Authors: Christian D. Hubbs, Hector D. Perez, Owais Sarwar, Nikolaos V. Sahinidis, Ignacio E. Grossmann, John M. Wassick

Comments: 29 pages, 10 figures

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

[81]  arXiv:2008.06326 [pdf, other]

Title: Feature Extraction Functions for Neural Logic Rule Learning

Authors: Shashank Gupta, Antonio Robles-Kelly, Mohamed Reda Bouadjenek

Comments: to be published in S+SSPR 2020 proceedings

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

[82]  arXiv:2008.06464 [src]

Title: Multi-Agent Deep Reinforcement Learning enabled Computation Resource Allocation in a Vehicular Cloud Network

Authors: Shilin Xu, Caili Guo, Rose Qingyang Hu, Yi Qian

Comments: I have update this paper, and a new version will be resubmitted later

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

[83]  arXiv:2008.06595 [src]

Title: Decision-making at Unsignalized Intersection for Autonomous Vehicles: Left-turn Maneuver with Deep Reinforcement Learning

Authors: Teng Liu, Xingyu Mu, Bing Huang, Xiaolin Tang, Fuqing Zhao, Xiao Wang, Dongpu Cao

Comments: Some simulation results should be improved!

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

[84]  arXiv:2008.06599 [pdf, ps, other]

Title: Wikidata on MARS

Authors: Peter F. Patel-Schneider, David Martin

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

Subjects: Artificial Intelligence (cs.AI)

[85]  arXiv:2008.06692 [pdf, other]

Title: How to build your own ASP-based system?!

Authors: Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

Comments: 68 pages, under consideration in Theory and Practice of Logic Programming (TPLP)

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

[86]  arXiv:2008.06693 [pdf, other]

Title: Explainability in Deep Reinforcement Learning

Authors: Alexandre Heuillet, Fabien Couthouis, Natalia Díaz-Rodríguez

Comments: Article accepted at Knowledge-Based Systems

Subjects: Artificial Intelligence (cs.AI)

[87]  arXiv:2008.06696 [pdf, other]

Title: Autonomous Braking and Throttle System: A Deep Reinforcement Learning Approach for Naturalistic Driving

Authors: Varshit S. Dubey, Ruhshad Kasad, Karan Agrawal

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

[88]  arXiv:2008.06727 [pdf]

Title: A Review on Drivers Red Light Running Behavior Predictions and Technology Based Countermeasures

Authors: Md Mostafizur Rahman Komol, Jack Pinnow, Mohammed Elhenawy, Shamsunnahar Yasmin, Mahmoud Masoud, Sebastien Glaser, Andry Rakotonirainy

Comments: Published in IEEE ACCESS

Journal-ref: in IEEE Access, vol. 10, pp. 25309-25326, 2022

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

[89]  arXiv:2008.06799 [pdf]

Title: Chrome Dino Run using Reinforcement Learning

Authors: Divyanshu Marwah, Sneha Srivastava, Anusha Gupta, Shruti Verma

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

[90]  arXiv:2008.06832 [pdf, other]

Title: Differentially Private Multi-Agent Planning for Logistic-like Problems

Authors: Dayong Ye, Tianqing Zhu, Sheng Shen, Wanlei Zhou, Philip S. Yu

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

[91]  arXiv:2008.06979 [pdf]

Title: Prediction of Homicides in Urban Centers: A Machine Learning Approach

Authors: José Ribeiro, Lair Meneses, Denis Costa, Wando Miranda, Ronnie Alves

Comments: 17 pages, 4 tables and 3 figures, Accepted in IntelliSys 2021

Journal-ref: IntelliSys 2021

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

[92]  arXiv:2008.07324 [pdf, other]

Title: Intelligence Primer

Authors: Karl Fezer, Andrew Sloss

Comments: 18 pages, 12 Figures

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

[93]  arXiv:2008.07356 [pdf, ps, other]

Title: Estimating action plans for smart poultry houses

Authors: Darlan Felipe Klotz, Richardson Ribeiro, Fabrício Enembreck, Gustavo Denardin, Marco Barbosa, Dalcimar Casanova, Marcelo Teixeira

Comments: To be submitted to the journal Expert Systems with Applications

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

[94]  arXiv:2008.07372 [pdf, ps, other]

Title: Maximum Customers' Satisfaction in One-way Car-sharing: Modeling, Exact and Heuristic Solving

Authors: Welverton R. Silva, Rafael C. S. Schouery

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

[95]  arXiv:2008.07408 [pdf, other]

Title: A deep active inference model of the rubber-hand illusion

Authors: Thomas Rood, Marcel van Gerven, Pablo Lanillos

Comments: 8 pages, 3 figures, Accepted in 1st International Workshop on Active Inference, in Conjunction with European Conference of Machine Learning 2020. The final authenticated publication is available online at this https URL

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

[96]  arXiv:2008.07463 [pdf, other]

Title: Automated Reasoning in Temporal DL-Lite

Authors: Sabiha Tahrat, German Braun, Alessandro Artale, Marco Gario, Ana Ozaki

Subjects: Artificial Intelligence (cs.AI)

[97]  arXiv:2008.07491 [pdf]

Title: Metaheuristic optimization of power and energy systems: underlying principles and main issues of the 'rush to heuristics'

Authors: Gianfranco Chicco, Andrea Mazza

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

[98]  arXiv:2008.07559 [pdf, other]

Title: Resolving Intent Ambiguities by Retrieving Discriminative Clarifying Questions

Authors: Kaustubh D. Dhole

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

[99]  arXiv:2008.07667 [pdf, other]

Title: Runtime-Safety-Guided Policy Repair

Authors: Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li

Subjects: Artificial Intelligence (cs.AI)

[100]  arXiv:2008.07734 [pdf, other]

Title: Trust and Medical AI: The challenges we face and the expertise needed to overcome them

Authors: Thomas P. Quinn, Manisha Senadeera, Stephan Jacobs, Simon Coghlan, Vuong Le

Comments: 6 pages, 2 figures

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

[101]  arXiv:2008.07773 [pdf, other]

Title: Learning Fair Policies in Multiobjective (Deep) Reinforcement Learning with Average and Discounted Rewards

Authors: Umer Siddique, Paul Weng, Matthieu Zimmer

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

[102]  arXiv:2008.07792 [pdf, other]

Title: ReLMoGen: Leveraging Motion Generation in Reinforcement Learning for Mobile Manipulation

Authors: Fei Xia, Chengshu Li, Roberto Martín-Martín, Or Litany, Alexander Toshev, Silvio Savarese

Comments: First two authors contributed equally. Access project website at this http URL

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

[103]  arXiv:2008.07912 [pdf, ps, other]

Title: Inductive logic programming at 30: a new introduction

Authors: Andrew Cropper, Sebastijan Dumančić

Comments: Preprint of a paper accepted for JAIR

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

[104]  arXiv:2008.07965 [pdf, other]

Title: Analysis of Social Robotic Navigation approaches: CNN Encoder and Incremental Learning as an alternative to Deep Reinforcement Learning

Authors: Janderson Ferreira (1), Agostinho A. F. Júnior (1), Letícia Castro (1), Yves M. Galvão (1), Pablo Barros (2), Bruno J. T. Fernandes (1) ((1) Universidade de Pernambuco - Escola Politécnica de Pernambuco, (2) Cognitive Architecture for Collaborative Technologies Unit - Istituto Italiano di Tecnologia)

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

[105]  arXiv:2008.07971 [pdf, other]

Title: Super-Human Performance in Gran Turismo Sport Using Deep Reinforcement Learning

Authors: Florian Fuchs, Yunlong Song, Elia Kaufmann, Davide Scaramuzza, Peter Duerr

Comments: Accepted for Publication at the IEEE Robotics and Automation Letters (RA-L) 2021, and International Conference on Robots and Automation (ICRA) 2021

Journal-ref: IEEE Robotics and Automation Letters (RAL) 2021

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

[106]  arXiv:2008.07993 [pdf, other]

Title: XNAP: Making LSTM-based Next Activity Predictions Explainable by Using LRP

Authors: Sven Weinzierl, Sandra Zilker, Jens Brunk, Kate Revoredo, Martin Matzner, Jörg Becker

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

[107]  arXiv:2008.08076 [pdf, other]

Title: Deploying Lifelong Open-Domain Dialogue Learning

Authors: Kurt Shuster, Jack Urbanek, Emily Dinan, Arthur Szlam, Jason Weston

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

[108]  arXiv:2008.08114 [pdf, other]

Title: Commonsense Knowledge in Wikidata

Authors: Filip Ilievski, Pedro Szekely, Daniel Schwabe

Comments: WikiData Workshop at ISWC 2020

Subjects: Artificial Intelligence (cs.AI)

[109]  arXiv:2008.08300 [src]

Title: Using Sampling Strategy to Assist Consensus Sequence Analysis

Authors: Zhichao Xu, Shuhong Chen

Comments: under revision

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

[110]  arXiv:2008.08446 [pdf, other]

Title: A Maximum Independent Set Method for Scheduling Earth Observing Satellite Constellations

Authors: Duncan Eddy, Mykel J. Kochenderfer

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

[111]  arXiv:2008.08524 [pdf, ps, other]

Title: Tractable Inference in Credal Sentential Decision Diagrams

Authors: Lilith Mattei, Alessandro Antonucci, Denis Deratani Mauá, Alessandro Facchini, Julissa Villanueva Llerena

Comments: To appear in the International Journal of Approximate Reasoning (IJAR Volume 125)

Subjects: Artificial Intelligence (cs.AI)

[112]  arXiv:2008.08548 [pdf, other]

Title: A Survey of Knowledge-based Sequential Decision Making under Uncertainty

Authors: Shiqi Zhang, Mohan Sridharan

Subjects: Artificial Intelligence (cs.AI)

[113]  arXiv:2008.08693 [pdf, other]

Title: Prescriptive Business Process Monitoring for Recommending Next Best Actions

Authors: Sven Weinzierl, Sebastian Dunzer, Sandra Zilker, Martin Matzner

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

[114]  arXiv:2008.08808 [pdf, other]

Title: BGC: Multi-Agent Group Belief with Graph Clustering

Authors: Tianze Zhou, Fubiao Zhang, Pan Tang, Chenfei Wang

Comments: 7 pages, 5 figures

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

[115]  arXiv:2008.08919 [pdf, other]

Title: SentiQ: A Probabilistic Logic Approach to Enhance Sentiment Analysis Tool Quality

Authors: Wissam Maamar Kouadri, Salima Benbernou, Mourad Ouziri, Themis Palpanas, Iheb Ben Amor

Comments: In Proceedings of the 9th KDD Workshop on Issues of Sentiment Discovery and Opinion Mining (WISDOM 20). San Diego, CA, USA, 8 pages

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

[116]  arXiv:2008.09067 [pdf, ps, other]

Title: Adventures in Mathematical Reasoning

Authors: Toby Walsh

Comments: To appear in "DReaM On: 45 years of Automated Reasoning", a festschrift for Alan Bundy published by Springer-Verlag

Subjects: Artificial Intelligence (cs.AI)

[117]  arXiv:2008.09510 [pdf, other]

Title: Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles

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

Comments: Accepted by Information and Software Technology. arXiv admin note: substantial text overlap with arXiv:1908.06540

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

[118]  arXiv:2008.09535 [pdf, other]

Title: Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal Logic

Authors: Aaron J. Gutknecht, Michael Wibral, Abdullah Makkeh

Comments: 25 pages, 16 figures

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Logic (math.LO); Neurons and Cognition (q-bio.NC)

[119]  arXiv:2008.09558 [pdf, other]

Title: Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining

Authors: Artem Polyvyanyy, Hanan Alkhammash, Claudio Di Ciccio, Luciano García-Bañuelos, Anna Kalenkova, Sander J. J. Leemans, Jan Mendling, Alistair Moffat, Matthias Weidlich

Comments: 4 pages

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Information Theory (cs.IT)

[120]  arXiv:2008.09645 [pdf, other]

Title: Urban Bike Lane Planning with Bike Trajectories: Models, Algorithms, and a Real-World Case Study

Authors: Sheng Liu, Zuo-Jun Max Shen, Xiang Ji

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Optimization and Control (math.OC)

[121]  arXiv:2008.09680 [pdf, other]

Title: Transforming Probabilistic Programs for Model Checking

Authors: Ryan Bernstein, Matthijs Vákár, Jeannette Wing

Comments: To be published in Proceedings of the 2020 ACM-IMS Foundations of Data Science Conference

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

[122]  arXiv:2008.09912 [pdf, other]

Title: Reimagining City Configuration: Automated Urban Planning via Adversarial Learning

Authors: Dongjie Wang, Yanjie Fu, Pengyang Wang, Bo Huang, Chang-Tien Lu

Comments: Proceedings of the 28th International Conference on Advances in Geographic Information Systems (2020)

Journal-ref: SIGSPATIAL/GIS 2020: 497-506

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

[123]  arXiv:2008.09982 [pdf]

Title: Spending Money Wisely: Online Electronic Coupon Allocation based on Real-Time User Intent Detection

Authors: Liangwei Li, Liucheng Sun, Chenwei Weng, Chengfu Huo, Weijun Ren

Subjects: Artificial Intelligence (cs.AI)

[124]  arXiv:2008.10080 [pdf, other]

Title: Mobile Networks for Computer Go

Authors: Tristan Cazenave

Subjects: Artificial Intelligence (cs.AI)

[125]  arXiv:2008.10086 [pdf, other]

Title: Learning Models of Individual Behavior in Chess

Authors: Reid McIlroy-Young, Russell Wang, Siddhartha Sen, Jon Kleinberg, Ashton Anderson

Comments: 12 pages, 11 figures, 5 tables, Published in the Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2022), Code this https URL

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

[126]  arXiv:2008.10114 [pdf]

Title: Handling of uncertainty in medical data using machine learning and probability theory techniques: A review of 30 years (1991-2020)

Authors: Roohallah Alizadehsani, Mohamad Roshanzamir, Sadiq Hussain, Abbas Khosravi, Afsaneh Koohestani, Mohammad Hossein Zangooei, Moloud Abdar, Adham Beykikhoshk, Afshin Shoeibi, Assef Zare, Maryam Panahiazar, Saeid Nahavandi, Dipti Srinivasan, Amir F. Atiya, U. Rajendra Acharya

Subjects: Artificial Intelligence (cs.AI)

[127]  arXiv:2008.10386 [pdf, other]

Title: Compact Belief State Representation for Task Planning

Authors: Evgenii Safronov, Michele Colledanchise, Lorenzo Natale

Comments: Accepted to CASE 2020 16th IEEE International Conference on Automation Science and Engineering

Subjects: Artificial Intelligence (cs.AI)

[128]  arXiv:2008.10401 [pdf, ps, other]

Title: Combinatorial diversity metrics for the analysis of policy processes

Authors: Mark Dukes, Anthony A. Casey

Subjects: Artificial Intelligence (cs.AI)

[129]  arXiv:2008.11003 [pdf, other]

Title: Applications of Artificial Intelligence in Live Action Role-Playing Games (LARP)

Authors: Christoph Salge, Emily Short, Mike Preuss, Spyridion Samothrakis, Pieter Spronck

Comments: 8 pages, 2 figures. Published at IEEE Conference on Games, 2020

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

[130]  arXiv:2008.11229 [pdf, other]

Title: Uncovering Soccer Teams Passing Strategies Using Implication Rules

Authors: Olumide Leshi

Comments: 10 pages with sbc-template.sty used, 3 PNG figures

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

[131]  arXiv:2008.11258 [pdf, other]

Title: Say "Sul Sul!" to SimSim, A Sims-Inspired Platform for Sandbox Game AI

Authors: Megan Charity, Dipika Rajesh, Rachel Ombok, L. B. Soros

Comments: 7 pages, Accepted as poster to AIIDE 2020

Subjects: Artificial Intelligence (cs.AI)

[132]  arXiv:2008.11545 [pdf]

Title: The Effects of Quantum Randomness on a System Exhibiting Computational Creativity

Authors: Azlan Iqbal

Comments: 4 pages, 4 tables

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Quantum Physics (quant-ph)

[133]  arXiv:2008.11634 [pdf, other]

Title: Assessment of Reward Functions for Reinforcement Learning Traffic Signal Control under Real-World Limitations

Authors: Alvaro Cabrejas-Egea, Shaun Howell, Maksis Knutins, Colm Connaughton

Comments: Conference paper, 13 pages, 7 figures, 1 table

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

[134]  arXiv:2008.11719 [pdf]

Title: A Three-Stage Algorithm for the Large Scale Dynamic Vehicle Routing Problem with an Industry 4.0 Approach

Authors: Maryam Abdirad, Krishna Krishnan, Deepak Gupta

Comments: It previously appeared as arXiv:2008.04355v2. arXiv admin note: text overlap with arXiv:2008.04355v3

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

[135]  arXiv:2008.11791 [pdf, other]

Title: Reputation-driven Decision-making in Networks of Stochastic Agents

Authors: David Maoujoud, Gavin Rens

Comments: 19 pages, including bibliography

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

[136]  arXiv:2008.11852 [pdf]

Title: Decision-making for Autonomous Vehicles on Highway: Deep Reinforcement Learning with Continuous Action Horizon

Authors: Teng Liu, Hong Wang, Bing Lu, Jun Li, Dongpu Cao

Comments: 9 pages, 10 figures

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

[137]  arXiv:2008.11906 [pdf, ps, other]

Title: A principled analysis of Behavior Trees and their generalisations

Authors: Oliver Biggar (1), Mohammad Zamani (1), Iman Shames (2) ((1) Defence Science and Technology Group, Australia, (2) The Australian National University, Australia)

Comments: 13 pages, 11 figures. The content of the previous version is now split between this and arXiv:2104.07919, which have both been significantly updated

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

[138]  arXiv:2008.12095 [pdf, other]

Title: Document-editing Assistants and Model-based Reinforcement Learning as a Path to Conversational AI

Authors: Katya Kudashkina, Patrick M. Pilarski, Richard S. Sutton

Comments: Currently under review

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

[139]  arXiv:2008.12219 [pdf, other]

Title: Analysis of English free association network reveals mechanisms of efficient solution of Remote Association Tests

Authors: O.V. Valba, A.S. Gorsky, S.K. Nechaev, M.V. Tamm

Comments: 16 pages, 4 figures, 3 tables (article is substantially revised)

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

[140]  arXiv:2008.12234 [pdf, other]

Title: The Advantage Regret-Matching Actor-Critic

Authors: Audrūnas Gruslys, Marc Lanctot, Rémi Munos, Finbarr Timbers, Martin Schmid, Julien Perolat, Dustin Morrill, Vinicius Zambaldi, Jean-Baptiste Lespiau, John Schultz, Mohammad Gheshlaghi Azar, Michael Bowling, Karl Tuyls

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

[141]  arXiv:2008.12342 [pdf, ps, other]

Title: Optimal minimal-perturbation university timetabling with faculty preferences

Authors: Jakob Kotas, Peter Pham, Sam Koellmann

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

[142]  arXiv:2008.12401 [pdf, other]

Title: Automatic Player Identification in Dota 2

Authors: Sizhe Yuen, John D. Thomson, Oliver Don

Comments: 11 pages, 13 figures, 2 tables

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

[143]  arXiv:2008.12515 [pdf, ps, other]

Title: On modularity in reactive control architectures, with an application to formal verification

Authors: Oliver Biggar (1), Mohammad Zamani (2), Iman Shames (1) ((1) Australian National University, (2) Defence Science and Technology Group, Australia)

Comments: Accepted to ACM Transactions on Cyber-Physical Systems. 26 pages, 9 figures. Version 3 changes: accepted version, minor changes

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

[144]  arXiv:2008.12879 [pdf, ps, other]

Title: A Metamodel and Framework for AGI

Authors: Hugo Latapie, Ozkan Kilic

Subjects: Artificial Intelligence (cs.AI)

[145]  arXiv:2008.12937 [pdf, other]

Title: Predicting Game Difficulty and Churn Without Players

Authors: Shaghayegh Roohi (1), Asko Relas (2), Jari Takatalo (2), Henri Heiskanen (2), Perttu Hämäläinen (1) ((1) Aalto University, Espoo, Finland, (2) Rovio Entertainment, Espoo, Finland)

Comments: 9 pages, 9 figures, In Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '20)

Subjects: Artificial Intelligence (cs.AI)

[146]  arXiv:2008.13115 [pdf, other]

Title: Corruption and Audit in Strategic Argumentation

Authors: Michael J. Maher

Comments: Reasoning Research Institute technical report, 2017

Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Multiagent Systems (cs.MA)

[147]  arXiv:2008.13146 [pdf, other]

Title: Deep Learning Techniques for Geospatial Data Analysis

Authors: Arvind W. Kiwelekar, Geetanjali S. Mahamunkar, Laxman D. Netak, Valmik B Nikam

Comments: This is a pre-print of the following chapter: Arvind W. Kiwelekar, Geetanjali S. Mahamunkar, Laxman D. Netak, Valmik B Nikam, {\em Deep Learning Techniques for Geospatial Data Analysis}, published in {\bf Machine Learning Paradigms}, edited by George A. TsihrintzisLakhmi C. Jain, 2020, publisher Springer, Cham reproduced with permission of publisher Springer, Cham

Journal-ref: In Machine Learning Paradigms, pp. 63-81. Springer, Cham, 2020

Subjects: Artificial Intelligence (cs.AI)

[148]  arXiv:2008.13278 [pdf, other]

Title: On a plausible concept-wise multipreference semantics and its relations with self-organising maps

Authors: Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

Comments: 13 pages

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

[149]  arXiv:2008.13618 [pdf, other]

Title: Learning All Credible Bayesian Network Structures for Model Averaging

Authors: Zhenyu A. Liao, Charupriya Sharma, James Cussens, Peter van Beek

Comments: under review by JMLR. arXiv admin note: substantial text overlap with arXiv:1811.05039

Subjects: Artificial Intelligence (cs.AI)

[150]  arXiv:2008.00032 (cross-list from cs.CL) [pdf, ps, other]

Title: Sentiment Analysis based Multi-person Multi-criteria Decision Making Methodology using Natural Language Processing and Deep Learning for Smarter Decision Aid. Case study of restaurant choice using TripAdvisor reviews

Authors: Cristina Zuheros, Eugenio Martínez-Cámara, Enrique Herrera-Viedma, Francisco Herrera

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