Artificial Intelligence

Authors and titles for February 2020

[126] arXiv:2002.11714 [pdf, other]

Title: Type-2 Fuzzy Set based Hesitant Fuzzy Linguistic Term Sets for Linguistic Decision Making

Taniya Seth, Pranab K. Muhuri

Subjects: Artificial Intelligence (cs.AI)

[127] arXiv:2002.11717 [pdf, other]

Title: Modelisation de l'incertitude et de l'imprecision de donnees de crowdsourcing : MONITOR

Constance Thierry (1), Jean-Christophe Dubois (1), Yolande Le Gall (1), Arnaud Martin ((1) Université de Rennes 1, France)

Comments: in French. Extraction et Gestion des Connaissances (EGC), Jan 2020, Bruxelles, Belgique

Subjects: Artificial Intelligence (cs.AI)

[128] arXiv:2002.11776 [pdf, other]

Title: Knowledge Cores in Large Formal Contexts

Tom Hanika, Johannes Hirth

Comments: 13 pages, 10 figures

Journal-ref: Ann Math Artif Intell (2022)

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

[129] arXiv:2002.11874 [pdf, other]

Title: Learning Scalable Multi-Agent Coordination by Spatial Differentiation for Traffic Signal Control

Junjia Liu, Huimin Zhang, Zhuang Fu, Yao Wang

Comments: 14 pages, 11 figures

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

[130] arXiv:2002.11909 [pdf, other]

Title: Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization

Yi Chu, Chuan Luo, Holger H. Hoos, QIngwei Lin, Haihang You

Subjects: Artificial Intelligence (cs.AI)

[131] arXiv:2002.12086 [pdf, other]

Title: Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

Tomas Brazdil, Krishnendu Chatterjee, Petr Novotny, Jiri Vahala

Comments: Published on AAAI 2020

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

[132] arXiv:2002.12336 [pdf, other]

Title: Hallucinative Topological Memory for Zero-Shot Visual Planning

Kara Liu, Thanard Kurutach, Christine Tung, Pieter Abbeel, Aviv Tamar

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

[133] arXiv:2002.12361 [pdf, other]

Title: Sub-Goal Trees -- a Framework for Goal-Based Reinforcement Learning

Tom Jurgenson, Or Avner, Edward Groshev, Aviv Tamar

Comments: ICML2020, 8 pages, 10 figures. arXiv admin note: text overlap with arXiv:1906.05329

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

[134] arXiv:2002.12427 [pdf, other]

Title: C-CoCoA: A Continuous Cooperative Constraint Approximation Algorithm to Solve Functional DCOPs

Amit Sarker, Abdullahil Baki Arif, Moumita Choudhury, Md. Mosaddek Khan

Comments: 7 pages, 4 figures

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

[135] arXiv:2002.12441 [pdf, other]

Title: An efficient constraint based framework forhandling floating point SMT problems

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher

Subjects: Artificial Intelligence (cs.AI)

[136] arXiv:2002.12445 [pdf, other]

Title: Multi-tier Automated Planning for Adaptive Behavior (Extended Version)

Daniel Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardina

Comments: Shorter version in ICAPS'20

Subjects: Artificial Intelligence (cs.AI)

[137] arXiv:2002.12447 [pdf, other]

Title: Bringing freedom in variable choice when searching counter-examples in floating point programs

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher

Subjects: Artificial Intelligence (cs.AI)

[138] arXiv:2002.12551 [pdf, other]

Title: Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

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

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal-ref: EPTCS 313, 2020, pp. 1-16

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)

[139] arXiv:2002.12556 [pdf, other]

Title: Towards a Geometry Automated Provers Competition

Nuno Baeta (University of Coimbra), Pedro Quaresma (University of Coimbra), Zoltán Kovács (The Private University College of Education of the Diocese of Linz)

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal-ref: EPTCS 313, 2020, pp. 93-100

Subjects: Artificial Intelligence (cs.AI); Performance (cs.PF)

[140] arXiv:2002.12760 [pdf, other]

Title: A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints

Amar Isli

Comments: See footnote 1 on the first page of the paper. arXiv admin note: substantial text overlap with arXiv:cs/0307040 and text overlap with arXiv:2002.11510

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[141] arXiv:2002.00149 (cross-list from cs.LG) [pdf, other]

Title: Periodic Intra-Ensemble Knowledge Distillation for Reinforcement Learning

Zhang-Wei Hong, Prabhat Nagarajan, Guilherme Maeda

Comments: 8 pages

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

[142] arXiv:2002.00212 (cross-list from cs.SD) [pdf, other]

Title: Pop Music Transformer: Beat-based Modeling and Generation of Expressive Pop Piano Compositions

Yu-Siang Huang, Yi-Hsuan Yang

Comments: Accepted at ACM Multimedia 2020

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

[143] arXiv:2002.00223 (cross-list from cs.CY) [pdf, other]

Title: Dialogue-Based Simulation For Cultural Awareness Training

Sodiq Adewole, Erfaneh Gharavi, Benjamin Shpringer, Martin Bolger, Vaibhav Sharma, Sung Ming Yang, Donald E. Brown

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

[144] arXiv:2002.00224 (cross-list from cs.CY) [pdf, other]

Title: Bayesian Networks in Healthcare: Distribution by Medical Condition

Scott McLachlan, Kudakwashe Dube, Graham A Hitman, Norman E Fenton, Evangelia Kyrimi

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

[145] arXiv:2002.00269 (cross-list from cs.LG) [pdf, other]

Title: A Tutorial on Learning With Bayesian Networks

David Heckerman

Comments: Added a note on averaging causal models

Journal-ref: Original version published in Learning in Graphical Models, M. Jordan, ed., MIT Press, Cambridge, MA, 1999

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

[146] arXiv:2002.00352 (cross-list from cs.DC) [pdf, other]

Title: Solving Billion-Scale Knapsack Problems

Xingwen Zhang, Feng Qi, Zhigang Hua, Shuang Yang

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[147] arXiv:2002.00388 (cross-list from cs.CL) [pdf, other]

Title: A Survey on Knowledge Graphs: Representation, Acquisition and Applications

Shaoxiong Ji, Shirui Pan, Erik Cambria, Pekka Marttinen, Philip S. Yu

Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, 2021

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

[148] arXiv:2002.00412 (cross-list from cs.LG) [pdf, other]

Title: Combating False Negatives in Adversarial Imitation Learning

Konrad Zolna, Chitwan Saharia, Leonard Boussioux, David Yu-Tung Hui, Maxime Chevalier-Boisvert, Dzmitry Bahdanau, Yoshua Bengio

Comments: This is an extended version of the student abstract published at 34th AAAI Conference on Artificial Intelligence

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

[149] arXiv:2002.00444 (cross-list from cs.LG) [pdf, other]

Title: Deep Reinforcement Learning for Autonomous Driving: A Survey

B Ravi Kiran, Ibrahim Sobh, Victor Talpaert, Patrick Mannion, Ahmad A. Al Sallab, Senthil Yogamani, Patrick Pérez

Comments: Accepted for publication at IEEE Transactions on Intelligent Transportation Systems

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

[150] arXiv:2002.00514 (cross-list from cs.SI) [pdf, other]

Title: Explain Graph Neural Networks to Understand Weighted Graph Features in Node Classification

Xiaoxiao Li, Joao Saude

Comments: 9 pages, 8 figures

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