Artificial Intelligence

Authors and titles for March 2018

[1] arXiv:1803.00091 [pdf, other]

Title: Verification of Markov Decision Processes with Risk-Sensitive Measures

Murat Cubuktepe, Ufuk Topcu

Comments: 7 pages, to appear in ACC 2018

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

[2] arXiv:1803.00116 [pdf, other]

Title: Separators and Adjustment Sets in Causal Graphs: Complete Criteria and an Algorithmic Framework

Benito van der Zander (1), Maciej Liśkiewicz (1), Johannes Textor (2) ((1) Institute for Theoretical Computer Science, Universität zu Lübeck, Germany, (2) Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands)

Comments: 52 pages, 20 figures, 12 tables

Journal-ref: Artificial Intelligence 270 (2019) 1-40

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

[3] arXiv:1803.00119 [pdf, other]

Title: Integrating Human-Provided Information Into Belief State Representation Using Dynamic Factorization

Rohan Chitnis, Leslie Pack Kaelbling, Tomás Lozano-Pérez

Comments: IROS 2018 final version

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

[4] arXiv:1803.00162 [pdf, other]

Title: Towards Cooperation in Sequential Prisoner's Dilemmas: a Deep Multiagent Reinforcement Learning Approach

Weixun Wang, Jianye Hao, Yixi Wang, Matthew Taylor

Comments: 13 pages, 21 figures

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

[5] arXiv:1803.00259 [pdf, other]

Title: Deep Reinforcement Learning for Sponsored Search Real-time Bidding

Jun Zhao, Guang Qiu, Ziyu Guan, Wei Zhao, Xiaofei He

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1803.00268 [pdf, other]

Title: Representation Learning in Partially Observable Environments using Sensorimotor Prediction

Thibaut Kulak, Michael Garcia Ortiz

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

[7] arXiv:1803.00512 [pdf, other]

Title: Composable Planning with Attributes

Amy Zhang, Adam Lerer, Sainbayar Sukhbaatar, Rob Fergus, Arthur Szlam

Journal-ref: International Conference on Machine Learning, 2018

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1803.00546 [pdf, other]

Title: Semi-Supervised Online Structure Learning for Composite Event Recognition

Evangelos Michelioudakis, Alexander Artikis, Georgios Paliouras

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

[9] arXiv:1803.00612 [pdf, other]

Title: Knowledge Base Relation Detection via Multi-View Matching

Yang Yu, Kazi Saidul Hasan, Mo Yu, Wei Zhang, Zhiguo Wang

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1803.00722 [pdf, other]

Title: Proceedings 6th International Workshop on Theorem proving components for Educational software

Pedro Quaresma (University of Coimbra), Walther Neuper (IICM at Graz University of Technology)

Journal-ref: EPTCS 267, 2018

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

[11] arXiv:1803.00832 [pdf, other]

Title: Towards a Question Answering System over the Semantic Web

Dennis Diefenbach, Andreas Both, Kamal Singh, Pierre Maret

Comments: There is a Patent Pending for the presented approach. It was submitted the 18 January 2018 at the EPO and has the number EP18305035.0

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

[12] arXiv:1803.00874 [pdf, other]

Title: Estimating Total Search Space Size for Specific Piece Sets in Chess

Azlan Iqbal

Comments: 3 Pages

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:1803.01044 [pdf, other]

Title: Multi-Agent Imitation Learning for Driving Simulation

Raunak P. Bhattacharyya, Derek J. Phillips, Blake Wulfe, Jeremy Morton, Alex Kuefler, Mykel J. Kochenderfer

Comments: 6 pages, 3 figures, 1 table

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1803.01092 [pdf, other]

Title: Analyzing Business Process Anomalies Using Autoencoders

Timo Nolle, Stefan Luettgen, Alexander Seeliger, Max Mühlhäuser

Comments: 20 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1803.01118 [pdf, other]

Title: Some Considerations on Learning to Explore via Meta-Reinforcement Learning

Bradly C. Stadie, Ge Yang, Rein Houthooft, Xi Chen, Yan Duan, Yuhuai Wu, Pieter Abbeel, Ilya Sutskever

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1803.01252 [pdf, other]

Title: A Swift Heuristic Method for Work Order Scheduling under the Skilled-Workforce Constraint

Nima Safaei, Corey Kiassat

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1803.01365 [pdf, other]

