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

Self-Governing Systems

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

Empowering Distributed AI: A Deep Dive into Federated Learning

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

Self-Governing Systems

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

How AI and quantum computing can help each other?

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

Self-Governing Systems

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

Language Modelling for the Sake of Language Modelling

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

Self-Governing Systems

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

AI for Medical Imaging

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

Self-Governing Systems

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

From Pixels to Words: Frontiers of Multi-Modal Vision-Language Learning

Can AI assist in finding a cure for cancer?