Artificial Intelligence

Authors and titles for July 2018

[51] arXiv:1807.04837 [pdf, other]

Title: A game-theoretic approach to timeline-based planning with uncertainty

Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds

Comments: Published in Proceedings of TIME 2018 (this https URL)

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

[52] arXiv:1807.04861 [pdf, other]

Title: Hybrid Temporal Situation Calculus

Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski

Subjects: Artificial Intelligence (cs.AI)

[53] arXiv:1807.05037 [pdf, other]

Title: Exploring Hierarchy-Aware Inverse Reinforcement Learning

Chris Cundy, Daniel Filan

Comments: Presented at the first Workshop on Goal Specifications for Reinforcement Learning, ICML 2018, Stockholm, Sweden

Journal-ref: 1st Workshop on Goal Specifications for Reinforcement Learning, ICML 2018, Stockholm, Sweden, 2018

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

[54] arXiv:1807.05054 [pdf, other]

Title: AI Reasoning Systems: PAC and Applied Methods

Jeffrey Cheng

Comments: 26 pages

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

[55] arXiv:1807.05517 [pdf, other]

Title: Boosting Combinatorial Problem Modeling with Machine Learning

Michele Lombardi, Michela Milano

Comments: Originally submitted to IJCAI2018

Subjects: Artificial Intelligence (cs.AI)

[56] arXiv:1807.05609 [pdf, other]

Title: The Mathematics of Changing one's Mind, via Jeffrey's or via Pearl's update rule

Bart Jacobs

Subjects: Artificial Intelligence (cs.AI)

[57] arXiv:1807.05691 [pdf, other]

Title: Teaching machines to understand data science code by semantic enrichment of dataflow graphs

Evan Patterson, Ioana Baldini, Aleksandra Mojsilovic, Kush R. Varshney

Comments: 33 pages. Significantly expanded from previous version

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

[58] arXiv:1807.06096 [pdf, other]

Title: Safe Reinforcement Learning via Probabilistic Shields

Nils Jansen, Bettina Könighofer, Sebastian Junges, Alexandru C. Serban, Roderick Bloem

Subjects: Artificial Intelligence (cs.AI)

[59] arXiv:1807.06142 [pdf, other]

Title: Introducing Quantum-Like Influence Diagrams for Violations of the Sure Thing Principle

Catarina Moreira, Andreas Wichert

Journal-ref: Quantum Interactions, 2018

Subjects: Artificial Intelligence (cs.AI)

[60] arXiv:1807.06149 [pdf, other]

Title: Probably approximately correct learning of Horn envelopes from queries

Daniel Borchmann, Tom Hanika, Sergei Obiedkov

Comments: 21 pages, 1 figure

Journal-ref: Discrete Applied Mathematics Volume 273 (2020), Pages 30-42

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

[61] arXiv:1807.06161 [pdf, other]

Title: Explanations for Temporal Recommendations

Homanga Bharadhwaj, Shruti Joshi

Comments: Accepted at the XAI Workshop in IJCAI/ECAI 2018

Journal-ref: Homanga Bharadhwaj and Shruti Joshi. "Explanations for Temporal Recommendations" IJCAI-18 Workshop on Explainable AI (XAI). 2018

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

[62] arXiv:1807.06286 [pdf, other]

Title: Preference-Based Monte Carlo Tree Search

Tobias Joppen, Christian Wirth, Johannes Fürnkranz

Comments: To be published

Journal-ref: Proceedings of the 41st German Conference on Artificial Intelligence (KI-18), 2018

Subjects: Artificial Intelligence (cs.AI)

[63] arXiv:1807.06391 [pdf, other]

Title: Learning to Listen, Read, and Follow: Score Following as a Reinforcement Learning Game

Matthias Dorfer, Florian Henkel, Gerhard Widmer

Comments: Published in the Proceedings of the 19th International Society for Music Information Retrieval Conference, Paris, France, 2018

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

[64] arXiv:1807.06419 [pdf, other]

Title: On Ternary Coding and Three-Valued Logic

Subhash Kak

Comments: 12 pages

Subjects: Artificial Intelligence (cs.AI)

[65] arXiv:1807.06685 [pdf, other]

Title: Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs

Till Mossakowski, Fabian Neuhaus

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

[66] arXiv:1807.06734 [pdf, other]

Title: Generating Levels That Teach Mechanics

Michael Cerny Green, Ahmed Khalifa, Gabriella A.B. Barros, Andy Nealen, Julian Togelius

Comments: 8 pages, 7 figures, PCG Workshop at FDG 2018, 9th International Workshop on Procedural Content Generation (PCG2018)

Subjects: Artificial Intelligence (cs.AI)

[67] arXiv:1807.06757 [pdf, other]

Title: On Evaluation of Embodied Navigation Agents

Peter Anderson, Angel Chang, Devendra Singh Chaplot, Alexey Dosovitskiy, Saurabh Gupta, Vladlen Koltun, Jana Kosecka, Jitendra Malik, Roozbeh Mottaghi, Manolis Savva, Amir R. Zamir

