Foundations of symbolic languages for model interpretability

M Arenas, D Baez, P Barceló, J Pérez… - Advances in neural …, 2021 - proceedings.neurips.cc
Several queries and scores have recently been proposed to explain individual predictions
over ML models. Examples include queries based on “anchors”, which are parts of an …

AI for explaining decisions in multi-agent environments

S Kraus, A Azaria, J Fiosina, M Greve, N Hazon… - Proceedings of the AAAI …, 2020 - aaai.org
Explanation is necessary for humans to understand and accept decisions made by an AI
system when the system's goal is known. It is even more important when the AI system …

Demand forecasting of e-commerce enterprises based on horizontal federated learning from the perspective of sustainable development

J Li, T Cui, K Yang, R Yuan, L He, M Li - Sustainability, 2021 - mdpi.com
Public health emergencies have brought great challenges to the stability of the e-commerce
supply chain. Demand forecasting is a key driver for the sound development of e-commerce …

[HTML][HTML] Towards an effective practice of learning from data and knowledge

Y Chen, H Huang, A Darwiche - International Journal of Approximate …, 2024 - Elsevier
We discuss some recent advances on combining data and knowledge in the context of
supervised learning using Bayesian networks. A first set of advances concern the …

Exact learning augmented naive bayes classifier

S Sugahara, M Ueno - Entropy, 2021 - mdpi.com
Earlier studies have shown that classification accuracies of Bayesian networks (BNs)
obtained by maximizing the conditional log likelihood (CLL) of a class variable, given the …

Towards understanding and arguing with classifiers: Recent progress

X Shao, T Rienstra, M Thimm, K Kersting - Datenbank-Spektrum, 2020 - Springer
Abstract Machine learning and argumentation can potentially greatly benefit from each
other. Combining deep classifiers with knowledge expressed in the form of rules and …

Tractable Boolean and arithmetic circuits

A Darwiche - Neuro-Symbolic Artificial Intelligence: The State of …, 2021 - ebooks.iospress.nl
Tractable Boolean and arithmetic circuits have been studied extensively in AI for over two
decades now. These circuits were initially proposed as “compiled objects,” meant to facilitate …

[PDF][PDF] An agent-based model for trajectory modelling in shared spaces: A combination of expert-based and deep learning approaches

FT Johora, H Cheng, JP Müller… - Proceedings of the 19th …, 2020 - aamas.csc.liv.ac.uk
Realistically modelling behaviour and interaction of mixed road users (pedestrians and
vehicles) in shared spaces are challenging due to the heterogeneity of transport modes and …

An advance on variable elimination with applications to tensor-based computation

A Darwiche - ECAI 2020, 2020 - ebooks.iospress.nl
We present new results on the classical algorithm of variable elimination, which underlies
many algorithms including for probabilistic inference. The results relate to exploiting …

The need for and conceptual design of an AI model-based Integrated Flight Advisory System

MA Ramos, K Sankaran, S Guarro… - Proceedings of the …, 2023 - journals.sagepub.com
Automation and an increasing level of autonomy are not novelties in aircraft cockpits. One of
the main goals of automation in aviation is to increase pilots' situation awareness (SA) and …