2026

@article{manriquereasoning,
  title={Reasoning about Constraint Formulations in Lean},
  author={Manrique, Pablo and Szeider, Stefan}
}

@inproceedings{hofstadler2026avoiding,
  title={Avoiding Big Integers: Parallel Multimodular Algebraic Verification},
  author={Hofstadler, Clemens and Kaufmann, Daniela and Chen, Chen},
  booktitle={Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26--29, 2026, Proceedings, Part I},
  pages={175},
  year={2026},
  organization={Springer Nature}
}

@article{lackner2026free,
  title={Free-riding in multi-issue decisions},
  author={Lackner, Martin and Maly, Jan and Nardi, Oliviero},
  journal={Journal of Artificial Intelligence Research},
  volume={86},
  year={2026}
}

@article{leemhuis2026trustworthy,
  title={Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics},
  author={Leemhuis, Mena and Kutz, Oliver},
  journal={Neurosymbolic Artificial Intelligence},
  volume={2},
  pages={29498732261469486},
  year={2026},
  publisher={SAGE Publications Sage UK: London, England}
}

@inproceedings{van2026proof,
  title={Proof-search for normative and doxastic reasoning and its use in logical argumentation},
  author={van Berkel, Kees and Sabatini, Andrea},
  booktitle={Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning},
  volume={23},
  number={1},
  pages={633--643},
  year={2026}
}

@inproceedings{cheng2026circuitsynth,
  title={CircuitSynth: Reliable Synthetic Data Generation},
  author={Cheng, Zehua and Dai, Wei and Sun, Jiahao and Lukasiewicz, Thomas},
  booktitle={Findings of the Association for Computational Linguistics: ACL 2026},
  pages={35542--35552},
  year={2026}
}

@inproceedings{cheng2026graphsynth,
  title={GraphSynth: Resolving the Diversity-Reliability Trade-off with Probabilistic Factor Graphs},
  author={Cheng, Zehua and Dai, Wei and Sun, Jiahao and Lukasiewicz, Thomas},
  booktitle={Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)},
  pages={42527--42543},
  year={2026}
}

@inproceedings{elchafei2026h,
  title={H-RAG at SemEval-2026 Task 8: Hierarchical Parent--Child Retrieval for Multi-Turn RAG Conversations},
  author={Elchafei, Passant and Emam, Hossam and Alansary, Mohamed and Swain, Monorama and Schedl, Markus},
  booktitle={Proceedings of the 20th International Workshop on Semantic Evaluation (2026)},
  pages={1136--1143},
  year={2026}
}

@article{gortworst2026reaching,
  title={Reaching for the stars in ℰℒ concept learning},
  author={Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin},
  year={2026}
}

@article{federico2026introducing,
  title={Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings},
  author={Federico, Giuseppe and Leemhuis, Mena and Kutz, Oliver},
  year={2026}
}

@inproceedings{kirchweger2026formally,
  title={Formally Verified Graph Generation with SAT Modulo Symmetries and Lean},
  author={Kirchweger, Markus and Manrique, Pablo and Szeider, Stefan},
  booktitle={International Joint Conference on Automated Reasoning},
  pages={117--135},
  year={2026},
  organization={Springer}
}