Comments: Report of a working group on empirical methodology in navigation research. Authors are listed in alphabetical order

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

[68] arXiv:1807.06813 [pdf, other]

Title: Traditional Wisdom and Monte Carlo Tree Search Face-to-Face in the Card Game Scopone

Stefano Di Palma, Pier Luca Lanzi

Comments: Preprint. Accepted for publication in the IEEE Transaction on Games

Journal-ref: IEEE Transactions on Games 2018

Subjects: Artificial Intelligence (cs.AI)

[69] arXiv:1807.06996 [pdf, other]

Title: Evolving Large-Scale Data Stream Analytics based on Scalable PANFIS

Mahardhika Pratama, Choiru Za'in, Eric Pardede

Comments: 20 pages, 5 figures

Journal-ref: Knowledge-based System, 2018

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

[70] arXiv:1807.07134 [pdf, other]

Title: Representational efficiency outweighs action efficiency in human program induction

Sophia Sanborn, David D. Bourgin, Michael Chang, Thomas L. Griffiths

Subjects: Artificial Intelligence (cs.AI)

[71] arXiv:1807.07389 [pdf, other]

Title: Fuzzy quantification for linguistic data analysis and data mining

F. Díaz-Hermida, Juan. C. Vidal

Subjects: Artificial Intelligence (cs.AI)

[72] arXiv:1807.07896 [pdf, other]

Title: Towards a general mathematical theory of experimental science

Gabriele Carcassi, Christine A. Aidala

Comments: 9 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI); History and Philosophy of Physics (physics.hist-ph)

[73] arXiv:1807.07984 [pdf, other]

Title: Attention Models in Graphs: A Survey

John Boaz Lee, Ryan A. Rossi, Sungchul Kim, Nesreen K. Ahmed, Eunyee Koh

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

[74] arXiv:1807.07991 [pdf, other]

Title: Knowledge Integration for Disease Characterization: A Breast Cancer Example

Oshani Seneviratne, Sabbir M. Rashid, Shruthi Chari, James P. McCusker, Kristin P. Bennett, James A. Hendler, Deborah L. McGuinness

Comments: International Semantic Web Conference (Resource Track)

Subjects: Artificial Intelligence (cs.AI)

[75] arXiv:1807.08060 [pdf, other]

Title: Safe Option-Critic: Learning Safety in the Option-Critic Architecture

Arushi Jain, Khimya Khetarpal, Doina Precup

Comments: To appear at The Knowledge Engineering Review (KER), 2021. Previous draft appeared in Adaptive Learning Agents (ALA) 2018 workshop held at ICML, AAMAS in Stockholm. Corrected typos, added references and added extra figures

Journal-ref: The Knowledge Engineering Review 36 (2021) e4

Subjects: Artificial Intelligence (cs.AI)

[76] arXiv:1807.08173 [pdf, other]

Title: Modeling Taxi Drivers' Behaviour for the Next Destination Prediction

Alberto Rossi, Gianni Barlacchi, Monica Bianchini, Bruno Lepri

Comments: preprint version of a paper submitted to IEEE Transactions on Intelligent Transportation Systems

Subjects: Artificial Intelligence (cs.AI)

[77] arXiv:1807.08195 [pdf, other]

Title: Creativity and Artificial Intelligence: A Digital Art Perspective

Bo Xing, Tshilidzi Marwala

Comments: 5 pages

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

[78] arXiv:1807.08204 [pdf, other]

Title: Towards Neural Theorem Proving at Scale

Pasquale Minervini, Matko Bosnjak, Tim Rocktäschel, Sebastian Riedel

Comments: Federated Artificial Intelligence Meeting (FAIM) Workshop on Neural Abstract Machines & Program Induction v2

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

[79] arXiv:1807.08217 [pdf, other]

Title: Asynchronous Advantage Actor-Critic Agent for Starcraft II

Basel Alghanem, Keerthana P G

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

Subjects: Artificial Intelligence (cs.AI)

[80] arXiv:1807.08229 [pdf, other]

Title: Optimal Continuous State POMDP Planning with Semantic Observations: A Variational Approach

Luke Burks, Ian Loefgren, Nisar Ahmed

Comments: Final version accepted to IEEE Transactions on Robotics (in press as of August 2019)

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

[81] arXiv:1807.08372 [pdf, other]

Title: Knowledge-based Transfer Learning Explanation

Jiaoyan Chen, Freddy Lecue, Jeff Z. Pan, Ian Horrocks, Huajun Chen

Comments: Accepted by International Conference on Principles of Knowledge Representation and Reasoning, 2018

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

[82] arXiv:1807.08595 [pdf, other]

Title: Multi-View Fuzzy Logic System with the Cooperation between Visible and Hidden Views

Te Zhang, Zhaohong Deng, Dongrui Wu, Shitong Wang

