The Doctoral Students
University of Klagenfurt
"Multi-Agent Path Finding with Tunnel-Based ASP solving and Deep Reinforcement Learning"
"Forecast-Enhanced Multi-Agent PPO for Proactive QoS-Aware 5G RAN Orchestration in Intelligent Transportation Systems"
"Interoperability between ASP and subsymbolic formalisms "
"Topics in Logical Neural Networks"
"Combining symbolic and subsymbolic methods to solve combinatorial optimization problems "
Graz University of Technology
"Neuro-Symbolic interpretable Recommender Systems (Cognition-inspired, Fuzzy NN, Graph Transformer)"
"Causal Reasoning for Explainable, Data-Driven Decision Making"
"Safety, Explainability and Ethics in Reinforcement Learning"
"Episodic Memories Enable Context-Aware Explainable Planning and Problem Solving: A Normative Mode"
Institute of Science and Technology Austria
"Theory of Private Machine Learning"
"Efficient Training of Large Language Models"
Johannes Kepler University Linz
"Integrating Symbolic and Machine Learning Methods for Multi-Sided and Intersectional Fairness in Recommender Systems"
"Efficient Adaptation of Large Language Models for Long-Context Reasoning"
"Learning Rule Networks using Mixed Integer Linear Programming"
"Reasoning with Skolem Functions (in the context of Boolean functional synthesis)"
"Data-Free Diffusion for Constraint Satisfaction and Planning Problems"
"Computational Logic for Circuit Structure Learning"
Vienna University of Business and Economics
"Verified Neuro-Symbolic Knowledge Graph Repair"
"Causal Machine learning"
Maduri Hansanie Mudugamuwa Hewage
"Neuro-Symbolic Models with Constraints"
TU Wien
"Integrating Logical Rule Languages with Sub-Symbolic Techniques"
"Normative Reasoning and Deliberation toward Ethical and Explainable AI"
"Neurosymbolic Methods for Combinatorial Optimization"
"Trustworthy Agentic-AI for Data Curation: A Neurosymbolic Approach to Rule Discovery and Data Understanding"
"Symbolic Representations of Graph Learning for Enhanced Knowledge Graph Reasoning"
"Formal Verification for Combinatorial Problems"
"Neuro-Symbolic Reasoning with Foundation Models: Integrating Symbolic Engines for Agentic AI Reasoning"
"Neuroscience-Inspired AI based on Predictive Coding"
