Artificial Intelligence

Authors and titles for August 2022

[151] arXiv:2208.12643 [pdf, other]

Title: The cost of passing -- using deep learning AIs to expand our understanding of the ancient game of Go

Attila Egri-Nagy, Antti Törmänen

Comments: 10 pages, 3 figures, final version will be published elsewhere

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

[152] arXiv:2208.12726 [pdf, other]

Title: A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri

Subjects: Artificial Intelligence (cs.AI)

[153] arXiv:2208.12777 [pdf, other]

Title: Prospect Theory-inspired Automated P2P Energy Trading with Q-learning-based Dynamic Pricing

Ashutosh Timilsina, Simone Silvestri

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

[154] arXiv:2208.12789 [pdf, other]

Title: Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming

Ximing Qiao, Hai Li

Subjects: Artificial Intelligence (cs.AI)

[155] arXiv:2208.13064 [pdf, other]

Title: A Diversity-Aware Domain Development Methodology

Mayukh Bagchi

Comments: 41st International Conference on Conceptual Modeling (ER 2022), Online (Virtual)

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

[156] arXiv:2208.13266 [pdf, other]

Title: JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents

Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang

Comments: 20 pages

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

[157] arXiv:2208.13390 [pdf, other]

Title: Unified Bayesian Frameworks for Multi-criteria Decision-making Problems

Majid Mohammadi

Subjects: Artificial Intelligence (cs.AI)

[158] arXiv:2208.13515 [pdf, other]

Title: Detecting Surprising Situations in Event Data

Christian Kohlschmidt, Mahnaz Sadat Qafari, Wil M. P. van der Aalst

Comments: 12 pages, 10 figures

Subjects: Artificial Intelligence (cs.AI)

[159] arXiv:2208.13518 [pdf, other]

Title: LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

Björn Deiseroth, Patrick Schramowski, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[160] arXiv:2208.13626 [pdf, other]

Title: CH-MARL: A Multimodal Benchmark for Cooperative, Heterogeneous Multi-Agent Reinforcement Learning

Vasu Sharma, Prasoon Goyal, Kaixiang Lin, Govind Thattai, Qiaozi Gao, Gaurav S. Sukhatme

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Robotics (cs.RO)

[161] arXiv:2208.13687 [pdf, other]

Title: Categorical semantics of compositional reinforcement learning

Georgios Bakirtzis, Michail Savvas, Ufuk Topcu

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Systems and Control (eess.SY); Category Theory (math.CT)

[162] arXiv:2208.13841 [pdf, other]

Title: Visual-Imagery-Based Analogical Construction in Geometric Matrix Reasoning Task

Yuan Yang, Keith McGreggor, Maithilee Kunda

Subjects: Artificial Intelligence (cs.AI)

[163] arXiv:2208.13848 [pdf, other]

Title: ProspectNet: Weighted Conditional Attention for Future Interaction Modeling in Behavior Prediction

Yutian Pang, Zehua Guo, Binnan Zhuang

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

[164] arXiv:2208.14037 [pdf, other]

Title: Towards Artificial Virtuous Agents: Games, Dilemmas and Machine Learning

Ajay Vishwanath, Einar Duenger Bøhn, Ole-Christoffer Granmo, Charl Maree, Christian Omlin

Comments: Premature submission of revised revision

Subjects: Artificial Intelligence (cs.AI)

[165] arXiv:2208.14271 [pdf, other]

Title: Faithful Reasoning Using Large Language Models

Antonia Creswell, Murray Shanahan

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

[166] arXiv:2208.14384 [pdf, other]

Title: Expert Opinion Elicitation for Assisting Deep Learning based Lyme Disease Classifier with Patient Data

Sk Imran Hossain, Jocelyn de Goër de Herve, David Abrial, Richard Emillion, Isabelle Lebertb, Yann Frendo, Delphine Martineau, Olivier Lesens, Engelbert Mephu Nguifo

Subjects: Artificial Intelligence (cs.AI); Image and Video Processing (eess.IV)

[167] arXiv:2208.14426 [pdf, other]

Title: Correct-by-Construction Runtime Enforcement in AI -- A Survey

Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek

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

[168] arXiv:2208.14525 [pdf, other]

Title: System Resilience through Health Monitoring and Reconfiguration

Ion Matei, Wiktor Piotrowski, Alexandre Perez, Johan de Kleer, Jorge Tierno, Wendy Mungovan, Vance Turnewitsch

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

[169] arXiv:2208.14694 [pdf, other]

Title: Modelling and Detection of Driver's Fatigue using Ontology

Alexandre Lambert, Manolo Dulva Hina, Celine Barth, Assia Soukane, Amar Ramdane-Cherif

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[170] arXiv:2208.14820 [pdf, other]

Title: Learning Automata-Based Complex Event Patterns in Answer Set Programming

Nikos Katzouris, Georgios Paliouras

Subjects: Artificial Intelligence (cs.AI)

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

Title: RangL: A Reinforcement Learning Competition Platform

Viktor Zobernig, Richard A. Saldanha, Jinke He, Erica van der Sar, Jasper van Doorn, Jia-Chen Hua, Lachlan R. Mason, Aleksander Czechowski, Drago Indjic, Tomasz Kosmala, Alessandro Zocca, Sandjai Bhulai, Jorge Montalvo Arvizu, Claude Klöckl, John Moriarty

Comments: Documents in general and premierly the RangL competition plattform and in particular its 2022's competition "Pathways to Netzero" 10 pages, 2 figures, 1 table, Comments welcome!

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); General Literature (cs.GL); Systems and Control (eess.SY); Optimization and Control (math.OC)

[172] arXiv:2208.00005 (cross-list from cs.CV) [pdf, other]

Title: Testing Relational Understanding in Text-Guided Image Generation

Colin Conwell, Tomer Ullman

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

[173] arXiv:2208.00031 (cross-list from cs.CV) [pdf, other]

Title: Paddy Leaf diseases identification on Infrared Images based on Convolutional Neural Networks

Petchiammal A, Briskline Kiruba S, D. Murugan

Comments: Uploaded a different draft by mistake

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

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

Title: Personalised recommendations of sleep behaviour with neural networks using sleep diaries captured in Sleepio

Alejo Nevado-Holgado, Colin Espie, Maria Liakata, Alasdair Henry, Jenny Gu, Niall Taylor, Kate Saunders, Tom Walker, Chris Miller

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

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

Title: Thutmose Tagger: Single-pass neural model for Inverse Text Normalization

Alexandra Antonova, Evelina Bakhturina, Boris Ginsburg

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