Deep Reasoning in AI with Answer Set Programming and LLMs

Back to the Future of Cognition and Control in Robotics: Robustness, Rationality, and Explainable Agency

Neural Recommender Systems: Theory, Methods, and Applications

Formal verification of symbolic and connectionist AI: a way toward higher quality software

AI for Security: Exploring Adversarial Learning and the Transferability of Adversarial Attacks

Foundations and Explainability of Datalog

AI for Autonomous Robots: Bridging Theory and Practice

Bridging Adversarial Learning and Data-Centric AI for Robust AI

Human Rights to AI System Specifications

Data Driven Approaches in (Multi-objective) Bayesian Optimisation

Explainable AI via Argumentation: Theory & Practice

Automated Planning in the Continuous World

Distributional reinforcement learning

Ethics and Law in Trustworthy AI: Foundations and Applications

Higher-Order Network Analysis: Topology, Machine Learning, and Applications

Query Languages and Graph Neural networks

Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization

Machine Unlearning: Theory, Methods, and Evaluations with Hands-On Insights

Uncertainty in Machine Learning – Towards Trustworthy AI Models

Introduction to Constraint Satisfaction