Subjects: Artificial Intelligence (cs.AI)

[83] arXiv:1807.08856 [pdf, other]

Title: Toward a language-theoretic foundation for planning and filtering

Fatemeh Zahra Saberifar, Shervin Ghasemlou, Dylan A. Shell, Jason M. O'Kane

Comments: Accepted to appear in IJRR Special Issue on WAFR'16. Keywords: planning; combinatorial filter; design automation

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

[84] arXiv:1807.08941 [pdf, other]

Title: A Temporal Difference Reinforcement Learning Theory of Emotion: unifying emotion, cognition and adaptive behavior

Joost Broekens

Comments: pre-print, don't cite verbatim

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

[85] arXiv:1807.09358 [pdf, other]

Title: An Approximation Algorithm for Risk-averse Submodular Optimization

Lifeng Zhou, Pratap Tokekar

Comments: Whole version for WAFR, 2018 final submission

Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[86] arXiv:1807.09427 [pdf, other]

Title: Multi-Agent Reinforcement Learning: A Report on Challenges and Approaches

Sanyam Kapoor

Comments: 25 pages, 6 figures

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

[87] arXiv:1807.09530 [pdf, other]

Title: Decentralized Cooperative Planning for Automated Vehicles with Hierarchical Monte Carlo Tree Search

Karl Kurzer, Chenyang Zhou, J. Marius Zöllner

Subjects: Artificial Intelligence (cs.AI)

[88] arXiv:1807.09664 [pdf, other]

Title: Attend Before you Act: Leveraging human visual attention for continual learning

Khimya Khetarpal, Doina Precup

Comments: Lifelong Learning: A Reinforcement Learning Approach (LLARLA) Workshop, ICML 2018

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

[89] arXiv:1807.09836 [pdf, other]

Title: Robustness to fundamental uncertainty in AGI alignment

G Gordon Worley III

Journal-ref: Journal of Consciousness Studies, Volume 27, Numbers 1-2, 2020, pp. 225-241(17)

Subjects: Artificial Intelligence (cs.AI)

[90] arXiv:1807.09886 [pdf, other]

Title: Evaluating Creativity in Computational Co-Creative Systems

Pegah Karimi, Kazjon Grace, Mary Lou Maher, Nicholas Davis

Comments: 9 pages, 2 Figures, 1 Table, Accepted in ICCC 2018

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

[91] arXiv:1807.09942 [pdf, other]

Title: On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators

Richard Booth, Jake Chandler

Comments: Extended version of a paper accepted to KR 2018. 40 pages

Subjects: Artificial Intelligence (cs.AI)

[92] arXiv:1807.09991 [pdf, other]

Title: Multi-modal Feedback for Affordance-driven Interactive Reinforcement Learning

Francisco Cruz, German I. Parisi, Stefan Wermter

Comments: Accepted at IEEE IJCNN 2018, Rio de Janeiro, Brazil

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

[93] arXiv:1807.10104 [pdf, other]

Title: Term Set Expansion based on Multi-Context Term Embeddings: an End-to-end Workflow

Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Ido Dagan, Yoav Goldberg, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat

Comments: COLING 2018 System Demonstration paper

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

[94] arXiv:1807.10110 [pdf, other]

Title: ToriLLE: Learning Environment for Hand-to-Hand Combat

Anssi Kanervisto, Ville Hautamäki

Comments: this https URL . Accepted to IEEE Conference on Games 2019

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

[95] arXiv:1807.10268 [pdf, other]

Title: Premise selection with neural networks and distributed representation of features

Andrzej Stanisław Kucik, Konstantin Korovin

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

[96] arXiv:1807.10299 [pdf, other]

Title: Variational Option Discovery Algorithms

Joshua Achiam, Harrison Edwards, Dario Amodei, Pieter Abbeel

Subjects: Artificial Intelligence (cs.AI)

[97] arXiv:1807.10511 [pdf, other]

Title: Global and local evaluation of link prediction tasks with neural embeddings

Asan Agibetov, Matthias Samwald

Comments: Accepted to 4th Semantic Deep Learning (SemDeep-4) Workshop at the ISWC 2018

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

[98] arXiv:1807.10847 [pdf, other]

Title: Agent cognition through micro-simulations: Adaptive and tunable intelligence with NetLogo LevelSpace

Bryan Head, Uri Wilensky

Comments: Model source code available here: this https URL, In: Unifying Themes in Complex Systems IX. ICCS 2018. Springer Proceedings in Complexity. Springer, Cham

Subjects: Artificial Intelligence (cs.AI)

[99] arXiv:1807.10935 [pdf, other]

Title: Towards Explainable Inference about Object Motion using Qualitative Reasoning

Xiaoyu Ge, Jochen Renz, Hua Hua

Subjects: Artificial Intelligence (cs.AI)

[100] arXiv:1807.11061 [pdf, other]

Title: Clause Vivification by Unit Propagation in CDCL SAT Solvers

Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li

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