2025

@article{beiser2025automated,
  title={Automated Hybrid Grounding Using Structural and Data-Driven Heuristics},
  author={Beiser, Alexander and Woltran, Stefan and Hecher, Markus},
  journal={Theory and Practice of Logic Programming},
  volume={25},
  number={4},
  pages={489--506},
  year={2025},
  publisher={Cambridge University Press}
}

@article{da2025calibrated,
  title={Calibrated Recommendations: Survey and Future Directions},
  author={da Silva, Diego and Jannach, Dietmar},
  journal={ACM Transactions on Recommender Systems},
  publisher={ACM New York, NY}
}

@article{wotawa2025model,
  title={Model-Based Diagnosis—European Perspectives and Contributions},
  author={Wotawa, Franz},
  journal={The European Journal on Artificial Intelligence},
  pages={30504554251403464},
  year={2025},
  publisher={SAGE Publications Sage UK: London, England}
}

@inproceedings{radler2025diverse,
title={Diverse Topology Optimization using Modulated Neural Fields},
author={Andreas Radler and Eric Volkmann and Johannes Brandstetter and Arturs Berzins},
booktitle={NeurIPS 2025 AI for Science Workshop},
year={2025},
url={https://openreview.net/forum?id=2Qccww9opt}
}

@inproceedings{galletti2025learning,
  title={Learning to Compress Plasma Turbulence},
  author={Galletti, Gianluca and Gutenbrunner, Gerald and Paischer, Fabian and Cranganore, Sandeep Suresh and Hornsby, William and Carey, Naomi and Zanisi, Lorenzo and Pamela, Stanislas and Brandstetter, Johannes},
  booktitle={NeurIPS 2025 AI for Science Workshop}
}

@inproceedings{bartmann2025chemsets,
  title={CHEMSETS: How Capable Are Chemistry LLMs?},
  author={Bartmann, Christoph and Ielanskyi, Mykyta and Schimunek, Johannes and Seidl, Philipp and Klambauer, G{\"u}nter and Luukkonen, Sohvi},
  booktitle={NeurIPS 2025 AI for Science Workshop}
}

@article{peyrer2025pyqbf,
  title={PyQBF: A Python Framework for Solving Quantified Boolean Formulas},
  author={Peyrer, Mark and Heisinger, Maximilian and Seidl, Martina},
  journal={Formal Aspects of Computing},
  year={2025},
  publisher={ACM New York, NY}
}

@article{sestak2025vn,
  title={VN-EGNN: E (3)-and SE (3)-Equivariant Graph Neural Networks with Virtual Nodes Enhance Protein Binding Site Identification},
  author={Sestak, Florian and Schneckenreiter, Lisa and Brandstetter, Johannes and Hochreiter, Sepp and Mayr, Andreas and Klambauer, G{\"u}nter},
  journal={Journal of Cheminformatics},
  year={2025},
  publisher={Springer}
}

@inproceedings{maussner2025aggregated,
  title={Aggregated Dataset vs. Ensemble Learning for Spatial Transferability in Water Demand Forecasting},
  author={Maussner, Claudia and Teppan, Erich},
  booktitle={2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI)},
  pages={1168--1174},
  year={2025},
  organization={IEEE}
}

@inproceedings{demirelout,
  title={Out-of-Distribution Detection with Relative Angles},
  author={Demirel, Berker and Fumero, Marco and Locatello, Francesco},
  booktitle={The Thirty-ninth Annual Conference on Neural Information Processing Systems}
}

@article{ahmetaj2025logic,
  title={A Logic Programming Approach to Repairing SHACL Constraint Violations},
  author={Ahmetaj, Shqiponja and David, Robert and Polleres, Axel and {\v{S}}imkus, Mantas},
  journal={Transactions on Graph Data and Knowledge},
  volume={3},
  number={3},
  pages={1--1},
  year={2025},
  publisher={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{ferranti2025can,
  title={Who Can Fix This? User Recommendation for Knowledge Graph Repair via Embedding-Based Clustering},
  author={Ferranti, Nicolas and Guimaraes, Dayane and Souza, Jairo and Polleres, Axel},
  booktitle={Proceedings of the 13th Knowledge Capture Conference 2025},
  pages={170--173},
  year={2025}
}

@article{khalil2025combining,
  title={Combining Bayesian and Evidential Uncertainty Quantification for Improved Bioactivity Modeling},
  author={Khalil, Bola and Schweighofer, Kajetan and Dyubankova, Natalia and van Westen, Gerard JP and van Vlijmen, Herman},
  journal={Journal of Chemical Information and Modeling},
  volume={65},
  number={24},
  pages={13057--13069},
  year={2025},
  publisher={ACS Publications}
}

@article{kalinincontinual,
  title={Continual Release Moment Estimation with Differential Privacy},
  author={Kalinin, Nikita P and Upadhyay, Jalaj and Lampert, Christoph H}
}

@article{beiser2025tackling,
  title={Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming},
  author={Beiser, Alexander},
  year={2025}
}

@article{zuccatoenergy,
  title={Energy-Aware Double-Flexible Job Shop Scheduling with CP and ASP modulo CSP},
  author={Zuccato, Francesco and Rodler, Patrick and Friedrich, Gerhard and Schekotihin, Konstantin and Havur, Giray and Comploi-Taupe, Richard}
}

@inproceedings{depian2025structural,
  title={Structural Parameterizations of Simultaneous Planarity},
  author={Depian, Thomas and Fink, Simon D and Firbas, Alexander and Ganian, Robert and Pfretzschner, Matthias and Rutter, Ignaz},
  booktitle={36th International Symposium on Algorithms and Computation (ISAAC 2025)},
  pages={25--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{hofmann2025ap,
  title={AP-OOD: Attention Pooling for Out-of-Distribution Detection},
  author={Hofmann, Claus and Huber, Christian and Lehner, Bernhard and Klotz, Daniel and Hochreiter, Sepp and Zellinger, Werner},
  booktitle={EurIPS 2025 Workshop on Metacognition in Generative AI},
  year={2025}
}

@article{zuccato2025energy,
  title={Energy-Aware Double-Flexible Job Shop Scheduling with Machine Modes and Setup Times: A Real-World Industrial Case Study using Constraint Programming},
  author={Zuccato, Francesco and Rodler, Patrick and Friedrich, Gerhard and Schekotihin, Konstantin and Comploi-Taupe, Richard},
  year={2025}
}

@inproceedings{ordyniak2025computing,
  title={Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms},
  author={Ordyniak, Sebastian and Rychlicki, Mateusz and Szeider, Stefan},
  booktitle={Proceedings of the 40th AAAI Conference on Artificial Intelligence},
  year={2025},
  organization={AAAI Press}
}

@inproceedings{domineexact,
  title={Exact Learning Dynamics of Bottlenecked and Wide Deep Linear Networks},
  author={Domin{\'e}, Cl{\'e}mentine Carla Juliette},
  booktitle={UniReps: 3rd Edition of the Workshop on Unifying Representations in Neural Models}
}

@inproceedings{dobrovsky2025intelligent,
  title={Intelligent Assistants for the Semiconductor Failure Analysis with LLM-Based Planning Agents},
  author={Dobrovsky, Aline and Schekotihin, Konstantin and Burmer, Christian},
  booktitle={International Symposium for Testing and Failure Analysis},
  volume={85212},
  pages={41--58},
  year={2025},
  organization={ASM International}
}

@article{tsaneva2025transparent,
  title={A Transparent and Adaptive AI Assistant for Teaching Knowledge Engineering},
  author={Tsaneva, Stefani and Waltersdorfer, Laura and Llugiqi, Majlinda and Sabou, Marta},
  year={2025}
}

@inproceedings{eiter2025temporal,
  title={On temporal ASP with eager unfoldable operators},
  author={Eiter, Thomas and Sold{\`a}, Davide},
  booktitle={Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence},
  pages={4473--4481},
  year={2025}
}

@inproceedings{eiter2025sequent,
  title={A sequent calculus for answer set entailment},
  author={Eiter, Thomas and Geibinger, Tobias},
  booktitle={Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence},
  pages={4463--4472},
  year={2025}
}

@article{svoboda2025promoters,
  title={Promoters of cooperation in evolutionary games},
  author={Svoboda, Jakub and Chatterjee, Krishnendu},
  journal={Proceedings of the National Academy of Sciences},
  volume={122},
  number={51},
  pages={e2524109122},
  year={2025},
  publisher={National Academy of Sciences}
}

@inproceedings{dobriy2025preface,
  title={Preface for the Second International Workshop on Retrieval-Augmented Generation Enabled by Knowledge Graphs (RAGE-KG 2025)},
  author={Dobriy, Daniil and Tiwari, Sanju and D'Souza, Jennifer and Mihindukulasooriya, Nandana and Osborne, Francesco and others},
  booktitle={CEUR WORKSHOP PROCEEDINGS},
  volume={4079},
  pages={1--3},
  year={2025},
  organization={CEUR-WS}
}

@article{pavlovic2025faithful,
  title={Faithful differentiable reasoning with reshuffled region-based embeddings},
  author={Pavlovic, Aleksandar and Sallinger, Emanuel and Schockaert, Steven},
  year={2025}
}

@article{beiserfastfound,
  title={FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding},
  author={Beiser, Alexander and Gebser, Martin and Hecher, Markus and Woltran, Stefan}
}

@article{moraknon,
  title={Non-deterministic Action Reversibility: Complexity Results},
  author={Morak, Michael and Chrpa, Luk{\'a}{\v{s}} and Faber, Wolfgang}
}

@article{patrignani2026corrigendum,
  title={Corrigendum to “SpaceKG: Towards exploiting knowledge graphs in space systems”[Acta Astronaut. Volume 236 (November 2025) Pages 967--981]},
  author={Patrignani, Luca and Laurenza, Eleonora and Sallinger, Emanuel and Vlad, Adriano and Gaudenzi, Paolo},
  journal={Acta Astronautica},
  volume={238},
  pages={353},
  year={2026},
  publisher={Elsevier}
}

@inproceedings{di2025expressive,
  title={Expressive Description Logics with Rich Yet Affordable Numeric Constraints},
  author={Di Stefano, Federica and Lukumbuzya, Sanja and Ortiz, Magdalena and {\v{S}}imkus, Mantas},
  booktitle={Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year={2025}
}

@inproceedings{schleich2025combining,
  title={Combining Dynamic Slicing and Spectrum-Based Fault Localization-A First Experimental Evaluation},
  author={Schleich, Jonas and Wotawa, Franz},
  booktitle={36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
  pages={3--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@article{dobriy2025qualitative,
  title={Qualitative Coding in the Age of AI: An Ontology-Driven Approach},
  author={Dobriy, Daniil and Polleres, Axel},
  year={2025}
}

@inproceedings{heisinger2025f4ncgb,
  title={f4ncgb: High Performance Gr{\"o}bner Basis Computations in Free Algebras},
  author={Heisinger, Maximilian and Hofstadler, Clemens},
  booktitle={International Workshop on Computer Algebra in Scientific Computing},
  pages={79--97},
  year={2025},
  organization={Springer}
}

@article{ekaputra2025ontology,
  title={An Ontology for the Common Data Format on Football Match Data},
  author={Ekaputra, Fajar J and K{\"a}fer, Gregor and Kempe, Matthias},
  year={2025}
}

@inproceedings{ali2024swarm,
  title={Swarm Intelligence-Driven Dispatching Rules for Semiconductor Production},
  author={Ali, Ramsha and Eftekhari, Peyman and Gebser, Martin and Leitner, Stephan and Friedrich, Gerhard},
  booktitle={International Conference on Simulation and Modeling Methodologies, Technologies and Applications},
  pages={156--181},
  year={2024},
  organization={Springer}
}

@article{bellomarini2025datalog,
  title={Datalog-based Reasoning for Banking Supervision: is This All a Fantasy?},
  author={Bellomarini, Luigi and Bernardini, Marta and Blasi, Livia and Catalano, Costanza and Laurendi, Rosario and Gentili, Andrea and Magnanimi, Davide and Mastrogirolamo, Marco and Sallinger, Emanuel},
  year={2025}
}

@article{bellomarini2025joint,
  title={The Joint Knowledge Graph Labs: Neuro-symbolic Reasoning in Action},
  author={Bellomarini, Luigi and Blasi, Livia and Gentili, Andrea and Laurendi, Rosario and Laurenza, Eleonora and Sallinger, Emanuel},
  year={2025}
}

@article{voboril2025generating,
  title={Generating streamlining constraints with large language models},
  author={Voboril, Florentina and Ramaswamy, Vaidyanathan Peruvemba and Szeider, Stefan},
  journal={Journal of Artificial Intelligence Research},
  volume={84},
  year={2025}
}

@inproceedings{cadei2025prediction,
  title={Prediction-Powered Causal Inferences},
  author={Cadei, Riccardo and Demirel, Ilker and De Bartolomeis, Piersilvio and Lindorfer, Lukas and Cremer, Sylvia and Schmid, Cordelia and Locatello, Francesco},
  booktitle={The Thirty-ninth Annual Conference on Neural Information Processing Systems},
  year={2025}
}

@inproceedings{ahmetaj2025shacl,
  title={SHACL Validation Under Graph Updates},
  author={Ahmetaj, Shqiponja and Konstantinidis, George and Ortiz, Magdalena and Pareti, Paolo and Simkus, Mantas},
  booktitle={International Semantic Web Conference},
  pages={140--157},
  year={2025},
  organization={Springer}
}

@article{kurniawan2025agcyrag,
  title={AgCyRAG: an Agentic Knowledge Graph based RAG Framework for Automated Security Analysis},
  author={Kurniawan, Kabul and Ardian, Rayhan Firdaus and Kiesling, Elmar and Ekelhart, Andreas},
  year={2025}
}

@inproceedings{chatterjee2025polyqent,
  title={Polyqent: a polynomial quantified entailment solver},
  author={Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Goharshady, Ehsan Kafshdar and Karrabi, Mehrdad and Saadat, Milad and Seeliger, Maximilian and {\v{Z}}ikeli{\'c}, {\DJ}or{\dj}e},
  booktitle={International Symposium on Automated Technology for Verification and Analysis},
  pages={411--424},
  year={2025},
  organization={Springer}
}

@inproceedings{bellomarini2025temporal,
  title={The Temporal Vadalog System (Short Paper)},
  author={Bellomarini, Luigi and Blasi, Livia and Nissl, Markus and Sallinger, Emanuel},
  booktitle={32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)},
  pages={15--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{reiter2025towards,
  title={Towards Multi-Aspect Diversification of News Recommendations Using Neuro-Symbolic AI for Individual and Societal Benefit},
  author={Reiter-Haas, Markus and Lex, Elisabeth},
  year={2025}
}

@inproceedings{zhou2025hypothesis,
  title={Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation},
  author={Zhou, Zheng and Stra{\ss}er, Christian and van Berkel, Kees},
  booktitle={International Workshop on Logic, Rationality and Interaction},
  pages={179--194},
  year={2025},
  organization={Springer}
}

@article{schidler2025computing,
  title={Computing and Certifying Twin-Width Using Logic},
  author={Schidler, Andr{\'e} and Szeider, Stefan},
  journal={ACM Transactions on Computational Logic},
  year={2025},
  publisher={ACM New York, NY}
}

@inproceedings{seip2025towards,
  title={Towards SAT-Based Learning of NNF Networks},
  author={Seip, Paul and Beck, Florian and F{\"u}rnkranz, Johannes and Hofstadler, Clemens and Pfeiffer, Peter and Seidl, Martina and Peharz, Robert and Szeider, Stefan},
  booktitle={2025 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)},
  pages={1--5},
  year={2025},
  organization={IEEE}
}

@article{ehrenmuller2025data,
  title={Data-Driven Augmentation of Expert Causal Knowledge in Cyber-Physical Systems},
  author={Ehrenm{\"u}ller, Katrin and Kook, Lucas and Ekaputra, Fajar J and Sabou, Marta},
  year={2025}
}

@article{ikhsan2025pattern,
  title={Pattern-based AI Risk Assessment: A Taxonomy Expansion Use Case},
  author={Ikhsan, Muhammad and Kiesling, Elmar and Mahmoud, Salma and Prock, Alexander and Revenko, Artem and Ekaputra, Fajar J},
  year={2025}
}

@article{llugiqi2025semantic,
  title={Semantic-Driven Data Augmentation for Improved Machine Learning Predictions},
  author={Llugiqi, Majlinda and Ekaputra, Fajar J and Sabou, Marta},
  year={2025}
}

@article{wangwitnesses,
  title={Witnesses for Answer Sets of Basic Logic Programs},
  author={Wang, Yisong and Wang, Xianglong and Xie, Zhongtao and Eiter, Thomas}
}

@article{carusogeneral,
  title={A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms},
  author={Caruso, Simone and Dodaro, Carmine and Maratea, Marco and Tarzariol, Alice}
}

@article{benedettodatalog,
  title={A Datalog Rewriting Algorithm for Warded Ontologies},
  author={Benedetto, Davide and Calautti, Marco and Hammad, Hebatalla and Sallinger, Emanuel and Vlad-Starrabba, Adriano}
}

@article{ganhor2025single,
  title={Single-Branch Network Architectures to Close the Modality Gap in Multimodal Recommendation},
  author={Ganh{\"o}r, Christian and Moscati, Marta and Hausberger, Anna and Nawaz, Shah and Schedl, Markus},
  journal={ACM Transactions on Recommender Systems},
  year={2025},
  publisher={ACM New York, NY}
}

@inproceedings{brandstotter12025synthesizing,
  title={Synthesizing Accurate and Realistic T1-Weighted Contrast-Enhanced MR Images Using Posterior-Mean Rectified},
  author={Brandst{\"o}tter$^1$, Bastian and Kobler, Erich},
  booktitle={Simulation and Synthesis in Medical Imaging: 10th International Workshop, SASHIMI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings},
  pages={159},
  year={2025},
  organization={Springer Nature}
}

@inproceedings{moscati2025single,
  title={Single-Branch Architectures for Recommendation.},
  author={Moscati, Marta},
  booktitle={DaQuaMRec@ RecSys},
  pages={36--39},
  year={2025}
}

@article{moscati2025audio,
  title={Audio, Lyrics, Videoclips, Interactions? An Analysis of Uni-and Multi-modal Music Retrieval Systems in Terms of Accuracy and Beyond-accuracy Aspects},
  author={Moscati, Marta and Escobedo, Gustavo and Almanza, Eduardo Hernandez and Pech{\'e}, Jonas and Schedl, Markus},
  year={2025}
}

@inproceedings{brandstotter2025synthesizing,
  title={Synthesizing Accurate and Realistic T1-Weighted Contrast-Enhanced MR Images Using Posterior-Mean Rectified Flow},
  author={Brandst{\"o}tter, Bastian and Kobler, Erich},
  booktitle={International Workshop on Simulation and Synthesis in Medical Imaging},
  pages={159--169},
  year={2025},
  organization={Springer}
}

@article{davelearning,
  title={Learning Robust Representations for Visual Reinforcement Learning via Task-Relevant Mask Sampling},
  author={Dave, Vedant and {\"O}zdenizci, Ozan and Rueckert, Elmar},
  journal={Transactions on Machine Learning Research}
}

@article{beiser2025automated,
  title={Automated Hybrid Grounding Using Structural and Data-Driven Heuristics},
  author={Beiser, Alexander and Woltran, Stefan and Hecher, Markus},
  journal={Theory and Practice of Logic Programming},
  volume={25},
  number={4},
  pages={489--506},
  year={2025},
  publisher={Cambridge University Press}
}

@inproceedings{cuze2025evaluation,
  title={On the Evaluation of Test Suites Generated by Large Language Models},
  author={Cuze, Matej and Wotawa, Franz},
  booktitle={IFIP International Conference on Testing Software and Systems},
  pages={248--263},
  year={2025},
  organization={Springer}
}

@article{bellomarini2025vadacode,
  title={Vadacode: A Logician-Friendly IDE for Datalog$\pm$},
  author={Bellomarini, Luigi and Gentili, Andrea and Magnanimi, Davide and Sallinger, Emanuel},
  journal={Proceedings of the VLDB Endowment},
  volume={18},
  number={12},
  pages={5411--5414},
  year={2025},
  publisher={VLDB Endowment}
}

@article{tarzariol2025casp,
  title={A CASP-Based Solution for Traffic Signal Optimisation},
  author={Tarzariol, Alice and Maratea, Marco and Vallati, Mauro},
  journal={Theory and Practice of Logic Programming},
  volume={25},
  number={4},
  pages={794--812},
  year={2025},
  publisher={Cambridge University Press}
}

@inproceedings{moscati2025parameter,
  title={Parameter-Efficient Single Collaborative Branch for Recommendation},
  author={Moscati, Marta and Nawaz, Shah and Schedl, Markus},
  booktitle={Proceedings of the Nineteenth ACM Conference on Recommender Systems},
  pages={1256--1260},
  year={2025}
}

@inproceedings{lesota2025fine,
  title={Fine-tuning for Inference-efficient Calibrated Recommendations},
  author={Lesota, Oleg and Bajko, Adrian and Walder, Max and Wenzel, Matthias and Tommasel, Antonela and Schedl, Markus},
  booktitle={Proceedings of the Nineteenth ACM Conference on Recommender Systems},
  pages={1187--1192},
  year={2025}
}

@inproceedings{schodl2025investigating,
  title={Investigating Carbon Footprint of Recommender Systems Beyond Training Time},
  author={Schodl, Josef and Lesota, Oleg and Tommasel, Antonela and Schedl, Markus},
  booktitle={Proceedings of the Nineteenth ACM Conference on Recommender Systems},
  pages={1206--1211},
  year={2025}
}

@inproceedings{escobedo2025debiasing,
  title={Debiasing Implicit Feedback Recommenders via Sliced Wasserstein Distance-based Regularization},
  author={Escobedo, Gustavo and Penz, David and Schedl, Markus},
  booktitle={Proceedings of the Nineteenth ACM Conference on Recommender Systems},
  pages={1153--1158},
  year={2025}
}

@inproceedings{penz2025mitigating,
  title={Mitigating Latent User Biases in Pre-trained VAE Recommendation Models via On-demand Input Space Transformation},
  author={Penz, David and Escobedo Ticona, Gustavo Junior and Schedl, Markus},
  booktitle={Proceedings of the Nineteenth ACM Conference on Recommender Systems},
  pages={632--636},
  year={2025}
}

@article{ongris2025frog,
  title={FrOG: Framework of Open GraphRAG},
  author={Ongris, Jaycent G and Tjitrahardja, Eduardus and Darari, Fariz and Ekaputra, Fajar J},
  year={2025}
}

@inproceedings{pervez2025mechanistic,
  title={Mechanistic PDE Networks for Discovery of Governing Equations},
  author={Pervez, Adeel and Gavves, Efstratios and Locatello, Francesco},
  booktitle={International Conference on Machine Learning},
  pages={48962--48973},
  year={2025},
  organization={PMLR}
}

@inproceedings{lasy2025understanding,
  title={Understanding Verbatim Memorization in LLMs Through Circuit Discovery},
  author={Lasy, Ilya and Knees, Peter and Woltran, Stefan},
  booktitle={Proceedings of the First Workshop on Large Language Model Memorization (L2M2)},
  pages={83--94},
  year={2025}
}

@InProceedings{pmlr-v267-berzins25a,
  title = 	 {Geometry-Informed Neural Networks},
  author =       {Berzins, Arturs and Radler, Andreas and Volkmann, Eric and Sanokowski, Sebastian and Hochreiter, Sepp and Brandstetter, Johannes},
  booktitle = 	 {Proceedings of the 42nd International Conference on Machine Learning},
  pages = 	 {3976--4004},
  year = 	 {2025},
  editor = 	 {Singh, Aarti and Fazel, Maryam and Hsu, Daniel and Lacoste-Julien, Simon and Berkenkamp, Felix and Maharaj, Tegan and Wagstaff, Kiri and Zhu, Jerry},
  volume = 	 {267},
  series = 	 {Proceedings of Machine Learning Research},
  month = 	 {13--19 Jul},
  publisher =    {PMLR},
  pdf = 	 {https://raw.githubusercontent.com/mlresearch/v267/main/assets/berzins25a/berzins25a.pdf},
  url = 	 {https://proceedings.mlr.press/v267/berzins25a.html},
  abstract = 	 {Geometry is a ubiquitous tool in computer graphics, design, and engineering. However, the lack of large shape datasets limits the application of state-of-the-art supervised learning methods and motivates the exploration of alternative learning strategies. To this end, we introduce geometry-informed neural networks (GINNs) – a framework for training shape-generative neural fields without data by leveraging user-specified design requirements in the form of objectives and constraints. By adding diversity as an explicit constraint, GINNs avoid mode-collapse and can generate multiple diverse solutions, often required in geometry tasks. Experimentally, we apply GINNs to several problems spanning physics, geometry, and engineering design, showing control over geometrical and topological properties, such as surface smoothness or the number of holes. These results demonstrate the potential of training shape-generative models without data, paving the way for new generative design approaches without large datasets.}
}

@article{effland2025uncertainty,
  title={Uncertainty Estimation for Learning-Based Classification of Corrupted Images},
  author={Effland, A and Kobler, E and Pereyra, M and Peter, J},
  journal={SIAM Journal on Imaging Sciences},
  volume={18},
  number={3},
  pages={1828--1856},
  year={2025},
  publisher={SIAM}
}

@inproceedings{geibinger2025and,
  title={Why this and not that? A Logic-based Framework for Contrastive Explanations},
  author={Geibinger, Tobias and Jaakkola, Reijo and Kuusisto, Antti and Liu, Xinghan and Vilander, Miikka},
  booktitle={European Conference on Logics in Artificial Intelligence},
  pages={45--60},
  year={2025},
  organization={Springer}
}

@inproceedings{plank2025refinement,
  title={Refinement-Based Enumeration of QBF Solutions},
  author={Plank, Andreas and Hofstadler, Clemens and Heisinger, Maximilian and Seidl, Martina},
  booktitle={European Conference on Logics in Artificial Intelligence},
  pages={166--181},
  year={2025},
  organization={Springer}
}

@article{ekaputra2025towards,
  title={Towards Supporting AI System Engineering with an Extended Boxology Notation},
  author={Ekaputra, Fajar J and Prock, Alexander and Kiesling, Elmar},
  year={2025}
}

@inproceedings{solda2025deon,
  title={deon-B: A Language for Well-Founded Deontic Planning},
  author={Sold{\`a}, Davide and Eiter, Thomas},
  booktitle={European Conference on Logics in Artificial Intelligence},
  pages={187--204},
  year={2025},
  organization={Springer}
}

@inproceedings{faber2025encoding,
  title={Encoding Action Reversibility In Planning Using Quantified ASP and Bule},
  author={Faber, Wolfgang and Morak, Michael},
  booktitle={European Conference on Logics in Artificial Intelligence},
  pages={327--342},
  year={2025},
  organization={Springer}
}

@inproceedings{pfeiffer2025refined,
  title={Refined Notions of QBF Equivalences},
  author={Pfeiffer, Peter and Gro{\ss}e, Daniel and Seidl, Martina},
  booktitle={European Conference on Logics in Artificial Intelligence},
  pages={159--165},
  year={2025},
  organization={Springer}
}

@inproceedings{brotzner2025crossing,
  title={Crossing and Independent Families Among Polygons},
  author={Br{\"o}tzner, Anna and Ganian, Robert and Hamm, Thekla and Klute, Fabian and Parada, Irene},
  booktitle={19th International Symposium on Algorithms and Data Structures (WADS 2025)},
  pages={11--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{deligkas2025routing,
  title={Routing Few Robots in a Crowded Network},
  author={Deligkas, Argyrios and Eiben, Eduard and Ganian, Robert and Kanj, Iyad and Leko, Dominik and Ramanujan, MS},
  booktitle={19th International Symposium on Algorithms and Data Structures (WADS 2025)},
  pages={20--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@article{alviano2025asp,
  title={ASP Chef grows Mustache to look better},
  author={Alviano, Mario and REINERS, LUIS ANGEL RODRIGUEZ and FABER, WOLFGANG},
  journal={Theory and Practice of Logic Programming},
  pages={1--20},
  year={2025},
  publisher={Cambridge University Press}
}

@inproceedings{voboril2025balancing,
  title={Balancing Latin Rectangles with LLM-Generated Streamliners},
  author={Voboril, Florentina and Peruvemba Ramaswamy, Vaidyanathan and Szeider, Stefan},
  booktitle={31st International Conference on Principles and Practice of Constraint Programming (CP 2025)},
  pages={36--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@article{brewster2025maintaining,
  title={Maintaining diversity in structured populations},
  author={Brewster, David A and Svoboda, Jakub and Roscow, Dylan and Chatterjee, Krishnendu and Tkadlec, Josef and Nowak, Martin A},
  journal={PNAS nexus},
  volume={4},
  number={8},
  pages={pgaf252},
  year={2025},
  publisher={Oxford University Press US}
}

@inproceedings{schidler2025analyzing,
  title={Analyzing Reformulation Performance in Core-Guided MaxSAT Solving},
  author={Schidler, Andr{\'e} and Szeider, Stefan},
  booktitle={28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)},
  pages={26--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{szeider2025bridging,
  title={Bridging Language Models and Symbolic Solvers via the Model Context Protocol},
  author={Szeider, Stefan},
  booktitle={28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)},
  pages={30--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{peyrer2025qrp+,
  title={QRP+ Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms},
  author={Peyrer, Mark and Seidl, Martina},
  booktitle={28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)},
  pages={25--1},
  year={2025},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@article{ferrantiformalizing,
  title={Formalizing Repairs for Wikidata Constraint Violations: A Taxonomy and Empirical Analysis},
  author={Ferranti, Nicolas and Guimar{\~a}es, Dayane}
}

@InProceedings{pmlr-v286-asadi25b,
  title = 	 {Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete},
  author =       {Asadi, Ali and Chatterjee, Krishnendu and Saona, Raimundo and Shafiee, Ali},
  booktitle = 	 {Proceedings of the Forty-first Conference on Uncertainty in Artificial Intelligence},
  pages = 	 {238--256},
  year = 	 {2025},
  editor = 	 {Chiappa, Silvia and Magliacane, Sara},
  volume = 	 {286},
  series = 	 {Proceedings of Machine Learning Research},
  month = 	 {21--25 Jul},
  publisher =    {PMLR},
  pdf = 	 {https://raw.githubusercontent.com/mlresearch/v286/main/assets/asadi25b/asadi25b.pdf},
  url = 	 {https://proceedings.mlr.press/v286/asadi25b.html},
  abstract = 	 {A standard model that arises in several applications in sequential decision-making is partially observable Markov decision processes (POMDPs) where a decision-making agent interacts with an uncertain environment. A basic objective in POMDPs is the reachability objective, where given a target set of states, the goal is to eventually arrive at one of them. The limit-sure problem asks whether reachability can be ensured with probability arbitrarily close to 1. In general, the limit-sure reachability problem for POMDPs is undecidable. However, in many practical cases, the most relevant question is the existence of policies with a small amount of memory. In this work, we study the limit-sure reachability problem for POMDPs with a fixed amount of memory. We establish that the computational complexity of the problem is NP-complete.}
}

@inproceedings{10.5555/3762387.3762544,
author = {Schweighofer, Kajetan and Aichberger, Lukas and Ielanskyi, Mykyta and Hochreiter, Sepp},
title = {On information-theoretic measures of predictive uncertainty},
year = {2025},
publisher = {JMLR.org},
abstract = {Reliable estimation of predictive uncertainty is crucial for machine learning applications, particularly in high-stakes scenarios where hedging against risks is essential. Despite its significance, there is no universal agreement on how to best quantify predictive uncertainty. In this work, we revisit core concepts to propose a framework for information-theoretic measures of predictive uncertainty. Our proposed framework categorizes predictive uncertainty measures according to two factors: (I) The predicting model (II) The approximation of the true predictive distribution. Examining all possible combinations of these two factors, we derive a set of predictive uncertainty measures that includes both known and newly introduced ones. We extensively evaluate these measures across a broad set of tasks, identifying conditions under which certain measures excel. Our findings show the importance of aligning the choice of uncertainty measure with the predicting model on in-distribution (ID) data, the limitations of epistemic uncertainty measures for out-of-distribution (OOD) data, and that the disentanglement between measures varies substantially between ID and OOD data. Together, these insights provide a more comprehensive understanding of predictive uncertainty measures, revealing their implicit assumptions and relationships.},
booktitle = {Proceedings of the Forty-First Conference on Uncertainty in Artificial Intelligence},
articleno = {157},
numpages = {36},
location = {Rio de Janeiro, Brazil},
series = {UAI '25}
}

@inproceedings{huynh2025partial,
  title={Partial Pre-Post Code Tree: A Memory-Efficient Tree Structure for Conjunctive Rule Mining},
  author={Huynh, Van Quoc Phuong and Beck, Florian and F{\"u}rnkranz, Johannes},
  booktitle={Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V. 1},
  pages={565--576},
  year={2025}
}

@inproceedings{kantzOnSETOntologySemantic2025,
	address = {New York, NY, USA},
	series = {{SIGIR} '25},
	title = {{OnSET}: {Ontology} and {Semantic} {Exploration} {Toolkit}},
	isbn = {979-8-4007-1592-1},
	shorttitle = {{OnSET}},
	url = {https://dl.acm.org/doi/10.1145/3726302.3730148},
	doi = {10.1145/3726302.3730148},
	urldate = {2026-02-06},
	booktitle = {Proceedings of the 48th {International} {ACM} {SIGIR} {Conference} on {Research} and {Development} in {Information} {Retrieval}},
	publisher = {Association for Computing Machinery},
	author = {Kantz, Benedikt and Innerebner, Kevin and Waldert, Peter and Lengauer, Stefan and Lex, Elisabeth and Schreck, Tobias},
	month = jul,
	year = {2025},
	pages = {3980--3984},
}

@inproceedings{schedl2025psychological,
  title={Psychological Aspects in Retrieval and Recommendation},
  author={Schedl, Markus and Lex, Elisabeth and Tkalcic, Marko},
  booktitle={Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval},
  pages={4114--4117},
  year={2025}
}

@article{maly2025core,
  title={The core in Participatory Budgeting can be empty},
  author={Maly, Jan},
  journal={Economics Letters},
  pages={112472},
  year={2025},
  publisher={Elsevier}
}

@article{baronig2025advancing,
  title={Advancing spatio-temporal processing through adaptation in spiking neural networks},
  author={Baronig, Maximilian and Ferrand, Romain and Sabathiel, Silvester and Legenstein, Robert},
  journal={Nature Communications},
  volume={16},
  number={1},
  pages={5776},
  year={2025},
  publisher={Nature Publishing Group UK London}
}

@article{zaheer2025chameleon,
  title={Chameleon: A Multimodal Learning Framework Robust to Missing Modalities},
  author={Zaheer, Muhammad Zaigham and Nandakumar, Karthik and Khan, Muhammad Haris},
  year={2025},
  publisher={Springer Nature}
}

@article{ganiancomputational,
  title={THE COMPUTATIONAL COMPLEXITY OF POSITIVE NON-CLASHING TEACHING IN GRAPHS (APPENDIX: FULL VERSION)},
  author={Ganian, Robert and Khazaliya, Liana and Rocton, Mathis and Mc Inerney, Fionn}
}

@inproceedings{danzinger2025modeling,
  title={Modeling and Solving the Generalized Test Laboratory Scheduling Problem},
  author={Danzinger, Philipp and Geibinger, Tobias and Mischek, Florian and Musliu, Nysret},
  booktitle={International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research},
  pages={188--204},
  year={2025},
  organization={Springer}
}

@article{van17reasoning,
  title={Reasoning With and About Normative Conflicts},
  author={van Berkel, Kees and Stra{\ss}er, Christian},
  journal={17 DEON},
  pages={21}
}

@article{solda17integrating,
  title={Integrating Action Choices and Well-Founded Semantics for Deontic Planning},
  author={Solda, Davide},
  journal={17 DEON},
  pages={419}
}

@inproceedings{voboril2025streamllm,
  title={StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners},
  author={Voboril, Florentina and Ramaswamy, Vaidyanathan Peruvemba and Szeider, Stefan},
  booktitle={2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)},
  pages={17--22},
  year={2025},
  organization={IEEE Computer Society}
}

@inproceedings{heisinger2025semantic,
  title={(Semantic) Feature Model Differences with (Q) SAT},
  author={Heisinger, Simone and Heisinger, Maximilian and Seidl, Martina},
  booktitle={Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering},
  pages={189--198},
  year={2025}
}

@inproceedings{llugiqi2025experts,
  title={From Experts to LLMs: Evaluating the Quality of Automatically Generated Ontologies},
  author={Llugiqi, Majlinda and Ekaputra, Fajar J and Sabou, Marta},
  booktitle={2nd Workshop on Evaluation of Language Models in Knowledge Engineering (ELMKE), co-located with ESWC-25, to appear},
  year={2025}
}

@inproceedings{moscati2025familiarizing,
  title={Familiarizing with Music: Discovery Patterns for Different Music Discovery Needs},
  author={Moscati, Marta and Afchar, Darius and Schedl, Markus and Sguerra, Bruno},
  booktitle={Proceedings of the 33rd ACM Conference on User Modeling, Adaptation and Personalization},
  pages={63--72},
  year={2025}
}

@inproceedings{hausberger2025context,
  title={Why Context Matters: Exploring How Musical Context Impacts User Behavior, Mood, and Musical Preferences},
  author={Hausberger, Anna and Parada-Cabaleiro, Emilia and Schedl, Markus},
  booktitle={Proceedings of the 33rd ACM Conference on User Modeling, Adaptation and Personalization},
  pages={352--357},
  year={2025}
}

@inproceedings{bartlDifferentiableFuzzyNeural2025a,
	address = {New York, NY, USA},
	series = {{UMAP} {Adjunct} '25},
	title = {Differentiable {Fuzzy} {Neural} {Networks} for {Recommender} {Systems}},
	isbn = {979-8-4007-1399-6},
	url = {https://dl.acm.org/doi/10.1145/3708319.3734174},
	doi = {10.1145/3708319.3734174},
	urldate = {2026-02-06},
	booktitle = {Adjunct {Proceedings} of the 33rd {ACM} {Conference} on {User} {Modeling}, {Adaptation} and {Personalization}},
	publisher = {Association for Computing Machinery},
	author = {Bartl, Stephan and Innerebner, Kevin and Lex, Elisabeth},
	month = jun,
	year = {2025},
	pages = {343--348},
}

@inproceedings{innerebnerHybridPersonalizationUsing2025,
	address = {New York, NY, USA},
	series = {{UMAP} {Adjunct} '25},
	title = {Hybrid {Personalization} {Using} {Declarative} and {Procedural} {Memory} {Modules} of the {Cognitive} {Architecture} {ACT}-{R}},
	isbn = {979-8-4007-1399-6},
	url = {https://dl.acm.org/doi/10.1145/3708319.3734176},
	doi = {10.1145/3708319.3734176},
	urldate = {2026-02-06},
	booktitle = {Adjunct {Proceedings} of the 33rd {ACM} {Conference} on {User} {Modeling}, {Adaptation} and {Personalization}},
	publisher = {Association for Computing Machinery},
	author = {Innerebner, Kevin and Kowald, Dominik and Schedl, Markus and Lex, Elisabeth},
	month = jun,
	year = {2025},
	pages = {349--352},
}

@inproceedings{engesser2025simple,
  title={A Simple Integration of Epistemic Logic and Reinforcement Learning},
  author={Engesser, Thorsten and Le Marre, Thibaut and Lorini, Emiliano and Schwarzentruber, Fran{\c{c}}ois and Zanuttini, Bruno},
  booktitle={Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems},
  pages={686--694},
  year={2025}
}

@inproceedings{deligkas2025parameterized,
  title={Parameterized Algorithms for Multiagent Pathfinding on Trees},
  author={Deligkas, Argyrios and Eiben, Eduard and Ganian, Robert and Kanj, Iyad and Ramanujan, MS},
  booktitle={Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems},
  pages={584--592},
  year={2025}
}

@article{liaqat2025chameleon,
  title={Chameleon: A Multimodal Learning Framework Robust to Missing Modalities},
  author={Liaqat, Muhammad Irzam and Nawaz, Shah and Zaheer, Muhammad Zaigham and Saeed, Muhammad Saad and Sajjad, Hassan and De Schepper, Tom and Nandakumar, Karthik and Khan, Muhammad Haris and Gallo, Ignazio and Schedl, Markus},
  journal={International Journal of Multimedia Information Retrieval},
  volume={14},
  number={2},
  pages={1--14},
  year={2025},
  publisher={Springer}
}

@inproceedings{david2025textrm,
  title={$$$\backslash$textrm $\{$OWL$\}$ \_ $\{$$\backslash$textrm $\{$strict$\}$$\}$ $$: A Constrained OWL Fragment to Avoid Ambiguities for Knowledge Graph Practitioners},
  author={David, Robert and Ahmeti, Albin and Ahmetaj, Shqiponja and Polleres, Axel},
  booktitle={European Semantic Web Conference},
  pages={47--64},
  year={2025},
  organization={Springer}
}

@article{neufeldcombining,
  title={Combining MORL with Restraining Bolts to Learn Normative Behaviour},
  author={Neufeld, Emery A and Ciabattoni, Agata and Tulcan, Radu Florin}
}

@InProceedings{pmlr-v258-toth25a,
  title = 	 {Effective Bayesian Causal Inference via Structural Marginalisation and Autoregressive Orders},
  author =       {Toth, Christian and Knoll, Christian and Pernkopf, Franz and Peharz, Robert},
  booktitle = 	 {Proceedings of The 28th International Conference on Artificial Intelligence and Statistics},
  pages = 	 {4240--4248},
  year = 	 {2025},
  editor = 	 {Li, Yingzhen and Mandt, Stephan and Agrawal, Shipra and Khan, Emtiyaz},
  volume = 	 {258},
  series = 	 {Proceedings of Machine Learning Research},
  month = 	 {03--05 May},
  publisher =    {PMLR},
  pdf = 	 {https://raw.githubusercontent.com/mlresearch/v258/main/assets/toth25a/toth25a.pdf},
  url = 	 {https://proceedings.mlr.press/v258/toth25a.html},
  abstract = 	 {The traditional two-stage approach to causal inference first identifies a \emph{single} causal model (or equivalence class of models), which is then used to answer causal queries. However, this neglects any epistemic model uncertainty. In contrast, \emph{Bayesian} causal inference does incorporate epistemic uncertainty into query estimates via Bayesian marginalisation (posterior averaging) over \emph{all} causal models. While principled, this marginalisation over entire causal models, i.e., both causal structures (graphs) and mechanisms, poses a tremendous computational challenge. In this work, we address this challenge by decomposing structure marginalisation into the marginalisation over (i) causal orders and (ii) directed acyclic graphs (DAGs) given an order. We can marginalise the latter in closed form by limiting the number of parents per variable and utilising Gaussian Processes to model mechanisms. To marginalise over orders, we use a sampling-based approximation, for which we devise a novel auto-regressive distribution over causal orders (ARCO). Our method outperforms state-of-the-art in structure learning on simulated non-linear additive noise benchmarks, and yields competitive results on real-world data. Furthermore, we can accurately infer interventional distributions and average causal effects.}
}

@article{lex2025hybrid,
  title={Hybrid AI for Human-Centric Personalization (HyPer)},
  author={Lex, Elisabeth and Innerebner, Kevin and Tkalcic, Marko and Kowald, Dominik and Schedl, Markus},
  year={2025}
}

@article{llugiqi2025semantic,
  title={Semantic-Based Data Augmentation for Machine Learning Prediction Enhancement},
  author={Llugiqi, Majlinda and Ekaputra, Fajar J and Sabou, Marta},
  journal={Neurosymbolic Artificial Intelligence},
  volume={1},
  pages={29498732251340160},
  year={2025},
  publisher={SAGE Publications Sage UK: London, England}
}

@inproceedings{pernisch2025massive,
  title={The Massive Problem of Remote Changes in Ontology Reuse},
  author={Pernisch, Romana and Dobriy, Daniil and Polleres, Axel},
  booktitle={Companion Proceedings of the ACM on Web Conference 2025},
  pages={1254--1258},
  year={2025}
}

@inproceedings{decker2025equivariant,
  title={Equivariant Bootstrap for Uncertainty Quantification in Image Classification},
  author={Decker, Andreas and Effland, Alexander and Kobler, Erich},
  booktitle={International Conference on Scale Space and Variational Methods in Computer Vision},
  pages={214--226},
  year={2025},
  organization={Springer}
}

@inproceedings{plank2025solution,
  title={Solution Counts of Some Prominent Quantified Boolean Formulas Families},
  author={Plank, Andreas and Seidl, Martina and Kauers, Manuel},
  booktitle={Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing},
  pages={1035--1042},
  year={2025}
}

@inproceedings{simader2025ferat,
  title={FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas},
  author={Simader, Marcel and Rebola-Pardo, Adrian and Seidl, Martina},
  booktitle={Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing},
  pages={1043--1050},
  year={2025}
}

@misc{presutti2025opportunities,
  title={Opportunities for Knowledge Graphs in the AI landscape-An application-centric perspective},
  author={Presutti, Valentina and Motta, Enrico and Sabou, Marta},
  journal={Journal of Web Semantics},
  pages={100867},
  year={2025},
  publisher={Elsevier}
}

@inproceedings{chatterjee2025value,
  title={Value Iteration with Guessing for Markov Chains and Markov Decision Processes},
  author={Chatterjee, Krishnendu and JafariRaviz, Mahdi and Saona, Raimundo and Svoboda, Jakub},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={217--236},
  year={2025},
  organization={Springer}
}

@inproceedings{chatterjee2025refuting,
  title={Refuting Equivalence in Probabilistic Programs with Conditioning},
  author={Chatterjee, Krishnendu and Kafshdar Goharshady, Ehsan and Novotn{\`y}, Petr and {\v{Z}}ikeli{\'c}, {\DJ}or{\dj}e},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={279--300},
  year={2025},
  organization={Springer}
}

@article{ekaputra2025pattern,
  title={Pattern-based engineering of Neurosymbolic AI Systems},
  author={Ekaputra, Fajar J},
  journal={Journal of Web Semantics},
  volume={85},
  pages={100855},
  year={2025},
  publisher={Elsevier}
}

@article{tsanevaknowledge,
  title={Knowledge Engineering with Large Language Models: A Capability Assessment in Ontology Evaluation},
  author={Tsaneva, Stefani and Herwanto, Guntur Budi and Llugiqi, Majlinda and Sabou, Marta}
}

@article{schimunek2025mhnfs,
  title={MHNfs: Prompting In-Context Bioactivity Predictions for Low-Data Drug Discovery},
  author={Schimunek, Johannes and Luukkonen, Sohvi and Klambauer, Günter},
  journal={Journal of Chemical Information and Modeling},
  year={2025},
  publisher={ACS Publications}
}

@inproceedings{hausberger2025exim,
  title={ExIM: Exploring Intent of Music Listening for Retrieving User-generated Playlists},
  author={Hausberger, Anna and Strauss, Hannah and Schedl, Markus},
  booktitle={Proceedings of the 2025 ACM SIGIR Conference on Human Information Interaction and Retrieval},
  pages={348--357},
  year={2025}
}

@article{chatterjee2025liquid,
  title={When is liquid democracy possible? On the manipulation of variance.},
  author={Chatterjee, Krishnendu and Gilbert, Seth and Schmid, Stefan and Svoboda, Jakub and Yeo, Michelle},
  journal={Cryptology ePrint Archive},
  year={2025}
}

@inproceedings{ahmetaj2025common,
  title={Common Foundations for SHACL, ShEx, and PG-Schema},
  author={Ahmetaj, Shqiponja and Boneva, Iovka and Hidders, Jan and Hose, Katja and Jakubowski, Maxime and Labra Gayo, Jose Emilio and Martens, Wim and Mogavero, Fabio and Murlak, Filip and Okulmus, Cem and others},
  booktitle={Proceedings of the ACM on Web Conference 2025},
  pages={8--21},
  year={2025}
}

@inproceedings{koroglu2025towards,
  title={Towards Improving Automated Testing with GraphWalker},
  author={Koroglu, Yavuz and Beyaz{\i}t, Mutlu and Kilincceker, Onur and Demeyer, Serge and Wotawa, Franz},
  booktitle={2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
  pages={54--58},
  year={2025},
  organization={IEEE}
}

@article{
doi:10.1073/pnas.2423072122,
author = {Simone Bombari  and Marco Mondelli },
title = {Privacy for free in the overparameterized regime},
journal = {Proceedings of the National Academy of Sciences},
volume = {122},
number = {15},
pages = {e2423072122},
year = {2025},
doi = {10.1073/pnas.2423072122},
URL = {https://www.pnas.org/doi/abs/10.1073/pnas.2423072122},
eprint = {https://www.pnas.org/doi/pdf/10.1073/pnas.2423072122},
abstract = {In many deep learning applications, training datasets routinely include personal, sensitive information. Learning from these data is possible without creating privacy infringement via methods guaranteeing differential privacy, designed to provide provable protection to any individual user. However, differential privacy comes with a performance cost, and the cost is often believed to grow with the number of parameters of the learning model. Our work challenges this view, showing that overparameterization is not at odds with privacy. In fact, we prove that, for a class of overparameterized models having access to enough training samples, privacy even comes for free, i.e., with a small loss in performance. This result provides theoretical support to the development of differentially private models at scale. Differentially private gradient descent (DP-GD) is a popular algorithm to train deep learning models with provable guarantees on the privacy of the training data. In the last decade, the problem of understanding its performance cost with respect to standard GD has received remarkable attention from the research community, which has led to upper bounds on the excess population risk RP in different learning settings. However, such bounds typically degrade with overparameterization, i.e., as the number of parameters p gets larger than the number of training samples n—a regime which is ubiquitous in current deep-learning practice. As a result, the lack of theoretical insights leaves practitioners without clear guidance, leading some to reduce the effective number of trainable parameters to improve performance, while others use larger models to achieve better results through scale. In this work, we show that in the popular random features model with quadratic loss, for any sufficiently large p, privacy can be obtained for free, i.e., RP=o(1), not only when the privacy parameter ε has constant order but also in the strongly private setting ε=o(1). This challenges the common wisdom that overparameterization inherently hinders performance in private learning.}}
}

@inproceedings{adam2025asp,
  title={ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning},
  author={Adam, Sebastian and Eiter, Thomas},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={14},
  pages={14772--14780},
  year={2025}
}

@inproceedings{janota2025breaking,
  title={Breaking symmetries in quantified graph search: A comparative study},
  author={Janota, Mikol{\'a}{\v{s}} and Kirchweger, Markus and Peitl, Tom{\'a}{\v{s}} and Szeider, Stefan},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={11},
  pages={11246--11254},
  year={2025}
}

@inproceedings{ganian2025parameterized,
  title={Parameterized Complexity of Caching in Networks},
  author={Ganian, Robert and Mc Inerney, Fionn and Tsigkari, Dimitra},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={11},
  pages={11229--11237},
  year={2025}
}

@inproceedings{chatterjee2025quantified,
  title={Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization},
  author={Chatterjee, Krishnendu and Goharshady, Ehsan Kafshdar and Karrabi, Mehrdad and Motwani, Harshit J and Seeliger, Maximilian and {\v{Z}}ikeli{\'c}, {\DJ}or{\dj}e},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={11},
  pages={11158--11166},
  year={2025}
}

@inproceedings{deligkas2025complexity,
  title={The Complexity of Extending Fair Allocations of Indivisible Goods},
  author={Deligkas, Argyrios and Eiben, Eduard and Ganian, Robert and Goldsmith, Tiger-Lily and Ioannidis, Stavros D},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={13},
  pages={13745--13753},
  year={2025}
}

@inproceedings{chatterjee2025linear,
  title={Linear Equations with Min and Max Operators: Computational Complexity},
  author={Chatterjee, Krishnendu and Luo, Ruichen and Saona, Raimundo and Svoboda, Jakub},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={11},
  pages={11150--11157},
  year={2025}
}

@article{bellomarini2025temporal,
  title={The Temporal Vadalog System: Temporal Datalog-Based Reasoning},
  author={Bellomarini, Luigi and Blasi, Livia and Nissl, Markus and Sallinger, Emanuel},
  journal={Theory and Practice of Logic Programming},
  volume={25},
  number={2},
  pages={168--196},
  year={2025},
  publisher={Cambridge University Press}
}

@inproceedings{avarikioti2024route,
  title={Route discovery in private payment channel networks},
  author={Avarikioti, Zeta and Bastankhah, Mahsa and Maddah-Ali, Mohammad Ali and Pietrzak, Krzysztof and Svoboda, Jakub and Yeo, Michelle},
  booktitle={European Symposium on Research in Computer Security},
  pages={207--223},
  year={2024},
  organization={Springer}
}

@inproceedings{aichberger2025attacking,
  title={Attacking multimodal os agents with malicious image patches},
  author={Aichberger, Lukas and Paren, Alasdair and Torr, Philip and Gal, Yarin and Bibi, Adel},
  booktitle={ICLR 2025 Workshop on Foundation Models in the Wild},
  year={2025}
}

@inproceedings{schmidinger2025bio,
  title={Bio-xLSTM: Generative modeling, representation and in-context learning of biological and chemical sequences},
  author={Schmidinger, Niklas and Schneckenreiter, Lisa and Seidl, Philipp and Schimunek, Johannes and Hoedt, Pieter-Jan and Brandstetter, Johannes and Mayr, Andreas and Luukkonen, Sohvi and Hochreiter, Sepp and Klambauer, G{\"u}nter},
  booktitle={International Conference on Learning Representations},
  volume={2025},
  pages={38870--38911},
  year={2025}
}

@incollection{baldazzi2025knowledge,
  title={Knowledge Graph-Based Reasoning in Large Language Models},
  author={Baldazzi, Teodoro and Bellomarini, Luigi and Sallinger, Emanuel},
  booktitle={Handbook on Neurosymbolic AI and Knowledge Graphs},
  pages={441--465},
  year={2025},
  publisher={IOS Press}
}

@article{schweiger2025impact,
  title={The impact of playlist characteristics on coherence in user-curated music playlists},
  author={Schweiger, Harald and Parada-Cabaleiro, Emilia and Schedl, Markus},
  journal={EPJ Data Science},
  volume={14},
  number={1},
  pages={24},
  year={2025},
  publisher={Springer Berlin Heidelberg}
}

@inproceedings{ielanskyiaddressing,
  title={Addressing Pitfalls in the Evaluation of Uncertainty Estimation Methods for Natural Language Generation},
  author={Ielanskyi, Mykyta and Schweighofer, Kajetan and Aichberger, Lukas and Hochreiter, Sepp},
  booktitle={ICLR Workshop: Quantify Uncertainty and Hallucination in Foundation Models: The Next Frontier in Reliable AI}
}

@article{bergougnoux2023space,
  title={Space-efficient parameterized algorithms on graphs of low shrubdepth},
  author={Bergougnoux, Benjamin and Chekan, Vera and Ganian, Robert and Kant{\'e}, Mamadou Moustapha and Mnich, Matthias and Oum, Sang-il and Pilipczuk, Micha{\l} and van Leeuwen, Erik Jan},
  journal={ACM Transactions on Computation Theory},
  year={2023},
  publisher={ACM New York, NY}
}

@article{waltersdorfer2025leveraging,
  title={Leveraging Knowledge Graphs for AI System Auditing and Transparency},
  author={Waltersdorfer, Laura and Sabou, Marta},
  journal={Journal of Web Semantics},
  volume={84},
  pages={100849},
  year={2025},
  publisher={Elsevier}
}

@inproceedings{schmolliadversarially,
  title={Adversarially Robust Spiking Neural Networks with Sparse Connectivity},
  author={Schmolli, Mathias and Baronig, Maximilian and Legenstein, Robert and Ozdenizci, Ozan},
  booktitle={The Second Conference on Parsimony and Learning (Proceedings Track)}
}

@inproceedings{poppel2025flashrnn,
  title={FlashRNN: I/O-aware optimization of traditional RNNs on modern hardware},
  author={P{\"o}ppel, Korbinian and Beck, Maximilian and Hochreiter, Sepp},
  booktitle={The Thirteenth International Conference on Learning Representations},
  year={2025}
}

@inproceedings{aichberger2025improving,
  title={Improving uncertainty estimation through semantically diverse language generation},
  author={Aichberger, Lukas and Schweighofer, Kajetan and Ielanskyi, Mykyta and Hochreiter, Sepp},
  booktitle={The Thirteenth International Conference on Learning Representations},
  year={2025}
}

@inproceedings{ozdenizciprivacy,
  title={Privacy-Aware Lifelong Learning},
  author={Ozdenizci, Ozan and Rueckert, Elmar and Legenstein, Robert},
  booktitle={The Thirteenth International Conference on Learning Representations}
}

@inproceedings{ganiantraining,
  title={Training One-Dimensional Graph Neural Networks is NP-Hard},
  author={Ganian, Robert and Rocton, Mathis and Wietheger, Simon},
  booktitle={The Thirteenth International Conference on Learning Representations}
}

@article{wu2025simple,
  title={A simple model for Behavioral Time Scale Synaptic Plasticity (BTSP) provides content addressable memory with binary synapses and one-shot learning},
  author={Wu, Yujie and Maass, Wolfgang},
  journal={Nature communications},
  volume={16},
  number={1},
  pages={342},
  year={2025},
  publisher={Nature Publishing Group UK London}
}

@article{herwanto2025ontology,
  title={Ontology Corpora for LLM-based Knowledge Engineering Research},
  author={Herwanto, Guntur Budi and Tsaneva, Stefani and Sabou, Marta},
  year={2025}
}