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

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

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

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

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

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

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

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

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

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

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

@article{plank2025solution,
  title={Solution Counts of Some Prominent Quantified Boolean Formulas Families},
  author={Plank, Andreas and Kauers, Manuel and Seidl, Martina},
  year={2025}
}

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

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