2026

@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{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}
}

@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{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}
}

@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{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}
}

@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}
}

@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{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}
}

@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{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}
}

@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}
}