Artificial Intelligence

Authors and titles for February 2020

[51] arXiv:2002.05259 [pdf, other]

Title: Learning to Generate Levels From Nothing

Philip Bontrager, Julian Togelius

Comments: 8 pages, 8 figures. Accepted to the 3rd IEEE Conference On Games (COG 2021)

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

[52] arXiv:2002.05282 [pdf, other]

Title: A Bounded Measure for Estimating the Benefit of Visualization

Min Chen, Mateu Sbert, Alfie Abdul-Rahman, Deborah Silver

Comments: Comment on version 2: This revised version, which includes a new formal proof, many additions, and a detailed revision report, was submitted to SciVis 2020. Unexpectedly, our revision effort did not have much influence on the SciVis 2020 reviewers who gave an outright rejection with lower scores than EuroVis reviews. We will share these reviews after we have completed our feedback

Journal-ref: Entropy, 24(2), 228, 2022

Subjects: Artificial Intelligence (cs.AI); Graphics (cs.GR); Human-Computer Interaction (cs.HC); Information Theory (cs.IT)

[53] arXiv:2002.05294 [pdf, other]

Title: Cooperative Observation of Targets moving over a Planar Graph with Prediction of Positions

José E. B. Maia, Levi P. Figueredo

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Signal Processing (eess.SP)

[54] arXiv:2002.05406 [pdf, other]

Title: ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)

Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

[55] arXiv:2002.05461 [pdf, other]

Title: Coherent and Archimedean choice in general Banach spaces

Gert de Cooman

Comments: 34 pages, 7 figures

Subjects: Artificial Intelligence (cs.AI)

[56] arXiv:2002.05513 [pdf, other]

Title: Multi-Vehicle Routing Problems with Soft Time Windows: A Multi-Agent Reinforcement Learning Approach

Ke Zhang, Meng Li, Zhengchao Zhang, Xi Lin, Fang He

Comments: 29 pages

Subjects: Artificial Intelligence (cs.AI)

[57] arXiv:2002.05615 [pdf, other]

Title: Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Steven Carr, Nils Jansen, Ufuk Topcu

Comments: 8 pages, 5 figures, 1 table

Subjects: Artificial Intelligence (cs.AI)

[58] arXiv:2002.05630 [pdf, other]

Title: On the Sensory Commutativity of Action Sequences for Embodied Agents

Hugo Caselles-Dupré, Michael Garcia-Ortiz, David Filliat

Comments: Accepted to RSS'20 Workshop on Self-Supervised Robot Learning & to the Workshop on Learning in Artificial Open Worlds at ICML20 & Extended abstract at AAMAS21

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

[59] arXiv:2002.05769 [pdf, other]

Title: The Efficiency of Human Cognition Reflects Planned Information Processing

Mark K. Ho, David Abel, Jonathan D. Cohen, Michael L. Littman, Thomas L. Griffiths

Comments: 13 pg (incl. supplemental materials); included in Proceedings of the 34th AAAI Conference on Artificial Intelligence

Subjects: Artificial Intelligence (cs.AI)

[60] arXiv:2002.06000 [pdf, other]

Title: Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning

Borja G. León, Francesco Belardinelli

Comments: Long version of the correspondent ECAI 2020 paper

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

[61] arXiv:2002.06084 [pdf, other]

Title: Bayesian Learning of Causal Relationships for System Reliability

Xuewen Yu, Jim Q. Smith, Linda Nichols

Comments: 8 pages, 4 Figures

Subjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST)

[62] arXiv:2002.06100 [pdf, other]

Title: Analyzing Differentiable Fuzzy Logic Operators

Emile van Krieken, Erman Acar, Frank van Harmelen

Comments: 47 pages, 18 figures. V2: Added analysis for existential quantification. Improved experiments and writing

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

[63] arXiv:2002.06137 [pdf, other]

Title: RL agents Implicitly Learning Human Preferences

Nevan Wichers

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

[64] arXiv:2002.06177 [pdf, other]

Title: The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence

Gary Marcus

Comments: 5 figures

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

[65] arXiv:2002.06198 [pdf, other]

Title: Simulation Pipeline for Traffic Evacuation in Urban Areas and Emergency Traffic Management Policy Improvements through Case Studies

Yu Chen, S. Yusef Shafi, Yi-fan Chen

Comments: 38 pages, 9 figures

Subjects: Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)

[66] arXiv:2002.06261 [pdf, other]

Title: Stress Test Evaluation of Transformer-based Models in Natural Language Understanding Tasks

Carlos Aspillaga, Andrés Carvallo, Vladimir Araujo

Comments: Accepted paper LREC2020

Subjects: Artificial Intelligence (cs.AI)

[67] arXiv:2002.06276 [pdf, other]

Title: Trustworthy AI

Jeannette M. Wing

Comments: 12 pages

Subjects: Artificial Intelligence (cs.AI)

[68] arXiv:2002.06290 [pdf, other]

Title: Deep RL Agent for a Real-Time Action Strategy Game

Michal Warchalski, Dimitrije Radojevic, Milos Milosevic

Subjects: Artificial Intelligence (cs.AI)

[69] arXiv:2002.06432 [pdf, other]

Title: PDDLGym: Gym Environments from PDDL Problems

Tom Silver, Rohan Chitnis

Comments: ICAPS 2020 PRL Workshop

Subjects: Artificial Intelligence (cs.AI)

[70] arXiv:2002.06726 [pdf, other]

Title: On the Approximability of Weighted Model Integration on DNF Structures

Ralph Abboud, İsmail İlkan Ceylan, Radoslav Dimitrov

Comments: To appear in Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)

Subjects: Artificial Intelligence (cs.AI)

[71] arXiv:2002.06911 [pdf, other]

Title: An ASP semantics for Constraints involving Conditional Aggregates

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

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

[72] arXiv:2002.06916 [pdf, other]

Title: Implementing Dynamic Answer Set Programming

Pedro Cabalar (University of Corunna, Spain), Martín Diéguez (University of Pau, France), Torsten Schaub (1), François Laferrière (1) ((1) University of Potsdam, Germany)

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

[73] arXiv:2002.06920 [pdf, other]

Title: Semantics of negative sequential patterns

Thomas Guyet (LACODAM), Philippe Besnard (IRIT)

Comments: proceedings of European Conference on Artificial Intelligence (ECAI), Jun 2020, Santiago de Compostela, Spain

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

[74] arXiv:2002.07408 [pdf, other]

Title: MoTiAC: Multi-Objective Actor-Critics for Real-Time Bidding

Haolin Zhou, Chaoqi Yang, Xiaofeng Gao, Qiong Chen, Gongshen Liu, Guihai Chen

Comments: Accepted in ECML-PKDD 2022. Zhou and Yang made equal contributions

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

[75] arXiv:2002.07418 [pdf, other]

Title: KoGuN: Accelerating Deep Reinforcement Learning via Integrating Human Suboptimal Knowledge

Peng Zhang, Jianye Hao, Weixun Wang, Hongyao Tang, Yi Ma, Yihai Duan, Yan Zheng

Subjects: Artificial Intelligence (cs.AI)