Artificial Intelligence

Authors and titles for April 2022

[1] arXiv:2204.00288 [pdf, other]

Title: Symbolic Search for Optimal Planning with Expressive Extensions

David Speck

Comments: PhD thesis, University of Freiburg, Germany, 2022

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:2204.00302 [pdf, other]

Title: Actual Causality and Responsibility Attribution in Decentralized Partially Observable Markov Decision Processes

Stelios Triantafyllou, Adish Singla, Goran Radanovic

Comments: In Proceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society (AIES22)

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:2204.00565 [pdf, other]

Title: What makes useful auxiliary tasks in reinforcement learning: investigating the effect of the target policy

Banafsheh Rafiee, Jun Jin, Jun Luo, Adam White

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

[4] arXiv:2204.00607 [pdf, other]

Title: From Statistical to Causal Learning

Bernhard Schölkopf, Julius von Kügelgen

Comments: To appear in the Proceedings of the International Congress of Mathematicians 2022, EMS Press. Both authors contributed equally to this work; names are listed in alphabetical order. 34 pages (28 content pages + references), 12 figures, 2 tables. arXiv admin note: text overlap with arXiv:1911.10500

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

[5] arXiv:2204.00619 [pdf, other]

Title: Maze Learning using a Hyperdimensional Predictive Processing Cognitive Architecture

Alexander Ororbia, M. Alex Kelly

Comments: Revisions applied to reflect the version accepted to AGI 2022. Note that this includes the appendix mentioned in the AGI 2022 proceedings publication

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Neurons and Cognition (q-bio.NC)

[6] arXiv:2204.00747 [pdf, other]

Title: RFID-Based Indoor Spatial Query Evaluation with Bayesian Filtering Techniques

Bo Hui, Wenlu Wang, Jiao Yu, Zhitao Gong, Wei-Shinn Ku, Min-Te Sun, Hua Lu

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:2204.00755 [pdf, other]

Title: Safe Reinforcement Learning via Shielding under Partial Observability

Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

Comments: 21 pages, 28 Figures, 3 Tables

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:2204.01160 [pdf, other]

Title: Best-Response Bayesian Reinforcement Learning with Bayes-adaptive POMDPs for Centaurs

Mustafa Mert Çelikok, Frans A. Oliehoek, Samuel Kaski

Comments: This paper is presented in part at the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) 2022

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

[9] arXiv:2204.01437 [pdf, other]

Title: Disentangling Abstraction from Statistical Pattern Matching in Human and Machine Learning

Sreejan Kumar, Ishita Dasgupta, Nathaniel D. Daw, Jonathan D. Cohen, Thomas L. Griffiths

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

[10] arXiv:2204.01611 [pdf, html, other]

Title: A Machine With Human-Like Memory Systems

Taewoon Kim, Michael Cochez, Vincent Francois-Lavet, Mark Neerincx, Piek Vossen

Comments: Submitted to Human-Centered Design of Symbiotic Hybrid Intelligence 2022 (this https URL)

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:2204.01774 [pdf, other]

Title: Reducing SAT to Max2XOR

Carlos Ansótegui, Jordi Levy

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:2204.02011 [pdf, other]

Title: ELECRec: Training Sequential Recommenders as Discriminators

Yongjun Chen, Jia Li, Caiming Xiong

Comments: Accepted to SIGIR 2022

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:2204.02255 [pdf, other]

Title: Towards Explainable Meta-Learning for DDoS Detection

Qianru Zhou, Rongzhen Li, Lei Xu, Arumugam Nallanathan, Jian Yang, Anmin Fu

Journal-ref: SN COMPUT. SCI. 5, 115 (2024)

Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[14] arXiv:2204.02360 [pdf, other]

Title: Scientometric Review of Artificial Intelligence for Operations & Maintenance of Wind Turbines: The Past, Present and Future

Joyjit Chatterjee, Nina Dethlefs

Comments: This is a preprint version of the accepted manuscript in the Renewable and Sustainable Energy Reviews journal, shared under a CC-BY-NC-ND license. The final published version can be found at: this https URL

Journal-ref: Renewable and Sustainable Energy Reviews, Volume 144, 2021

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:2204.02362 [pdf, other]

Title: Challenges and Opportunities of Edge AI for Next-Generation Implantable BMIs

MohammadAli Shaeri, Arshia Afzal, Mahsa Shoaran

