Artificial Intelligence

Authors and titles for April 2022

[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)