Title: New Results on Multi-Step Traffic Flow Prediction

Arief Koesdwiady, Fakhri Karray

Comments: submitted to IEEE Trans on ITS

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

[18] arXiv:1803.01403 [pdf, other]

Title: Exploring Novel Game Spaces with Fluidic Games

Swen E. Gaudl, Mark J. Nelson, Simon Colton, Rob Saunders, Edward J. Powley, Peter Ivey, Blanca Perez Ferrer, Michael Cook

Comments: AISB: Games AI & VR, 4 pages, 4 figures, game design, tools, creativity

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1803.01412 [pdf, other]

Title: A real-time decision support system for bridge management based on the rules generalized by CART decision tree and SMO algorithms

Shadi Abpeykar, Mehdi Ghatee

Comments: 11 pages, 5 figures, extracted form an MSc project in Department of Computer Science, Amirkabir University of Technology, Tehran, Iran This paper has been accepted for publication in AUT Journal of Mathematics and Computing (AJMC), this http URL, 2018

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1803.01468 [pdf, other]

Title: Improving QED-Tutrix by Automating the Generation of Proofs

Ludovic Font (École Polytechnique de Montréal), Philippe R. Richard (Université de Montréal), Michel Gagnon (École Polytechnique de Montréal)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 38-58

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[21] arXiv:1803.01571 [pdf, other]

Title: Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino-Pérez

Comments: 30 pages

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1803.01648 [pdf, other]

Title: A Genetic Programming Framework for 2D Platform AI

Swen E. Gaudl

Comments: Genetic Programming, GP, Game AI, Agent Design, Platformer, AISB, JGAP, platformerAI, symbolic learning

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1803.01690 [pdf, other]

Title: New Ideas for Brain Modelling 5

Kieran Greer

Journal-ref: AIMS Biophysics, Vol. 8, Issue 1, pp. 41-56, 2021

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1803.02018 [pdf, other]

Title: Intent-aware Multi-agent Reinforcement Learning

Siyuan Qi, Song-Chun Zhu

Comments: ICRA 2018

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1803.02100 [pdf, other]

Title: The ORCA Hub: Explainable Offshore Robotics through Intelligent Interfaces

Helen Hastie, Katrin Lohan, Mike Chantler, David A. Robb, Subramanian Ramamoorthy, Ron Petrick, Sethu Vijayakumar, David Lane

Comments: 2 pages. Peer reviewed position paper accepted in the Explainable Robotic Systems Workshop, ACM Human-Robot Interaction conference, March 2018, Chicago, IL USA

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

[26] arXiv:1803.02124 [pdf, other]

Title: MIRIAM: A Multimodal Chat-Based Interface for Autonomous Systems

Helen Hastie, Francisco J. Chiyah Garcia, David A. Robb, Pedro Patron, Atanas Laskov

Comments: 2 pages, ICMI'17, 19th ACM International Conference on Multimodal Interaction, November 13-17 2017, Glasgow, UK

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

[27] arXiv:1803.02208 [pdf, other]

Title: Discovering Underlying Plans Based on Shallow Models

Hankz Hankui Zhuo, Yantian Zha, Subbarao Kambhampati

Comments: arXiv admin note: substantial text overlap with arXiv:1511.05662

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1803.02232 [pdf, other]

Title: Optimal Stochastic Package Delivery Planning with Deadline: A Cardinality Minimization in Routing

Suttinee Sawadsitang, Siwei Jiang, Dusit Niyato, Ping Wang

Comments: 7 pages, 6 figures, Vehicular Technology Conference (VTC fall), 2017 IEEE 86th

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

[29] arXiv:1803.02476 [pdf, other]

Title: Decision-making processes in the Cognitive Theory of True Conditions

Sergio Miguel-Tomé

Subjects: Artificial Intelligence (cs.AI)

[30] arXiv:1803.02632 [pdf, other]

Title: Extracting Action Sequences from Texts Based on Deep Reinforcement Learning

Wenfeng Feng, Hankz Hankui Zhuo, Subbarao Kambhampati

Comments: 7pages, 6 figures

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

[31] arXiv:1803.02808 [pdf, other]

Title: OntoWind: An Improved and Extended Wind Energy Ontology

Dilek Küçük, Doğan Küçük

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1803.02884 [pdf, other]

