Bilaterale Künstliche Intelligenz
View on FWF Research RadarKeywords
Research Disciplines
The project Bilateral AI aims at lifting artificial intelligence (AI) to the next level. Current AI systems are in a sense narrow. They center on a specific application or task such as object or speech recognition. Our project will combine two of the most important types of AI which have been developed separately so far: symbolic and sub-symbolic AI. While symbolic AI works with clearly defined logical rules, sub-symbolic AI (such as ChatGPT) is based on training a machine with the help of large datasets to create intelligent behavior. This integration, resulting in a Broad AI, is intended to mirror something that humans do naturally: the simultaneous use of cognition and reasoning skills. But what exactly is Broad AI? As opposed to Narrow AI, which is characterized by task specific skills, Broad AI aims at solving a wide array of problems, rather than being limited to a single task or domain. By combining sub-symbolic AI (machine learning, ML) with symbolic AI (knowledge representation and reasoning, KRR), Bilateral AI provides the means to develop the foundations of the capabilities and skill acquisition for problem solving by a Broad AI. Harnessing the full potential of both symbolic and sub-symbolic approaches can open new avenues for AI that are better at solving new problems, adapting to a wide variety of environments, having better reasoning skills, and being more efficient in terms of both computation and data use. These key features allow for a vast range of use cases for Broad AI, starting with drug development and medicine, over planning and scheduling, to autonomous traffic management and recommendation systems. With fairness, transparency, and explainability as top priorities, developing Broad AI is also essential for addressing ethical concerns and ensuring a positive impact on our society. These concerns play a central role as cross-cutting aspect in our project. The Broad AI resulting from the bilateral AI approach would use its own sensory perceptions to perform abstractions and engage in a logical thinking process. The AI could then, for example, organize a trip, minimize carbon emissions, or renovate a house as cost- effectively and ecologically as possible. In other words, AI could perform complex planning taking all aspects into account. Sepp Hochreiter, Director of Research: Broad AI could potentially improve our everyday lives as well as system-relevant aspects and processes - such as energy, transportation and healthcare - by becoming more environmentally sustainable, efficient and resource-friendly.
| Title | Year(s) | DOI / Link |
|---|---|---|
| Refinement-Based Enumeration ofQBF Solutions; In: Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II | 2026 | 10.1007/978-3-032-04590-4_12 |
| Refined Notions ofQBF Equivalences; In: Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II |
No additional funding sources recorded.
Research Fields
| 2026 |
| 10.1007/978-3-032-04590-4_11 |
| Computation of a Consistent System Matrix for Cone-beam Computed Tomography | 2025 | 10.48550/arxiv.2511.12235 |
| Music Recommendation with Large Language Models: Challenges, Opportunities, and Evaluation | 2025 | 10.48550/arxiv.2511.16478 |
| Towards Multi-Fidelity Scaling Laws of Neural Surrogates in CFD | 2025 | 10.48550/arxiv.2511.01830 |
| Balancing Latin Rectangles with LLM-Generated Streamliners | 2025 | 10.4230/lipics.cp.2025.36 |
| MHNfs: Prompting In-Context Bioactivity Predictions for Low-Data Drug Discovery.Journal of chemical information and modeling | 2025 | 10.1021/acs.jcim.4c02373 |
| Face-Voice Association with Inductive Bias for Maximum Class Separation | 2026 | 10.48550/arxiv.2601.13651 |
| Optimal Decision Tree Pruning Revisited: Algorithms and Complexity | 2025 | 10.48550/arxiv.2503.03576 |
| Prediction-Powered Causal Inferences | 2025 | 10.48550/arxiv.2502.06343 |
| Diverse Topology Optimization using Modulated Neural Fields | 2025 | 10.48550/arxiv.2502.13174 |
| Extracting Problem Structure with LLMs for Optimized SAT Local Search | 2025 | 10.48550/arxiv.2501.14630 |
| Controlled Personalization in Legacy Media Online Services: A Case Study in News Recommendation | 2025 | 10.48550/arxiv.2510.09136 |
| High-dimensional Analysis of Synthetic Data Selection | 2025 | 10.48550/arxiv.2510.08123 |
| An Inertial Langevin Algorithm | 2025 | 10.48550/arxiv.2510.06723 |
| Uncertainty Quantification for Regression using Proper Scoring Rules | 2025 | 10.48550/arxiv.2509.26610 |
| Equivariant Bootstrap forUncertainty Quantification inImage Classification; In: Scale Space and Variational Methods in Computer Vision - 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I | 2025 | 10.1007/978-3-031-92366-1_17 |
| Value Iteration with Guessing for Markov Chains and Markov Decision Processes; In: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II | 2025 | 10.1007/978-3-031-90653-4_11 |
| Refuting Equivalence in Probabilistic Programs with Conditioning; In: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II | 2025 | 10.1007/978-3-031-90653-4_14 |
| Fixed Point Certificates for Reachability and Expected Rewards in MDPs; In: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II | 2025 | 10.1007/978-3-031-90653-4_7 |
| The Semantic Web - 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I | 2025 | 10.1007/978-3-031-94575-5 |
| Modeling andSolving theGeneralized Test Laboratory Scheduling Problem; In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I | 2025 | 10.1007/978-3-031-95973-8_12 |
| The Temporal Vadalog System: Temporal Datalog-Based ReasoningTheory and Practice of Logic Programming | 2025 | 10.1017/s1471068425000018 |
| ImageSet2Text: Describing Sets of Images through Text | 2025 | 10.48550/arxiv.2503.19361 |
| Simulation and Modeling Methodologies, Technologies and Applications - 14th International Conference, SIMULTECH 2024 Dijon, France, July 9-11, 2024 Revised Selected Papers | 2026 | 10.1007/978-3-032-04777-9 |
| The impact of playlist characteristics on coherence in user-curated music playlistsEPJ Data Science | 2025 | 10.1140/epjds/s13688-025-005… |
| ASP-Bench: From Natural Language to Logic Programs | 2026 | 10.48550/arxiv.2602.01171 |
| Non-deterministic Action Reversibility: Complexity Results | 2025 | 10.24963/kr.2025/45 |
| Expressive Description Logics with Rich Yet Affordable Numeric Constraints | 2025 | 10.24963/kr.2025/66 |
| Nuanced Music Emotion Recognition via a Semi-Supervised Multi-Relational Graph Neural NetworkTransactions of the International Society for Music Information Retrieval | 2025 | 10.5334/tismir.235 |
| Risk-aware Markov Decision Processes Using Cumulative Prospect Theory | 2025 | 10.1109/lics65433.2025.00041 |
| An XAI View on Explainable ASP: Methods, Systems, and Perspectives | 2026 | 10.48550/arxiv.2601.14764 |
| Reciprocity and inequality in social dilemmas | 2025 | 10.15479/at-ista-19903 |
| Behavioral Time Scale Synaptic Plasticity (BTSP) endows Hyperdimensional Computing with brain-like information retrieval flexibility | 2025 | 10.21203/rs.3.rs-6742959/v1 |
| Iguanodon: A Code-Breaking Game for Improving Visualization Construction Literacy.IEEE transactions on visualization and computer graphics | 2025 | 10.1109/tvcg.2024.3468948 |
| DEALing with Image Reconstruction: Deep Attentive Least Squares | 2025 | 10.48550/arxiv.2502.04079 |
| Semantic-Based Data Augmentation for Machine Learning Prediction EnhancementNeurosymbolic Artificial Intelligence | 2025 | 10.1177/29498732251340160 |
| Adaptive large-neighbourhood search for optimisation in answer-set programmingArtificial Intelligence | 2024 | 10.1016/j.artint.2024.104230 |
| A matheuristic for solving the single row facility layout problemComputers & Operations Research | 2026 | 10.1016/j.cor.2026.107397 |
| Modeling Behavioral Patterns in News Recommendations Using Fuzzy Neural Networks | 2026 | 10.48550/arxiv.2601.04019 |
| Symbol-Equivariant Recurrent Reasoning Models | 2026 | 10.48550/arxiv.2603.02193 |
| Makespan Minimization in Split Learning: From Theory to Practice | 2026 | 10.48550/arxiv.2602.06693 |
| ASIDE: Architectural Separation of Instructions and Data in Language Models | 2025 | 10.48550/arxiv.2503.10566 |
| Unlabeled Debiasing in Downstream Tasks via Class-wise Low Variance Regularization | 2024 | 10.18653/v1/2024.emnlp-main.… |
| Segment Any Text: A Universal Approach for Robust, Efficient and Adaptable Sentence Segmentation | 2024 | 10.18653/v1/2024.emnlp-main.… |
| A Multimodal Single-Branch Embedding Network for Recommendation in Cold-Start and Missing Modality Scenarios | 2024 | 10.1145/3640457.3688138 |
| Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing | 2026 | 10.48550/arxiv.2601.03850 |
| Epistemic Logic Programs: Non-Ground and Counting Complexity | 2025 | 10.48550/arxiv.2503.04731 |
| RePST: Language Model Empowered Spatio-Temporal Forecasting via Semantic-Oriented Reprogramming | 2024 | 10.24963/ijcai.2024/374 |
| Consistent Query Answering over SHACL Constraints | 2024 | 10.24963/kr.2024/1 |
| ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP | 2024 | 10.24963/kr.2024/24 |
| FlashRNN: I/O-Aware Optimization of Traditional RNNs on modern hardware | 2024 | 10.48550/arxiv.2412.07752 |
| Aggregated Dataset vs. Ensemble Learning for Spatial Transferability in Water Demand Forecasting | 2025 | 10.1109/ictai66417.2025.00170 |
| Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes | 2025 | 10.48550/arxiv.2506.12254 |
| Introduction to the Special Issue on Trustworthy Recommender SystemsACM Transactions on Recommender Systems | 2024 | 10.1145/3702249 |
| Linear Equations with Min and Max Operators: Computational Complexity | 2024 | 10.48550/arxiv.2412.12228 |
| Unlabeled Debiasing in Downstream Tasks via Class-wise Low Variance Regularization | 2024 | 10.48550/arxiv.2409.19541 |
| Parameterized Complexity of Caching in Networks | 2024 | 10.48550/arxiv.2412.16585 |
| Efficient MedSAMs: Segment Anything in Medical Images on Laptop | 2024 | 10.48550/arxiv.2412.16085 |
| A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs; In: 2026 SIAM Symposium on Simplicity in Algorithms (SOSA) | 2026 | 10.1137/1.9781611978964.6 |
| Mind theGap: Urban-Rural Disparities inWheelchair Accessibility forPOI Recommendations; In: Recommender Systems for Sustainability and Social Good - Second International Workshop, RecSoGood 2025, Prague, Czech Republic, September 26, 2025, Proceedings | 2026 | 10.1007/978-3-032-13342-7_10 |
| Calibrated Recommendations: Survey and Future DirectionsACM Transactions on Recommender Systems | 2026 | 10.1145/3789266 |
| Segment Any Text: A Universal Approach for Robust, Efficient and Adaptable Sentence Segmentation | 2024 | 10.48550/arxiv.2406.16678 |
| The Importance of Cognitive Biases in the Recommendation Ecosystem | 2024 | 10.48550/arxiv.2408.12492 |
| Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms | 2024 | 10.48550/arxiv.2405.02486 |
| Improving Uncertainty Estimation through Semantically Diverse Language Generation | 2024 | 10.48550/arxiv.2406.04306 |
| Contrastive Geometric Learning Unlocks Unified Structure- and Ligand-Based Drug Design | 2026 | 10.48550/arxiv.2601.09693 |
| Qualitative Coding in the Age of AI: An Ontology-Driven Approach | 2025 | Link |
| Graph Queries from Natural Language Using Constrained Language Models and Visual Editing | 2025 | 10.1109/ickg66886.2025.00030 |
| A scalable hybrid training approach for recurrent spiking neural networksNeuromorphic Computing and Engineering | 2026 | 10.1088/2634-4386/ae46d4 |
| LangLasso: Interactive Cluster Descriptions through LLM Explanation | 2026 | 10.48550/arxiv.2601.10458 |
| Common Foundations for SHACL, ShEx, and PG-Schema | 2025 | 10.48550/arxiv.2502.01295 |
| Diffusion at Absolute Zero: Langevin Sampling Using Successive Moreau EnvelopesSIAM Journal on Imaging Sciences | 2026 | 10.1137/25m1745830 |
| FedPCE: Federated Personalized Client Embeddings forPost-training Knowledge Distillation; In: Pattern Recognition - 47th DAGM German Conference, DAGM GCPR 2025, Freiburg, Germany, September 23-26, 2025, Proceedings | 2026 | 10.1007/978-3-032-12840-9_26 |
| Song lyrics have become simpler and more repetitive over the last five decades.Scientific reports | 2024 | 10.1038/s41598-024-55742-x |
| Episodic memories make goal directed action selection context-aware and explainable | 2025 | 10.1101/2025.10.25.684594 |
| Promoters of cooperation in evolutionary games.Proceedings of the National Academy of Sciences of the United States of America | 2025 | 10.1073/pnas.2524109122 |
| Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives | 2025 | 10.48550/arxiv.2511.13134 |
| Oh, Behave! Country Representation Dynamics Created by Feedback Loops in Music Recommender Systems | 2024 | 10.1145/3640457.3688187 |
| SHACL Validation Under Graph Updates; In: The Semantic Web - ISWC 2025 - 24th International Semantic Web Conference, Nara, Japan, November 2-6, 2025, Proceedings, Part I | 2026 | 10.1007/978-3-032-09527-5_8 |
| Intelligent Assistants for the Semiconductor Failure Analysis with LLM-Based Planning Agents | 2025 | 10.31399/asm.cp.istfa2025p0041 |
| The Complexity of Extending Fair Allocations of Indivisible Goods | 2025 | 10.48550/arxiv.2503.01368 |
| Learning Quantized Continuous Controllers for Integer Hardware | 2025 | 10.48550/arxiv.2511.07046 |
| Swarm Intelligence-Driven Dispatching Rules forSemiconductor Production; In: Simulation and Modeling Methodologies, Technologies and Applications - 14th International Conference, SIMULTECH 2024 Dijon, France, July 9-11, 2024 Revised Selected Papers | 2026 | 10.1007/978-3-032-04777-9_9 |
| OnSET: Ontology and Semantic Exploration Toolkit | 2025 | 10.1145/3726302.3730148 |
| Hybrid Personalization Using Declarative and Procedural Memory Modules of the Cognitive Architecture ACT-R | 2025 | 10.48550/arxiv.2505.05083 |
| Familiarizing with Music: Discovery Patterns for Different Music Discovery Needs | 2025 | 10.48550/arxiv.2505.03568 |
| A Sequent Calculus for Answer Set Entailment | 2025 | 10.24963/ijcai.2025/497 |
| Knowledge graph validation by integrating LLMs and human-in-the-loopInformation Processing & Management | 2025 | 10.1016/j.ipm.2025.104145 |
| Considering Time and Feature Entropy in Calibrated RecommendationsACM Transactions on Intelligent Systems and Technology | 2025 | 10.1145/3716858 |
| The Massive Problem of Remote Changes in Ontology Reuse | 2025 | 10.1145/3701716.3715478 |
| Fine-tuning for Inference-efficient Calibrated Recommendations | 2025 | 10.1145/3705328.3759319 |
| Space-Efficient Parameterized Algorithms on Graphs of Low ShrubdepthACM Transactions on Computation Theory | 2025 | 10.1145/3723880 |
| (Semantic) Feature Model Differences with (Q)SAT | 2025 | 10.1145/3732771.3742723 |
| A Synopsis of FAME 2024 Challenge: Associating Faces with Voices in Multilingual Environments | 2024 | 10.1145/3664647.3688978 |
| Explanatory Interactive Machine Learning for Bias Mitigation in Visual Gender Classification | 2025 | 10.1109/cbmi66578.2025.11339… |
| Knowledge Graph-Based Reasoning in Large Language Models; In: Handbook on Neurosymbolic AI and Knowledge Graphs | 2025 | 10.3233/faia250219 |
| Familiarizing with Music: Discovery Patterns for Different Music Discovery Needs | 2025 | 10.1145/3699682.3728333 |
| ASP-Driven Emergency Planning for Norm Violations in Reinforcement LearningProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i14.33619 |
| Generating Streamlining Constraints with Large Language Models | 2024 | 10.48550/arxiv.2408.10268 |
| Continual Release Moment Estimation with Differential Privacy | 2025 | 10.48550/arxiv.2502.06597 |
| Single-Branch Network Architectures to Close the Modality Gap in Multimodal Recommendation | 2025 | 10.48550/arxiv.2509.18807 |
| Investigating Carbon Footprint of Recommender Systems Beyond Training Time | 2025 | 10.1145/3705328.3759324 |
| On theEvaluation ofTest Suites Generated byLarge Language Models; In: Testing Software and Systems - 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17-19, 2025, Proceedings | 2026 | 10.1007/978-3-032-05188-2_16 |
| Advancing spatio-temporal processing through adaptation in spiking neural networks.Nature communications | 2025 | 10.1038/s41467-025-60878-z |
| aspmc: New frontiers of algebraic answer set countingArtificial Intelligence | 2024 | 10.1016/j.artint.2024.104109 |
| Face-voice Association in Multilingual Environments (FAME) 2026 Challenge Evaluation Plan | 2025 | 10.48550/arxiv.2508.04592 |
| Maintaining diversity in structured populationsPNAS Nexus | 2025 | 10.1093/pnasnexus/pgaf252 |
| Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection | 2025 | 10.48550/arxiv.2508.14524 |
| deon-$$\mathcal {B}$$: A Language forWell-Founded Deontic Planning; In: Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I | 2026 | 10.1007/978-3-032-04587-4_12 |
| Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables | 2025 | 10.48550/arxiv.2511.16637 |
| Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity | 2025 | 10.48550/arxiv.2512.03718 |
| Explaining Decisions in ML Models: A Parameterized Complexity Analysis | 2024 | 10.24963/kr.2024/53 |
| Combining Bayesian and Evidential Uncertainty Quantification for Improved Bioactivity Modeling.Journal of chemical information and modeling | 2025 | 10.1021/acs.jcim.5c01597 |
| A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs | 2025 | 10.48550/arxiv.2511.09707 |
| Monotone Near-Zero-Sum Games: A Generalization of Convex-Concave Minimax | 2025 | 10.48550/arxiv.2512.02690 |
| The Computational Complexity of Positive Non-Clashing Teaching in Graphs | 2025 | 10.48550/arxiv.2503.07665 |
| GyroSwin: 5D Surrogates for Gyrokinetic Plasma Turbulence Simulations | 2025 | 10.48550/arxiv.2510.07314 |
| Optimal Regularization for Performative Learning | 2025 | 10.48550/arxiv.2510.12249 |
| Bridging Language Models and Symbolic Solvers via the Model Context Protocol | 2025 | 10.4230/lipics.sat.2025.30 |
| Analyzing Reformulation Performance in Core-Guided MaxSAT Solving | 2025 | 10.4230/lipics.sat.2025.26 |
| QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms | 2025 | 10.4230/lipics.sat.2025.25 |
| Navigating the Latent Space Dynamics of Neural Models | 2025 | 10.48550/arxiv.2505.22785 |
| Measuring AI Progress in Drug Discovery: A Reproducible Leaderboard for the Tox21 Challenge | 2025 | 10.48550/arxiv.2511.14744 |
| City Sampling for Citizens' Assemblies | 2025 | 10.48550/arxiv.2509.07557 |
| Combining MORL with Restraining Bolts to Learn Normative Behaviour | 2025 | 10.24963/ijcai.2025/514 |
| On Temporal ASP with Eager Unfoldable Operators | 2025 | 10.24963/ijcai.2025/498 |
| Structural Parameterizations of Simultaneous Planarity | 2025 | 10.4230/lipics.isaac.2025.25 |
| Learning Regularization Functionals for Inverse Problems: A Comparative Study | 2025 | 10.48550/arxiv.2510.01755 |
| Hypothesis-Driven Disjunctive Reasoning inLogical Argumentation; In: Logic, Rationality, and Interaction - 10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, Proceedings | 2026 | 10.1007/978-981-95-2481-5_13 |
| Formalizing Repairs forWikidata Constraint Violations: A Taxonomy andEmpirical Analysis; In: The Semantic Web - ISWC 2025 - 24th International Semantic Web Conference, Nara, Japan, November 2-6, 2025, Proceedings, Part I | 2026 | 10.1007/978-3-032-09527-5_20 |
| Computing and Certifying Twin-Width Using LogicACM Transactions on Computational Logic | 2025 | 10.1145/3769869 |
| Qualitative Analysis of $$-Regular Objectives on Robust MDPs | 2025 | 10.48550/arxiv.2505.04539 |
| Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I) | 2025 | 10.48550/arxiv.2511.03545 |
| A Datalog Rewriting Algorithm for Warded Ontologies | 2025 | 10.24963/ijcai.2025/485 |
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 2025 | 10.24963/ijcai.2025/490 |
| Route Discovery in Private Payment Channel Networks | 2025 | 10.1007/978-3-031-82349-7_15 |
| Witnesses for Answer Sets of Basic Logic Programs | 2025 | 10.24963/ijcai.2025/523 |
| Exploratory Causal Inference in SAEnce | 2025 | 10.48550/arxiv.2510.14073 |
| A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots | 2025 | 10.48550/arxiv.2502.21175 |
| PAINT: Parallel-in-time Neural Twins for Dynamical System Reconstruction | 2025 | 10.48550/arxiv.2510.16004 |
| Unified Privacy Guarantees for Decentralized Learning via Matrix Factorization | 2025 | 10.48550/arxiv.2510.17480 |
| Hybrid AI for Human-Centric Personalization (HyPer) | 2025 | 10.1145/3708319.3727563 |
| FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding | 2025 | 10.24963/kr.2025/10 |
| Setting $\varepsilon$ is not the Issue in Differential Privacy | 2025 | 10.48550/arxiv.2511.06305 |
| Neural sampling from cognitive maps enables goal-directed imagination and planning | 2025 | 10.1101/2025.05.14.654027 |
| Risk-aware Markov Decision Processes Using Cumulative Prospect Theory | 2025 | 10.48550/arxiv.2505.09514 |
| Boomerang Distillation Enables Zero-Shot Model Size Interpolation | 2025 | 10.48550/arxiv.2510.05064 |
| Scale Space and Variational Methods in Computer Vision - 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I | 2025 | 10.1007/978-3-031-92366-1 |
| SIMSHIFT: A Benchmark for Adapting Neural Surrogates to Distribution Shifts | 2025 | 10.48550/arxiv.2506.12007 |
| Quartet: Native FP4 Training Can Be Optimal for Large Language Models | 2025 | 10.48550/arxiv.2505.14669 |
| f4ncgb: High Performance Gröbner Basis Computations in Free Algebras | 2025 | 10.48550/arxiv.2505.19304 |
| Back to Square Roots: An Optimal Bound on the Matrix Factorization Error for Multi-Epoch Differentially Private SGD | 2025 | 10.48550/arxiv.2505.12128 |
| Better Rates for Private Linear Regression in the Proportional Regime via Aggressive Clipping | 2025 | 10.48550/arxiv.2505.16329 |
| Model-Based Diagnosis-European Perspectives and ContributionsThe European Journal on Artificial Intelligence | 2025 | 10.1177/30504554251403464 |
| Learning Rate Scheduling with Matrix Factorization for Private Training | 2025 | 10.48550/arxiv.2511.17994 |
| DP-MicroAdam: Private and Frugal Algorithm for Training and Fine-tuning | 2025 | 10.48550/arxiv.2511.20509 |
| MIP against Agent: Malicious Image Patches Hijacking Multimodal OS Agents | 2025 | 10.48550/arxiv.2503.10809 |
| Mechanistic PDE Networks for Discovery of Governing Equations | 2025 | 10.48550/arxiv.2502.18377 |
| Breaking Symmetries in Quantified Graph Search: A Comparative Study | 2025 | 10.48550/arxiv.2502.15078 |
| Explaining Decisions in ML Models: a Parameterized Complexity Analysis | 2024 | 10.48550/arxiv.2407.15780 |
| Hybrid AI for Human-Centric Personalization (HyPer) | 2025 | Link |
| Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization | 2025 | Link |
| Smart Cubing for Graph Search: A Comparative Study | 2025 | Link |
| Training One-Dimensional Graph Neural Networks is NP-Hard | 2025 | Link |
| Multiplicative Rewards in Markovian Models | 2025 | 10.1109/lics65433.2025.00044 |
| Fixed Point Certificates for Reachability and Expected Rewards in MDPs | 2025 | 10.48550/arxiv.2501.11467 |
| Neural Collapse Beyond the Unconstrained Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime | 2025 | 10.48550/arxiv.2501.19104 |
| Data-Driven Augmentation of Expert Causal Knowledge in Cyber-Physical Systems | 2025 | Link |
| Pattern-based AI Risk Assessment: A Taxonomy Expansion Use Case | 2025 | Link |
| Avoiding Overrepresentation: Upper Quota Axioms for Committee Voting | 2025 | Link |
| AgCyRAG: an Agentic Knowledge Graph based RAG Framework for Automated Security Analysis | 2025 | Link |
| Datalog-based Reasoning for Banking Supervision: is This All a Fantasy? | 2025 | Link |
| Monotone Near-Zero-Sum Games | 2025 | Link |
| Setting is not the Issue in Differential Privacy | 2025 | Link |
| A Transparent and Adaptive AI Assistant for Teaching Knowledge Engineering | 2025 | Link |
| T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints | 2025 | Link |
| An Ontology for the Common Data Format on Football Match Data | 2025 | Link |
| A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots | 2025 | 10.4230/lipics.socg.2025.44 |
| Energy-Aware Double-Flexible Job Shop Scheduling with Machine Modes and Setup Times: A Real-World Industrial Case Study using Constraint Programming | 2025 | Link |
| Einstein Fields: A Neural Perspective To Computational General Relativity | 2025 | 10.48550/arxiv.2507.11589 |
| Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming | 2025 | Link |
| Linking Faces and Voices Across Languages: Insights from the FAME 2026 Challenge | 2025 | 10.48550/arxiv.2512.20376 |
| Minimal Model Reasoning in Description Logics: Don't Try This at Home! | 2025 | 10.48550/arxiv.2508.05350 |
| Combining Dynamic Slicing and Spectrum-Based Fault Localization - A First Experimental Evaluation | 2025 | 10.4230/oasics.dx.2025.3 |
| Crossing and Independent Families Among Polygons | 2025 | 10.4230/lipics.wads.2025.11 |
| The Temporal Vadalog System (Short Paper) | 2025 | 10.4230/lipics.time.2025.15 |
| A Scalable Hybrid Training Approach for Recurrent Spiking Neural Networks | 2025 | 10.48550/arxiv.2506.14464 |
| pLSTM: parallelizable Linear Source Transition Mark networks | 2025 | 10.48550/arxiv.2506.11997 |
| A CASP-Based Solution for Traffic Signal OptimisationTheory and Practice of Logic Programming | 2025 | 10.1017/s1471068425100306 |
| Why this and not that? A Logic-based Framework for Contrastive Explanations | 2025 | 10.48550/arxiv.2507.08454 |
| Calibrated Recommendations: Survey and Future Directions | 2025 | 10.48550/arxiv.2507.02643 |
| Psychological Aspects in Retrieval and Recommendation | 2025 | 10.1145/3726302.3731691 |
| A surprising link between cognitive maps, successor-relation based reinforcement learning, and BTSP | 2025 | 10.1101/2025.04.22.650046 |
| ExIM: Exploring Intent of Music Listening for Retrieving User-generated Playlists | 2025 | 10.1145/3698204.3716470 |
| Multiplicative Rewards in Markovian Models | 2025 | 10.48550/arxiv.2504.18277 |
| Privacy-aware lifelong learning. | 2025 | Link |
| Adversarially Robust Spiking Neural Networks with Sparse Connectivity | 2025 | Link |
| OnSET: Ontology and Semantic Exploration Toolkit | 2025 | 10.48550/arxiv.2504.08373 |
| Partial Pre-Post Code Tree: A Memory-Efficient Tree Structure for Conjunctive Rule Mining | 2025 | Link |
| FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas | 2025 | Link |
| Effective Bayesian Causal Inference via Structural Marginalisation and Autoregressive Orders | 2025 | Link |
| Linear Equations with Min and Max Operators: Computational ComplexityProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33212 |
| The Complexity of Extending Fair Allocations of Indivisible GoodsProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i13.33502 |
| Breaking Symmetries in Quantified Graph Search: A Comparative StudyProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33223 |
| Parameterized Complexity of Caching in NetworksProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33221 |
| Privacy for free in the overparameterized regime.Proceedings of the National Academy of Sciences of the United States of America | 2025 | 10.1073/pnas.2423072122 |
| Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based SkolemizationProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33213 |
| From Experts to LLMs: Evaluating the Quality of Automatically Generated Ontologies | 2025 | Link |
| The Value Problem for Multiple-Environment MDPs with Parity Objective | 2025 | 10.48550/arxiv.2504.15960 |
| Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms | 2025 | 10.48550/arxiv.2508.16319 |
| Common Foundations for SHACL, ShEx, and PG-Schema | 2025 | 10.1145/3696410.3714694 |
| Uncertainty Estimation for Learning-Based Classification of Corrupted ImagesSIAM Journal on Imaging Sciences | 2025 | 10.1137/25m1726546 |
| Towards Improving Automated Testing with GraphWalker | 2025 | 10.1109/icstw64639.2025.1096… |
| Encoding Action Reversibility In Planning Using Quantified ASP andBule; In: Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I | 2026 | 10.1007/978-3-032-04587-4_20 |
| Refuting Equivalence in Probabilistic Programs with Conditioning | 2025 | Link |
| Combining MORL with Restraining Bolts to Learn Normative Behaviour | 2025 | Link |
| Improving Uncertainty Estimation through Semantically Diverse Language Generation | 2025 | Link |
| Solution Counts of Some Prominent Quantified Boolean Formulas Families | 2025 | 10.1145/3672608.3707850 |
| Opportunities for Knowledge Graphs in the AI landscape - An application-centric perspectiveJournal of Web Semantics | 2025 | 10.1016/j.websem.2025.100867 |
| Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics | 2025 | 10.48550/arxiv.2507.01833 |
| FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas | 2025 | 10.1145/3672608.3707863 |
| SHACL Validation under Graph Updates (Extended Paper) | 2025 | 10.48550/arxiv.2508.00137 |
| Tackling Temporal Deontic Challenges with Equilibrium Logic | 2025 | Link |
| A Simple Integration of Epistemic Logic and Reinforcement Learning. | 2025 | Link |
| Reciprocity and inequality in social dilemmas | 2025 | Link |
| Chameleon: A Multimodal Learning Framework Robust to Missing ModalitiesInternational Journal of Multimedia Information Retrieval | 2025 | 10.1007/s13735-025-00370-y |
| Differentiable Fuzzy Neural Networks for Recommender Systems | 2025 | 10.48550/arxiv.2505.06000 |
| Modeling and Managing Temporal Obligations in GUCON Using SPARQL-star and RDF-star | 2025 | Link |
| Audio, Lyrics, Videoclips, Interactions? An Analysis of Uni- and Multi-modal Music Retrieval Systems in Terms of Accuracy and Beyond-accuracy Aspects | 2025 | Link |
| Towards Supporting AI System Engineering with an Extended Boxology Notation | 2025 | Link |
| FrOG: Framework of Open GraphRAG | 2025 | Link |
| Towards Multi-Aspect Diversification of News Recommendations Using Neuro-Symbolic AI for Individual and Societal Benefit | 2025 | Link |
| Refined Notions of QBF Equivalences | 2025 | Link |
| Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning | 2025 | Link |
| Structural Properties of Games on Graphs | 2025 | Link |
| Neurons have an inherent capability to learn order relations: A theoretical foundation that explains numerous experimental data | 2025 | 10.1101/2025.03.17.642834 |
| Sociotropic Behavior in Voting | 2025 | Link |
| Fedivertex: a Graph Dataset based on Decentralized Social Networks for Trustworthy Machine Learning | 2025 | 10.48550/arxiv.2505.20882 |
| Robustness of Solutions in Game Theory Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games | 2025 | Link |
| Handbook on Neurosymbolic AI and Knowledge Graphs | 2025 | — |
| Reasoning With and About Normative Conflicts | 2025 | Link |
| Integrating Action Choices and Well-Founded Semantics for Deontic Planning | 2025 | Link |
| Partial Pre-Post Code Tree: A Memory-Efficient Tree Structure for Conjunctive Rule Mining | 2025 | 10.1145/3690624.3709303 |
| When is liquid democracy possible? | 2025 | 10.1145/3732772.3733544 |
| Differentiable Fuzzy Neural Networks for Recommender Systems | 2025 | 10.1145/3708319.3734174 |
| StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners | 2025 | 10.1109/nse66660.2025.00010 |
| A simple model for Behavioral Time Scale Synaptic Plasticity (BTSP) provides content addressable memory with binary synapses and one-shot learning.Nature communications | 2025 | 10.1038/s41467-024-55563-6 |
| Leveraging Knowledge Graphs for AI System Auditing and TransparencyJournal of Web Semantics | 2025 | 10.1016/j.websem.2024.100849 |
| Pattern-based engineering of Neurosymbolic AI SystemsJournal of Web Semantics | 2025 | 10.1016/j.websem.2024.100855 |
| Symmetries of Dependency Quantified Boolean Formulas | 2024 | 10.48550/arxiv.2410.15848 |
| The core in Participatory Budgeting can be emptyEconomics Letters | 2025 | 10.1016/j.econlet.2025.112472 |
| Synthesizing Accurate and Realistic T1-weighted Contrast-Enhanced MR Images using Posterior-Mean Rectified Flow | 2025 | 10.48550/arxiv.2508.12640 |
| Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | 2025 | 10.48550/arxiv.2507.17493 |
| $$\textrm{OWL}_{\textrm{strict}}$$: A Constrained OWL Fragment toAvoid Ambiguities forKnowledge Graph Practitioners; In: The Semantic Web - 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part II | 2025 | 10.1007/978-3-031-94578-6_3 |
| Federated Learning with Unlabeled Clients: Personalization Can Happen in Low Dimensions | 2025 | 10.48550/arxiv.2505.15579 |
| Behavioral Time Scale Synaptic Plasticity (BTSP) endows binding of distributed representations with flexible retrieval options | 2025 | 10.1101/2025.05.15.654220 |
| Attention with Trained Embeddings Provably Selects Important Tokens | 2025 | 10.48550/arxiv.2505.17282 |
| The Third Pillar of Causal Analysis? A Measurement Perspective on Causal Representations | 2025 | 10.48550/arxiv.2505.17708 |
| Logic Gate Neural Networks are Good for Verification | 2025 | 10.48550/arxiv.2505.19932 |
| Double Entendre: Robust Audio-Based AI-Generated Lyrics Detection via Multi-View Fusion | 2025 | 10.48550/arxiv.2506.15981 |
| Hybrid Personalization Using Declarative and Procedural Memory Modules of the Cognitive Architecture ACT-R | 2025 | 10.1145/3708319.3734176 |
| Differentially Private Federated $k$-Means Clustering with Server-Side Data | 2025 | 10.48550/arxiv.2506.05408 |
| Why Context Matters: Exploring How Musical Context Impacts User Behavior, Mood, and Musical Preferences | 2025 | 10.1145/3699682.3728354 |
| A matheuristic for solving the single row facility layout problem | 2025 | 10.48550/arxiv.2506.09793 |
| Rethinking Losses for Diffusion Bridge Samplers | 2025 | 10.48550/arxiv.2506.10982 |
| Value-Positivity for Matrix GamesMathematics of Operations Research | 2025 | 10.1287/moor.2022.0332 |
| ASP-QRAT: a Conditionally Optimal Dual Proof System for ASP | 2024 | Link |
| Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets | 2024 | 10.48550/arxiv.2410.09428 |
| Knowledge Engineering and Knowledge Management - 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings | 2025 | 10.1007/978-3-031-77792-9 |
| Technical and Regulatory Perspectives on Information Retrieval and Recommender Systems - Fairness, Transparency, and Privacy | 2025 | 10.1007/978-3-031-69978-8 |
| Content-driven music recommendation: Evolution, state of the art, and challengesComputer Science Review | 2024 | 10.1016/j.cosrev.2024.100618 |
| Expressive Description Logics with Rich Yet Affordable Numeric Constraints (Extended Abstract) | 2025 | Link |
| On Temporal ASP with Eager Unfoldable Operators | 2025 | Link |
| Density amplifiers of cooperation for spatial gamesProceedings of the National Academy of Sciences | 2024 | 10.1073/pnas.2405605121 |
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 2025 | Link |
| #IJCAI2025 distinguished paper: Combining MORL with restraining bolts to learn normative behaviour | 2025 | Link |
| Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms | 2024 | 10.4230/lipics.fsttcs.2024.5 |
| Witnesses for Answer Sets of Basic Logic Programs | 2025 | Link |
| Scholarly Wikidata: Population andExploration ofConference Data inWikidata Using LLMs; In: Knowledge Engineering and Knowledge Management - 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings | 2025 | 10.1007/978-3-031-77792-9_15 |
| Knowledge Engineering with Large Language Models: A Capability Assessment in Ontology EvaluationSemantic Web 0 (0) 1 IOS Press | 2025 | Link |
| When is liquid democracy possible? | 2025 | Link |
| MIP against Agent: Malicious Image Patches Hijacking Multimodal OS Agents | 2025 | Link |
| The Joint Knowledge Graph Labs: Neuro-symbolic Reasoning in Action | 2025 | Link |