Artificial Intelligence

Authors and titles for April 2018

[1] arXiv:1804.00038 [pdf, other]

Title: Overview: A Hierarchical Framework for Plan Generation and Execution in Multi-Robot Systems

Hang Ma, Wolfgang Hönig, Liron Cohen, Tansel Uras, Hong Xu, T. K. Satish Kumar, Nora Ayanian, Sven Koenig

Journal-ref: IEEE Intelligent Systems, vol. 32, no. 6, pp. 6-12, November/December 2017

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

[2] arXiv:1804.00168 [pdf, other]

Title: Learning to Navigate in Cities Without a Map

Piotr Mirowski, Matthew Koichi Grimes, Mateusz Malinowski, Karl Moritz Hermann, Keith Anderson, Denis Teplyashin, Karen Simonyan, Koray Kavukcuoglu, Andrew Zisserman, Raia Hadsell

Comments: 17 pages, 16 figures, published at NeurIPS 2018

Journal-ref: Neural Information Processing Systems 2018

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1804.00198 [pdf, other]

Title: Learning to Run challenge: Synthesizing physiologically accurate motion using deep reinforcement learning

Łukasz Kidziński, Sharada P. Mohanty, Carmichael Ong, Jennifer L. Hicks, Sean F. Carroll, Sergey Levine, Marcel Salathé, Scott L. Delp

Comments: 16 pages, 8 figures, a competition at NIPS 2017

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1804.00211 [pdf, other]

Title: Efficient Encodings of Conditional Cardinality Constraints

Abdelhamid Boudane, Said Jabbour, Badran Raddaoui, Lakhdar Sais

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1804.00245 [pdf, other]

Title: Modeling Individual Differences in Game Behavior using HMM

Sara Bunian, Alessandro Canossa, Randy Colvin, Magy Seif El-Nasr

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

[6] arXiv:1804.00373 [pdf, other]

Title: TipsC: Tips and Corrections for programming MOOCs

Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare

Comments: Full paper for the poster accepted at AIED 2018

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

[7] arXiv:1804.00421 [pdf, other]

Title: A Study of Student Learning Skills Using Fuzzy Relation Equations

Michael Gr. Voskoglou

Comments: 8 pages, 1 Table

Journal-ref: Egyptian Computer Science Journal, 42(1), 80-87, 2018

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1804.00423 [pdf, other]

Title: Application of Grey Numbers to Assessment Processes

Michael Gr. Voskoglou, Yiannis Theodorou

Journal-ref: International Journal of Applications of Fuzzy Sets and Artificial Intelligence, 7, 273-280, 2017

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1804.00532 [pdf, other]

Title: Predictions of short-term driving intention using recurrent neural network on sequential data

Zhou Xing, Fei Xiao

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

[10] arXiv:1804.00595 [pdf, other]

Title: Learning to Reason with HOL4 tactics

Thibault Gauthier, Cezary Kaliszyk, Josef Urban

Comments: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EasyChair 2017

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1804.00596 [pdf, other]

Title: TacticToe: Learning to Prove with Tactics

Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish

Journal-ref: J. Automated Reasoning 65(2): 257-286, 2021

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

[12] arXiv:1804.00617 [pdf, other]

Title: Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)

Ario Santoso

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

[13] arXiv:1804.00810 [pdf, other]

Title: StarCraft Micromanagement with Reinforcement Learning and Curriculum Transfer Learning

Kun Shao, Yuanheng Zhu, Dongbin Zhao

Comments: 12 pages, 14 figures, accepted to IEEE Transactions on Emerging Topics in Computational Intelligence

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

[14] arXiv:1804.00823 [pdf, other]

Title: Graph2Seq: Graph to Sequence Learning with Attention-based Neural Networks

Kun Xu, Lingfei Wu, Zhiguo Wang, Yansong Feng, Michael Witbrock, Vadim Sheinin

Comments: 16 pages, 3 figures, 4 tables

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

[15] arXiv:1804.01128 [pdf, other]

Title: Probing Physics Knowledge Using Tools from Developmental Psychology

Luis Piloto, Ari Weinstein, Dhruva TB, Arun Ahuja, Mehdi Mirza, Greg Wayne, David Amos, Chia-chun Hung, Matt Botvinick

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1804.01186 [pdf, other]

Title: Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples

Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani

Comments: Published in ICLR 2018, International Conference on Learning Representations (2018)

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

[17] arXiv:1804.01193 [pdf, other]

Title: The Logical Essentials of Bayesian Reasoning

Bart Jacobs, Fabio Zanasi

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1804.01396 [pdf, other]

Title: Artificial Intelligence and its Role in Near Future

Jahanzaib Shabbir, Tarique Anwer

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

[19] arXiv:1804.01405 [pdf, other]

Title: R2RML Mappings in OBDA Systems: Enabling Comparison among OBDA Tools

Manuel Namici

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

[20] arXiv:1804.01503 [pdf, other]

Title: Abstractive Tabular Dataset Summarization via Knowledge Base Semantic Embeddings

Paul Azunre, Craig Corcoran, David Sullivan, Garrett Honke, Rebecca Ruppel, Sandeep Verma, Jonathon Morgan

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

[21] arXiv:1804.01508 [pdf, other]

Title: The Tsetlin Machine -- A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic

Ole-Christoffer Granmo

Comments: 42 pages, 14 figures, further formalizing key concepts

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

[22] arXiv:1804.01640 [pdf, other]

Title: Hypertree Decompositions Revisited for PGMs

Aarthy Shivram Arun, Sai Vikneshwar Mani Jayaraman, Christopher Ré, Atri Rudra

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

[23] arXiv:1804.02257 [pdf, other]

Title: Interoceptive robustness through environment-mediated morphological development

Sam Kriegman, Nick Cheney, Francesco Corucci, Josh C. Bongard

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

[24] arXiv:1804.02341 [pdf, other]

Title: Compositional Obverter Communication Learning From Raw Visual Input

Edward Choi, Angeliki Lazaridou, Nando de Freitas

Comments: Published as a conference paper at ICLR 2018

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

[25] arXiv:1804.02393 [pdf, other]

Title: Formal Ways for Measuring Relations between Concepts in Conceptual Spaces

Lucas Bechberger, Kai-Uwe Kühnberger

Comments: Submitted to a special issue of the Journal "Expert Systems" (this https URL). arXiv admin note: substantial text overlap with arXiv:1707.02292, arXiv:1801.03929, arXiv:1707.05165, arXiv:1708.05263, arXiv:1706.06366

Subjects: Artificial Intelligence (cs.AI)