@inproceedings{kattermann2026definition,
  title={Definition-Based Dependency Schemes},
  author={Kattermann, David and Hofstadler, Clemens and Seidl, Martina},
  booktitle={29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)},
  pages={22--1},
  year={2026},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{danzinger2026llm,
  title={From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc},
  author={Danzinger, Philipp and Musliu, Nysret},
  booktitle={32nd International Conference on Principles and Practice of Constraint Programming (CP 2026)},
  pages={17--1},
  year={2026},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{szeider2026vipr,
  title={VIPR Certificate Construction from Black-Box ILP Solvers},
  author={Szeider, Stefan},
  booktitle={32nd International Conference on Principles and Practice of Constraint Programming (CP 2026)},
  pages={52--1},
  year={2026},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@inproceedings{szeider2026cp,
  title={Cp-agent: Agentic constraint programming},
  author={Szeider, Stefan},
  booktitle={Proceedings of the 3rd International Workshop on Large Language Models For Code},
  pages={6--13},
  year={2026}
}

@inproceedings{grantner2026linear,
  title={Linear-Time and Constant-Memory Text Embeddings Based on Recurrent Language Models},
  author={Grantner, Tobias and Sallinger, Emanuel and Flechl, Martin},
  booktitle={Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)},
  pages={41459--41481},
  year={2026}
}

@inproceedings{井上克巳2026自動運転における論理制約付き物体検出のための,
  title={自動運転における論理制約付き物体検出のための t-ノルム選択},
  author={井上克巳 and 森山総太},
  booktitle={人工知能学会全国大会論文集 第 40 回 (2026)},
  pages={3E2GS2g04--3E2GS2g04},
  year={2026},
  organization={一般社団法人 人工知能学会}
}

@inproceedings{ganian2026makespan,
  title={Makespan minimization in split learning: From theory to practice},
  author={Ganian, Robert and Mc Inerney, Fionn and Tsigkari, Dimitra},
  booktitle={IEEE INFOCOM 2026-IEEE Conference on Computer Communications},
  pages={1--10},
  year={2026},
  organization={IEEE}
}

@inproceedings{lasyrouterinterp,
  title={RouterInterp: Understanding Superposed Specialisation in Mixture of Experts Routing},
  author={Lasy, Ilya and Cai, Nora Yinuo and Ayonrinde, Kola},
  booktitle={Forty-third International Conference on Machine Learning}
}

@inproceedings{szeidermaxsat,
  title={MaxSAT-Based Compression for Tsetlin Machines},
  author={Szeider, Stefan},
  booktitle={Forty-third International Conference on Machine Learning}
}

@inproceedings{prangerefficient,
  title={Efficient and Safe Molecular Assembly via Reinforcement Learning and Constraint Solving},
  author={Pranger, Stefan and Ramsauer, Bernhard and Hofmann, Oliver T and K{\"o}nighofer, Bettina},
  booktitle={Forty-third International Conference on Machine Learning}
}

@inproceedings{bachmann2026ai,
  title={AI of the People, by the People, for the People: A Social Choice Approach to Collective Control of Artificial Intelligence},
  author={Bachmann, Paul Anton and Boehmer, Niclas and Klausner, Lukas Daniel and Lackner, Martin},
  booktitle={The 2026 ACM Conference on Fairness, Accountability, and Transparency},
  pages={4610--4629},
  year={2026}
}

@article{ortiz2026motiondps,
  title={MotionDPS: Motion-Compensated 3D Brain MRI Reconstruction},
  author={Ortiz-Gonzalez, Antonio and Kobler, Erich and Schletter, Lukas and Effland, Alexander},
  journal={IEEE Transactions on Medical Imaging},
  year={2026},
  publisher={IEEE}
}

@article{eiben2026parameterized,
  title={The parameterized complexity of coordinated motion planning},
  author={Eiben, Eduard and Ganian, Robert and Kanj, Iyad},
  journal={Discrete \& Computational Geometry},
  pages={1--55},
  year={2026},
  publisher={Springer}
}

@inproceedings{maussner2027knowledge,
  title={Knowledge-Enhanced Transfer Learning for Water Demand Prediction},
  author={Maussner, Claudia and Teppan, Erich},
  booktitle={International Conference on Computers and Their Applications},
  pages={471--486},
  year={2027},
  organization={Springer}
}

@inproceedings{faber2026logic,
  title={Logic-based Languages For Solving Reversibility in Planning},
  author={Faber, Wolfgang and Morak, Michael},
  booktitle={Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing},
  pages={962--969},
  year={2026}
}

@article{chatterjee2026superdp,
  title={SuperDP: Differential Privacy Refutation via Supermartingales},
  author={Chatterjee, Krishnendu and Kafshdar Goharshady, Ehsan and {\v{Z}}ikeli{\'c}, {\DJ}or{\dj}e},
  journal={Proceedings of the ACM on Programming Languages},
  volume={10},
  number={PLDI},
  pages={1228--1252},
  year={2026},
  publisher={ACM New York, NY, USA}
}

@inproceedings{mullner2026meta,
  title={Meta-Learning and Targeted Differential Privacy to Improve the Accuracy-Privacy Trade-off in Recommendations},
  author={M{\"u}llner, Peter and Kowald, Dominik and Schedl, Markus and Lex, Elisabeth},
  booktitle={Proceedings of the 34th ACM Conference on User Modeling, Adaptation and Personalization},
  pages={517--520},
  year={2026}
}

@article{10.1145/3779651,
author = {Peyrer, Mark and Heisinger, Maximilian and Seidl, Martina},
title = {PyQBF: A Python Framework for Solving Quantified Boolean Formulas},
year = {2026},
issue_date = {June 2026},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {38},
number = {2},
issn = {0934-5043},
url = {https://doi.org/10.1145/3779651},
doi = {10.1145/3779651},
abstract = {Over the last years many solvers for quantified Boolean formulas (QBFs) have been developed. While most of these solvers support QDIMACS as a standard input format, exchanging a QBF solver within a reasoning framework is often a challenging task. Many solvers do not provide an API but they can only be used via their executable. Further, incremental solving is only supported to a limited extent. We present PyQBF, a Python-based framework that provides a uniform programmatic interface to state-of-the-art QBF solvers. In this article, we introduce the general architecture of PyQBF, describe the supported features and give a detailed example that illustrates how our framework can be used to implement an enumerative QBF solution counter as well as to solve a bounded model checking problem using a non-CNF representation. Our extensive experimental evaluation shows the efficiency of PyQBF. The experiments indicate that there is only little overhead compared with direct usage of the solvers.},
journal = {Form. Asp. Comput.},
month = jun,
articleno = {15},
numpages = {12},
keywords = {Quantified boolean formulas, incremental solving, uniform API}
}

@article{berkel2026formal,
  title={A Formal Study of Ought Implies Can and Other Metaethical Principles},
  author={Berkel, Kees van},
  journal={Journal of Philosophical Logic},
  pages={1--50},
  year={2026},
  publisher={Springer}
}

@inproceedings{mugdan2026explainability,
  title={Explainability Results for the Rotating Workforce Scheduling Problem},
  author={Mugdan, Esther and Kletzander, Lucas and Musliu, Nysret},
  booktitle={International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research},
  pages={331--349},
  year={2026},
  organization={Springer}
}

@inproceedings{breiteneder2026robust,
  title={Robust Harmful Meme Detection under Missing Modalities via Shared Representation Learning},
  author={Breiteneder, Felix and Belal, Mohammad and Saeed, Muhammad Saad and Masoudian, Shahed and Naseem, Usman and Juhi, Kulshrestha and Schedl, Markus and Nawaz, Shah},
  booktitle={Companion Proceedings of the ACM Web Conference 2026},
  pages={273--278},
  year={2026}
}

@article{moscati2026networked,
  title={Networked Tastes: Homophily for Music Recommendation},
  author={Moscati, Marta and Xu, Xinwei and Schedl, Markus},
  year={2026}
}

@inproceedings{szeider2026contreact,
  title={ContReAct: A Feedback-Based Architecture for Continuous Agentic Operation},
  author={Szeider, Stefan},
  booktitle={Proceedings of the 2026 International Workshop on Agentic Engineering},
  pages={56--62},
  year={2026}
}

@inproceedings{ganiantractability,
  title={Tractability via Low Dimensionality: The Parameterized Complexity of Training Quantized Neural Networks},
  author={Ganian, Robert and Sommer, Frank and Sorge, Manuel},
  booktitle={The Fourteenth International Conference on Learning Representations}
}

@inproceedings{von2026bdd,
  title={BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper)},
  author={von Berg, Benjamin and Aichernig, Bernhard K and Wedenik, Fabian},
  booktitle={International Symposium on Formal Methods},
  pages={298--316},
  year={2026},
  organization={Springer}
}

@inproceedings{wallner2026active,
  title={Active Automata Learning with Noisy Data: From Big to Small Data},
  author={Wallner, Felix and Aichernig, Bernhard K and Berg, Benjamin von and Rindler, Maximilian},
  booktitle={International Symposium on Formal Methods},
  pages={326--346},
  year={2026},
  organization={Springer}
}

@inproceedings{szeider2026asp,
  title={ASP-Bench: From Natural Language to Logic Programs},
  author={Szeider, Stefan},
  booktitle={Proceedings of the 2026 IEEE/ACM 2nd International Workshop on Neuro-Symbolic Software Engineering},
  pages={1--8},
  year={2026}
}

@inproceedings{mailly2026computational,
  title={Computational Complexity in Timed Argumentation Frameworks},
  author={Mailly, Jean-Guy and Maris, Fr{\'e}d{\'e}ric and Wallner, Johannes Peter},
  booktitle={23rd International Conference on Principles of Knowledge Representation and Reasoning},
  year={2026}
}

@article{groth2026explanation,
  title={Explanation as Evaluation: Using explanation quality to measure AI system performance},
  author={Groth, Paul and Cochez, Michael and Dumontier, Michel and Ekaputra, Fajar J and Palmirani, Monica},
  year={2026}
}

@article{polleres2026data,
  title={From Data Spaces to Agent Spaces},
  author={Polleres, Axel and Rincon-Yanez, Diego and Anjomshoaa, Amin and Dobriy, Daniel and Sallinger, Emanuel},
  year={2026}
}

@inproceedings{ekelhart2026agento,
  title={AgentO: An Ontology for Modeling Agentic AI Systems},
  author={Ekelhart, Andreas and Kurniawan, Kabul and Ekaputra, Fajar J and Kiesling, Elmar},
  booktitle={European Semantic Web Conference},
  pages={298--320},
  year={2026},
  organization={Springer}
}

@inproceedings{vazquez2026structure,
  title={Structure is the Signal: Graph Encodings and GNNs for Constraint Repair in Collaborative KGs},
  author={V{\'a}zquez, Miguel and Innerebner, Kevin and Prock, Alexander and Klambauer, G{\"u}nter and Lex, Elisabeth and Schimunek, Johannes and Polleres, Axel},
  booktitle={European Semantic Web Conference},
  pages={278--296},
  year={2026},
  organization={Springer}
}

@article{holzleitner2025controlled,
  title={Controlled Personalization in Legacy Media Online Services: A Case Study in News Recommendation},
  author={Holzleitner, Marlene and Leitner, Stephan and Lind Jorgensen, Hanna and Schmitz, Christoph and Welander, Jacob and Jannach, Dietmar},
  journal={ACM Transactions on Recommender Systems},
  year={2025},
  publisher={ACM New York, NY}
}

@inproceedings{ielanskyi2026recroll,
  title={RecRoll: Adaptive Depth First Search in Autoregressive Predictive Space},
  author={Ielanskyi, Mykyta and Hochreiter, Sepp},
  booktitle={ICLR 2026 Workshop on Logical Reasoning of Large Language Models}
}

@article{polleres2026historic,
  title={On the Historic Roots of Agentic AI in Semantic Web Services},
  author={Polleres, Axel and Bauer, Frederik and Dobriy, Daniil and K{\"a}fer, Tobias and Kubelka, Lukas and Harth, Andreas and Wehr, Thomas},
  year={2026}
}

@inproceedings{aichberger2026rethinking,
  title={Rethinking uncertainty estimation in LLMs: A principled single-sequence measure},
  author={Aichberger, Lukas and Schweighofer, Kajetan and Hochreiter, Sepp},
  booktitle={International Conference on Learning Representations},
  volume={2026},
  pages={115999--116023},
  year={2026}
}

@inproceedings{skaisgiris2026natural,
  title={From Natural Language to Exact Cover: A Neuro-Symbolic Approach to Zebra Puzzles},
  author={Skaisgiris, Paulius and Pammer, Thomas and Semmelrock, Veronika and Ielanskyi, Mykyta and Heisinger, Maximilian and Kobler, Erich},
  booktitle={ICLR 2026 Workshop on Logical Reasoning of Large Language Models}
}

@article{bilal2026modeling,
  title={Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUML},
  author={Bilal, Mohammad and Ehrenm{\"u}ller, Katrin and Steindl, Gernot and Zheng, Zhuoxun and Ahmetaj, Shqiponja and Soylu, Ahmet and Sallinger, Emanuel and Kastner, Wolfgang},
  journal={IEEE Access},
  year={2026},
  publisher={IEEE}
}

@inproceedings{furst2026wind,
  title={WIND: Weather Inverse Diffusion for Zero-Shot Atmospheric Modeling},
  author={F{\"u}rst, Andreas and Aich, Michael and Sestak, Florian and Ruiz-Gonzalez, Carlos and Boers, Niklas and Brandstetter, Johannes},
  booktitle={ICLR 2026 Workshop on Foundation Models for Science: Real-World Impact and Science-First Design}
}

@article{paischer2026gyroswin,
  title={GyroSwin: 5D surrogates for gyrokinetic plasma turbulence simulations},
  author={Paischer, Fabian and Galletti, Gianluca and Hornsby, William and Setinek, Paul and Zanisi, Lorenzo and Carey, Naomi and Pamela, Stanislas and Brandstetter, Johannes},
  journal={Advances in Neural Information Processing Systems},
  volume={38},
  pages={49227--49254},
  year={2026}
}

@article{cyffers2026setting,
  title={Setting $$\backslash$varepsilon $ is not the Issue in Differential Privacy},
  author={Cyffers, Edwige},
  journal={Advances in Neural Information Processing Systems},
  volume={38},
  year={2026}
}

@article{paischer2026parameter,
  title={Parameter efficient fine-tuning via explained variance adaptation},
  author={Paischer, Fabian and Hauzenberger, Lukas and Schmied, Thomas and Alkin, Benedikt and Deisenroth, Marc and Hochreiter, Sepp},
  journal={Advances in Neural Information Processing Systems},
  volume={38},
  pages={46215--46267},
  year={2026}
}

@inproceedings{rebola2025short,
  title={Short proofs without interference},
  author={Rebola-Pardo, Adrian},
  booktitle={2025 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)},
  pages={79--88},
  year={2025},
  organization={IEEE}
}

@inproceedings{aichberger2025mip,
title={{MIP} against Agent: Malicious Image Patches Hijacking Multimodal {OS} Agents},
author={Lukas Aichberger and Alasdair Paren and Guohao Li and Philip Torr and Yarin Gal and Adel Bibi},
booktitle={The Thirty-ninth Annual Conference on Neural Information Processing Systems},
year={2025},
url={https://openreview.net/forum?id=ToNRHqX6xq}
}

@inproceedings{rieder2025explainably,
  title={Explainably Safe Reinforcement Learning},
  author={Rieder, Sabine and Pranger, Stefan and Chakraborty, Debraj and Kretinsky, Jan and K{\"o}nighofer, Bettina},
  booktitle={The Thirty-ninth Annual Conference on Neural Information Processing Systems}
}

@inproceedings{moscati2026linking,
  title={Linking faces and voices across languages: Insights from the fame 2026 challenge},
  author={Moscati, Marta and Abdullah, Ahmed and Saeed, Muhammad Saad and Nawaz, Shah and Das, Rohan Kumar and Zaheer, Muhammad Zaigham and Mir, Junaid and Yousaf, Muhammad Haroon and Malik, Khalid Mahmood and Schedl, Markus},
  booktitle={ICASSP 2026-2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
  pages={21793--21795},
  year={2026},
  organization={IEEE}
}

@article{kletzander2026integrating,
  title={Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints},
  author={Kletzander, Lucas and Mazzoli, Tommaso Mannelli and Musliu, Nysret and Van Hentenryck, Pascal},
  journal={Journal of Artificial Intelligence Research},
  volume={85},
  year={2026}
}

@article{svoboda2026effect,
  title={The effect of the fitness gradient on fixation probability},
  author={Svoboda, Jakub and Nemati, Hossein and Tkadlec, Josef and Kaveh, Kamran and Chatterjee, Krishnendu},
  journal={Nature Communications},
  year={2026},
  publisher={Nature Publishing Group UK London}
}

@inproceedings{pfeiffer2026qsole,
  title={QSOLE: Automatic QBF Equivalence Checking},
  author={Pfeiffer, Peter and Peyrer, Mark and Gro{\ss}e, Daniel and Seidl, Martina},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={324--332},
  year={2026},
  organization={Springer}
}

@inproceedings{damie2026fedivertex,
  title={Fedivertex: a Graph Dataset based on Decentralized Social Media},
  author={Damie, Marc and Cyffers, Edwige},
  booktitle={Proceedings of the ACM Web Conference 2026},
  pages={8393--8396},
  year={2026}
}

@inproceedings{gruberminimax,
  title={Minimax-Optimal Aggregation for Density Ratio Estimation},
  author={Gruber, Lukas and Holzleitner, Markus and Hochreiter, Sepp and Zellinger, Werner},
  booktitle={The Fourteenth International Conference on Learning Representations}
}

@inproceedings{zimmeltest,
  title={Test-Time Adaptation of High-Dimensional Simulation Surrogates via D-Optimal Statistics},
  author={Zimmel, Anna and Setinek, Paul and Galletti, Gianluca and Brandstetter, Johannes and Zellinger, Werner},
  booktitle={Third Workshop on Test-Time Updates (Main Track)}
}

@article{moscati2026poly,
  title={POLY-SIM: Polyglot Speaker Identification with Missing Modality Grand Challenge 2026 Evaluation Plan},
  author={Moscati, Marta and Saeed, Muhammad Saad and Zanoni, Marina and Noman, Mubashir and Das, Rohan Kumar and Swain, Monorama and Hou, Yufang and Andre, Elisabeth and Malik, Khalid Mahmood and Schedl, Markus and others},
  year={2026}
}

@inproceedings{kumar2026far,
  title={How Far Can Pretrained LLMs Go in Symbolic Music? Controlled Comparisons of Supervised and Preference-based Adaptation},
  author={Kumar, Deepak and Karystinaios, Emmanouil and Widmer, Gerhard and Schedl, Markus},
  booktitle={Proceedings of the 4th Workshop on NLP for Music and Audio (NLP4MusA 2026)},
  pages={27--32},
  year={2026}
}

@inproceedings{hausberger2026read,
  title={Read Between the Tracks: Exploring LLM-driven Intent-based Music Recommendations},
  author={Hausberger, Anna and J{\'o}s{\'a}r, Petra and Schedl, Markus},
  booktitle={Proceedings of the 4th Workshop on NLP for Music and Audio (NLP4MusA 2026)},
  pages={44--50},
  year={2026}
}

@article{reiter2026framing,
  title={Framing of health-related narratives in conspiracy versus mainstream media},
  author={Reiter-Haas, Markus and Kl{\"o}sch, Beate and Hadler, Markus and Lex, Elisabeth},
  journal={Behavioral Science \& Policy},
  volume={12},
  number={1},
  pages={1--9},
  year={2026},
  publisher={SAGE Publications Sage CA: Los Angeles, CA}
}

@inproceedings{eckert2026extending,
  title={Extending Logic Tensor Networks to Implicit Feedback for Representation-Aware Music Recommendation},
  author={Eckert, Hannah and Lesota, Oleg and Schedl, Markus},
  booktitle={European Conference on Information Retrieval},
  pages={428--441},
  year={2026},
  organization={Springer}
}

@inproceedings{innerebner2026modeling,
  title={Modeling Behavioral Patterns in News Recommendations Using Fuzzy Neural Networks},
  author={Innerebner, Kevin and Bartl, Stephan and Reiter-Haas, Markus and Lex, Elisabeth},
  booktitle={European Conference on Information Retrieval},
  pages={384--397},
  year={2026},
  organization={Springer Nature Switzerland Cham}
}

@article{collevati2026leveraging,
  title={Leveraging neurosymbolic AI for slice discovery},
  author={Collevati, Michele and Eiter, Thomas and Higuera, Nelson},
  journal={Neurosymbolic Artificial Intelligence},
  volume={2},
  pages={29498732261419315},
  year={2026},
  publisher={SAGE Publications Sage UK: London, England}
}

@inproceedings{tommasel2026reflect,
  title={REFLECT: Tutorial on Reflecting on Bias in LLMs through Human-Centered Perspectives},
  author={Tommasel, Antonela and Schedl, Markus and Hertwig, Ralph},
  booktitle={Companion Proceedings of the 31st International Conference on Intelligent User Interfaces},
  pages={286--288},
  year={2026}
}

@article{mcshane2026digitising,
  title={Digitising Death: Benchmarking Genealogical Data and Recovering Women’s Histories in Early Modern Ireland},
  author={McShane, Bronagh Ann and Rincon-Yanez, Diego and Vanden Borre, Felix and Ohlmeyer, Jane and O’Sullivan, Declan},
  journal={Journal of Open Humanities Data},
  volume={12},
  number={1},
  year={2026}
}

@inproceedings{golz2026city,
  title={City Sampling for Citizens’ Assemblies},
  author={G{\"o}lz, Paul and Maly, Jan and Schmidt-Kraepelin, Ulrike and Utke, Markus and Verpoort, Philipp C},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={40},
  number={20},
  pages={16971--16979},
  year={2026}
}

@inproceedings{anders2026faster,
  title={Faster certified symmetry breaking using orders with auxiliary variables},
  author={Anders, Markus and Bogaerts, Bart and Bog{\o}, Benjamin and Gontier, Arthur and Koops, Wietze and McCreesh, Ciaran and Myreen, Magnus O and Nordstr{\"o}m, Jakob and Oertel, Andy and Rebola-Pardo, Adrian and others},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={40},
  number={17},
  pages={14140--14148},
  year={2026}
}

@inproceedings{asadi2026revealing,
  title={Revealing pomdps: Qualitative and quantitative analysis for parity objectives},
  author={Asadi, Ali and Chatterjee, Krishnendu and Lurie, David and Saona, Raimundo},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={40},
  number={43},
  pages={36146--36154},
  year={2026}
}

@inproceedings{apostolakis2026under,
  title={Under-Approximating Semantics in Clustered Assumption-Based Argumentation},
  author={Apostolakis, Iosif and Wallner, Johannes P},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={40},
  number={23},
  pages={18936--18943},
  year={2026}
}

@inproceedings{kirchweger2026graph,
  title={Graph Choosability via SAT: Beyond the Nullstellensatz},
  author={Kirchweger, Markus and Peitl, Tom{\'a}{\v{s}} and Seka, David and Szeider, Stefan},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={40},
  number={17},
  pages={14269--14277},
  year={2026}
}

@inproceedings{ganian2026matrix,
  title={Matrix editing meets fair clustering: parameterized algorithms and complexity},
  author={Ganian, Robert and Hoang, Hung P and Wietheger, Simon},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={40},
  number={23},
  pages={19108--19116},
  year={2026}
}

@article{schmidt2026llms,
  title={LLMs on the Rise: Neuro-Symbolic AI for Knowledge Graph Construction in Manufacturing (Systematic Literature Review)},
  author={Schmidt, Wilma Johanna and Rincon-Yanez, Diego and Kharlamov, Evgeny and Paschke, Adrian},
  journal={IEEE access},
  year={2026},
  publisher={IEEE}
}

@inproceedings{ganian2026computing,
  title={Computing Twin-Width via Treedepth and Vertex Integrity},
  author={Ganian, Robert and Rocton, Mathis},
  booktitle={43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)},
  pages={42--1},
  year={2026},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}

@article{baronig2025scalable,
  title={A scalable hybrid training approach for recurrent spiking neural networks},
  author={Baronig, Maximilian and Bahariasl, Yeganeh and {\"O}zdenizci, Ozan and Legenstein, Robert},
  journal={Neuromorphic Computing and Engineering}
}

@article{farthofermulti,
  title={Multi-Label Cardinality-Incremental Learning},
  author={Farthofer, Laurenz A and Masana, Marc}
}

@inproceedings{zverev2025aside,
  title={ASIDE: Architectural Separation of Instructions and Data in Language Models},
  author={Zverev, Egor and Kortukov, Evgenii and Panfilov, Alexander and Tabesh, Soroush and Lapuschkin, Sebastian and Samek, Wojciech and Lampert, Christoph H},
  booktitle={ICLR 2025 Workshop on Building Trust in Language Models and Applications}
}

@article{pammer2026matheuristic,
  title={A matheuristic for solving the single row facility layout problem},
  author={Pammer, Thomas and Sinnl, Markus},
  journal={Computers \& Operations Research},
  pages={107397},
  year={2026},
  publisher={Elsevier}
}

@inproceedings{es2026quasi,
  title={A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs},
  author={ES, Ajaykrishnan and Ganian, Robert and Lokshtanov, Daniel and Surianarayanan, Vaishali},
  booktitle={2026 SIAM Symposium on Simplicity in Algorithms (SOSA)},
  pages={65--80},
  year={2026},
  organization={SIAM}
}

@inproceedings{hansel2026embeddings,
  title={Embeddings for Post-training Knowledge},
  author={Hansel, Soma and Kobler, Erich and Effland, Alexander},
  booktitle={Pattern Recognition: 47th DAGM German Conference, DAGM GCPR 2025, Freiburg, Germany, September 23--26, 2025, Proceedings},
  pages={403},
  year={2026},
  organization={Springer Nature}
}

@inproceedings{satriani2025explanatory,
  title={Explanatory Interactive Machine Learning for Bias Mitigation in Visual Gender Classification},
  author={Satriani, Nathanya Queby and Slijep{\v{c}}evi{\'c}, Djordje and Schedl, Markus and Zeppelzauer, Matthias},
  booktitle={2025 International Conference on Content-Based Multimedia Indexing (CBMI)},
  pages={1--8},
  year={2025},
  organization={IEEE}
}

@article{wotawa2025task,
  title={The Task Assignment Problem for Safety-Critical Networks Considering Communication and Criticality},
  author={Wotawa, Franz and Proenza, Julian and Barranco, Manuel A and Ballesteros, Alberto},
  year={2025}
}

@article{habring2026diffusion,
  title={Diffusion at absolute zero: Langevin sampling using successive moreau envelopes},
  author={Habring, Andreas and Falk, Alexander and Zach, Martin and Pock, Thomas},
  journal={SIAM Journal on Imaging Sciences},
  volume={19},
  number={1},
  pages={35--77},
  year={2026},
  publisher={SIAM}
}

@article{eitert,
  title={T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints},
  author={Eiter, Thomas and Ruiz, Nelson Higuera and Inoue, Katsumi and Moriyama, Sota}
}

@inproceedings{hansel2025fedpce,
  title={FedPCE: Federated Personalized Client Embeddings for Post-training Knowledge Distillation},
  author={Hansel, Soma and Kobler, Erich and Effland, Alexander},
  booktitle={DAGM German Conference on Pattern Recognition},
  pages={403--418},
  year={2025},
  organization={Springer}
}

@inproceedings{mayr2025mind,
  title={Mind the Gap: Urban-Rural Disparities in Wheelchair Accessibility for POI Recommendations},
  author={Mayr, Gregor and Reiter-Haas, Markus and Lex, Elisabeth},
  booktitle={International Workshop on Recommender Systems for Sustainability and Social Good},
  pages={108--116},
  year={2025},
  organization={Springer}
}