Subjects: Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Machine Learning (cs.LG); Signal Processing (eess.SP)

[16] arXiv:2204.02437 [pdf, other]

Title: AAAI SSS-22 Symposium on Closing the Assessment Loop: Communicating Proficiency and Intent in Human-Robot Teaming

Michael Goodrich, Jacob Crandall, Aaron Steinfeld, Holly Yanco

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

[17] arXiv:2204.02495 [pdf, other]

Title: Efficient Pragmatic Program Synthesis with Informative Specifications

Saujas Vaduguru, Kevin Ellis, Yewen Pu

Comments: 9 pages, Meaning in Context Workshop 2021

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:2204.02558 [pdf, other]

Title: DouZero+: Improving DouDizhu AI by Opponent Modeling and Coach-guided Learning

Youpeng Zhao, Jian Zhao, Xunhan Hu, Wengang Zhou, Houqiang Li

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

[19] arXiv:2204.02737 [pdf, other]

Title: Adversarial Learning to Reason in an Arbitrary Logic

Stanisław J. Purgał, Cezary Kaliszyk

Journal-ref: FLAIRS 2022

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:2204.02785 [pdf, other]

Title: Reinforcement Learning Agents in Colonel Blotto

Joseph Christian G. Noel

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

[21] arXiv:2204.02929 [pdf, other]

Title: Beam Search: Faster and Monotonic

Sofia Lemons, Carlos Linares López, Robert C. Holte, Wheeler Ruml

Comments: 9 pages, 15 figures, 3 algorithms, published in the International Conference on Automated Planning and Scheduling ICAPS 2022

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:2204.03059 [pdf, other]

Title: Semantic Sensor Network Ontology based Decision Support System for Forest Fire Management

Ritesh Chandra, Kumar Abhishek, Sonali Agarwal, Navjot Singh

Comments: Ontology and Semantic Modeling

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

[23] arXiv:2204.03429 [pdf, other]

Title: Finding Counterfactual Explanations through Constraint Relaxations

Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan

Comments: This work has appeared in Explainable Agency in Artificial Intelligence Workshop (EAAI'22) at AAAI'22

Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[24] arXiv:2204.03471 [pdf, other]

Title: DynLight: Realize dynamic phase duration with multi-level traffic signal control

Liang Zhang, Shubin Xie, Jianming Deng

Comments: We would like to withdraw this article for the following reasons: 1 this article is not satisfactory for limited language and theoretical description; 2 we have enriched and revised this article with the help of other authors; 3 we must update the author contribution information. PLease see: arXiv:2211.01025

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)

[25] arXiv:2204.03514 [pdf, other]

Title: Habitat-Web: Learning Embodied Object-Search Strategies from Human Demonstrations at Scale

Ram Ramrakhya, Eric Undersander, Dhruv Batra, Abhishek Das

Comments: 8 pages + supplement; fixed typos

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

[26] arXiv:2204.03536 [pdf, other]

Title: Abstracting Noisy Robot Programs

Till Hofmann, Vaishak Belle

Comments: To be presented at AAMAS'23

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:2204.03551 [pdf, other]

Title: Strong Admissibility, a Tractable Algorithmic Approach (proofs)

Martin Caminada, Sri Harikrishnan

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:2204.03563 [pdf, other]

Title: Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning

Xinyu Wang

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

[29] arXiv:2204.03571 [pdf, other]

Title: Explicit and Implicit Pattern Relation Analysis for Discovering Actionable Negative Sequences

Wei Wang, Longbing Cao

Comments: 17 pages, 6 figures, 3 tables

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

[30] arXiv:2204.03596 [pdf, other]

Title: Controlling Golog Programs against MTL Constraints

Till Hofmann, Stefan Schupp

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:2204.03725 [pdf, other]

Title: T4PdM: a Deep Neural Network based on the Transformer Architecture for Fault Diagnosis of Rotating Machinery

Erick Giovani Sperandio Nascimento, Julian Santana Liang, Ilan Sousa Figueiredo, Lilian Lefol Nani Guarieiro

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

[32] arXiv:2204.03752 [pdf, other]

Title: Automated Isovist Computation for Minecraft

Jean-Baptiste Hervé, Christoph Salge

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:2204.03878 [pdf, other]

Title: Picture Fuzzy Interactional Aggregation Operators via Strict Triangular Norms and Applications to Multi-Criteria Decision Making