Title: Synthesis in pMDPs: A Tale of 1001 Parameters

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

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

[33] arXiv:1803.02906 [pdf, other]

Title: Simultaneous Task Allocation and Planning Under Uncertainty

Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker

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

[34] arXiv:1803.02912 [pdf, other]

Title: A Brandom-ian view of Reinforcement Learning towards strong-AI

Atrisha Sarkar

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1803.03021 [pdf, other]

Title: SA-IGA: A Multiagent Reinforcement Learning Method Towards Socially Optimal Outcomes

Chengwei Zhang, Xiaohong Li, Jianye Hao, Siqi Chen, Karl Tuyls, Wanli Xue

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1803.03067 [pdf, other]

Title: Compositional Attention Networks for Machine Reasoning

Drew A. Hudson, Christopher D. Manning

Comments: Published as a conference paper at ICLR 2018

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1803.03114 [pdf, other]

Title: Concise Fuzzy Planar Embedding of Graphs: a Dimensionality Reduction Approach

Faisal N. Abu-Khzam, Rana H. Mouawi, Amer Hajj Ahmad, Sergio Thoumi

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1803.03407 [pdf, other]

Title: Institutional Metaphors for Designing Large-Scale Distributed AI versus AI Techniques for Running Institutions

Alexander Boer, Giovanni Sileno

Comments: invited chapter, before proofread

Subjects: Artificial Intelligence (cs.AI)

[39] arXiv:1803.03479 [pdf, other]

Title: Highly Automated Learning for Improved Active Safety of Vulnerable Road Users

Maarten Bieshaar, Günther Reitberger, Viktor Kreß, Stefan Zernetsch, Konrad Doll, Erich Fuchs, Bernhard Sick

Comments: 4 pages, 1 figure

Journal-ref: published in ACM Chapters Computer Science in Cars Symposium (CSCS-17). Munich, Germany. 2017

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1803.03834 [pdf, other]

Title: Learning and analyzing vector encoding of symbolic representations

Roland Fernandez, Asli Celikyilmaz, Rishabh Singh, Paul Smolensky

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1803.04119 [pdf, other]

Title: A Deep Learning Based Behavioral Approach to Indoor Autonomous Navigation

Gabriel Sepulveda, Juan Carlos Niebles, Alvaro Soto

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

[42] arXiv:1803.04263 [pdf, other]

Title: The Challenge of Crafting Intelligible Intelligence

Daniel S. Weld, Gagan Bansal

Comments: arXiv admin note: text overlap with arXiv:1603.08507 by other authors

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1803.04474 [pdf, other]

Title: Predicting Crime Using Spatial Features

Fateha Khanam Bappee, Amilcar Soares Junior, Stan Matwin

Comments: Paper accepted to 31st Canadian Conference in Artificial Intelligence, 2018

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

[44] arXiv:1803.04585 [pdf, other]

Title: Categorizing Variants of Goodhart's Law

David Manheim, Scott Garrabrant

Comments: 10 pages

Subjects: Artificial Intelligence (cs.AI); General Finance (q-fin.GN); Machine Learning (stat.ML)

[45] arXiv:1803.04646 [pdf, other]

Title: On Cryptographic Attacks Using Backdoors for SAT

Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev

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

[46] arXiv:1803.04837 [pdf, other]

Title: Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction

Luchen Liu, Jianhao Shen, Ming Zhang, Zichang Wang, Jian Tang

Comments: 8 pages, this paper has been accepted by AAAI 2018

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

[47] arXiv:1803.04994 [pdf, other]

Title: On the Algebra in Boole's Laws of Thought

Subhash Kak

Comments: 11 pages

Journal-ref: Current Science, vol.. 114, pp. 2570-2573, 2018

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1803.05027 [pdf, other]

Title: Solving the Course-timetabling Problem of Cairo University Using Max-SAT

Mohamed El Halaby

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1803.05049 [pdf, other]

Title: Fractal AI: A fragile theory of intelligence

Sergio Hernandez Cerezo, Guillem Duran Ballester

Comments: 57 pages, python code on this https URL, V4: typo in formula at 2.2.3, V4.1 typo in pseudocode at 4.3

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:1803.05098 [pdf, other]

Title: Algorithmic Social Intervention

Bryan Wilder

Comments: Thesis proposal. 21 pages, 4 figures

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