X. Wu, Z. Zhu, G. Çaylı, P. Liu, X. Zhang, Z. Yang

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[34] arXiv:2204.03959 [pdf, other]

Title: Blockchain as an Enabler for Transfer Learning in Smart Environments

Amin Anjomshoaa, Edward Curry

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

[35] arXiv:2204.04009 [pdf, other]

Title: On Projectivity in Markov Logic Networks

Sagar Malhotra, Luciano Serafini

Comments: Added formal comparison to previous projective fragments. Added a proof for transforming RBM to MLN. For the most updated version please visit : this https URL

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:2204.04040 [pdf, other]

Title: Ontology Matching Through Absolute Orientation of Embedding Spaces

Jan Portisch, Guilherme Costa, Karolin Stefani, Katharina Kreplin, Michael Hladik, Heiko Paulheim

Comments: accepted at the ESWC Posters and Demos Track

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[37] arXiv:2204.04071 [pdf, other]

Title: Utility Functions for Human/Robot Interaction

Bruno Yun, Nir Oren, Madalina Croitoru

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:2204.04148 [pdf, other]

Title: Process Mining on Uncertain Event Data

Marco Pegoraro

Comments: 2 pages, 1 figure, 2 tables, 9 references

Journal-ref: CEUR Workshop Proceedings 3098 (2022) 1-2

Subjects: Artificial Intelligence (cs.AI)

[39] arXiv:2204.04196 [pdf, other]

Title: Efficient Feedback and Partial Credit Grading for Proof Blocks Problems

Seth Poulsen, Shubhang Kulkarni, Geoffrey Herman, Matthew West

Comments: Accepted for AIED 2023 in Tokyo, Japan

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

[40] arXiv:2204.04242 [pdf, other]

Title: Exploiting complex pattern features for interactive pattern mining

Arnold Hien, Samir Loudni, Noureddine Aribi, Abdelkader Ouali, Albrecht Zimmermann

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:2204.04301 [pdf, other]

Title: Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems

Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:2204.04322 [pdf, other]

Title: Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Ramon Fraga Pereira, André G. Pereira, Frederico Messa, Giuseppe De Giacomo

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:2204.04636 [pdf, other]

Title: "That Is a Suspicious Reaction!": Interpreting Logits Variation to Detect NLP Adversarial Attacks

Edoardo Mosca, Shreyash Agarwal, Javier Rando, Georg Groh

Comments: ACL 2022

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

[44] arXiv:2204.04686 [pdf, other]

Title: DISK: Domain-constrained Instance Sketch for Math Word Problem Generation

Tianyang Cao, Shuang Zeng, Xiaodan Xu, Mairgup Mansur, Baobao Chang

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:2204.04768 [pdf, other]

Title: Analysis of Power-Oriented Fault Injection Attacks on Spiking Neural Networks

Karthikeyan Nagarajan, Junde Li, Sina Sayyah Ensan, Mohammad Nasim Imtiaz Khan, Sachhidh Kannan, Swaroop Ghosh

Comments: Design, Automation and Test in Europe Conference (DATE) 2022

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

[46] arXiv:2204.04780 [pdf, other]

Title: A Fully Polynomial Time Approximation Scheme for Constrained MDPs and Stochastic Shortest Path under Local Transitions

Majid Khonji

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:2204.04821 [pdf, other]

Title: Markov categories, causal theories, and the do-calculus

Yimu Yin, Jiji Zhang

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Statistics Theory (math.ST)

[48] arXiv:2204.04918 [pdf, other]

Title: When NAS Meets Trees: An Efficient Algorithm for Neural Architecture Search

Guocheng Qian, Xuanyang Zhang, Guohao Li, Chen Zhao, Yukang Chen, Xiangyu Zhang, Bernard Ghanem, Jian Sun

Comments: 4 pages, accepted at CVPR Workshop 2022 (ECV2022)

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:2204.04938 [pdf, other]

Title: Value-based Practical Reasoning: Modal Logic + Argumentation

Jieting Luo, Beishui Liao, Dov Gabbay

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:2204.05030 [pdf, other]

Title: Assessing the communication gap between AI models and healthcare professionals: explainability, utility and trust in AI-driven clinical decision-making

Oskar Wysocki, Jessica Katharine Davies, Markel Vigo, Anne Caroline Armstrong, Dónal Landers, Rebecca Lee, André Freitas

Comments: supplementary information in the main pdf

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