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 |
|---|---|---|
| Face-Voice Association with Inductive Bias for Maximum Class Separation | 2026 | 10.48550/arxiv.2601.13651 |
| ASP-Bench: From Natural Language to Logic Programs | 2026 |
No additional funding sources recorded.
Research Fields
| An XAI View on Explainable ASP: Methods, Systems, and Perspectives | 2026 | 10.48550/arxiv.2601.14764 |
| Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing | 2026 | 10.48550/arxiv.2601.03850 |
| 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 |
| Refined Notions ofQBF Equivalences; 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_11 |
| Makespan Minimization in Split Learning: From Theory to Practice | 2026 | 10.48550/arxiv.2602.06693 |
| LangLasso: Interactive Cluster Descriptions through LLM Explanation | 2026 | 10.48550/arxiv.2601.10458 |
| Symbol-Equivariant Recurrent Reasoning Models | 2026 | 10.48550/arxiv.2603.02193 |
| Contrastive Geometric Learning Unlocks Unified Structure- and Ligand-Based Drug Design | 2026 | 10.48550/arxiv.2601.09693 |
| Modeling Behavioral Patterns in News Recommendations Using Fuzzy Neural Networks | 2026 | 10.48550/arxiv.2601.04019 |
| Diffusion at Absolute Zero: Langevin Sampling Using Successive Moreau EnvelopesSIAM Journal on Imaging Sciences | 2026 | 10.1137/25m1745830 |
| Calibrated Recommendations: Survey and Future DirectionsACM Transactions on Recommender Systems | 2026 | 10.1145/3789266 |
| 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 |
| A matheuristic for solving the single row facility layout problemComputers & Operations Research | 2026 | 10.1016/j.cor.2026.107397 |
| A scalable hybrid training approach for recurrent spiking neural networksNeuromorphic Computing and Engineering | 2026 | 10.1088/2634-4386/ae46d4 |
| 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 |
| 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 |
| 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 |
| Exploratory Causal Inference in SAEnce | 2025 | 10.48550/arxiv.2510.14073 |
| Optimal Regularization for Performative Learning | 2025 | 10.48550/arxiv.2510.12249 |
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 2025 | 10.24963/ijcai.2025/490 |
| A Sequent Calculus for Answer Set Entailment | 2025 | 10.24963/ijcai.2025/497 |
| On Temporal ASP with Eager Unfoldable Operators | 2025 | 10.24963/ijcai.2025/498 |
| Controlled Personalization in Legacy Media Online Services: A Case Study in News Recommendation | 2025 | 10.48550/arxiv.2510.09136 |
| Combining MORL with Restraining Bolts to Learn Normative Behaviour | 2025 | 10.24963/ijcai.2025/514 |
| Witnesses for Answer Sets of Basic Logic Programs | 2025 | 10.24963/ijcai.2025/523 |
| A Datalog Rewriting Algorithm for Warded Ontologies | 2025 | 10.24963/ijcai.2025/485 |
| 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 |
| High-dimensional Analysis of Synthetic Data Selection | 2025 | 10.48550/arxiv.2510.08123 |
| DP-MicroAdam: Private and Frugal Algorithm for Training and Fine-tuning | 2025 | 10.48550/arxiv.2511.20509 |
| Monotone Near-Zero-Sum Games: A Generalization of Convex-Concave Minimax | 2025 | 10.48550/arxiv.2512.02690 |
| Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity | 2025 | 10.48550/arxiv.2512.03718 |
| Learning Quantized Continuous Controllers for Integer Hardware | 2025 | 10.48550/arxiv.2511.07046 |
| A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs | 2025 | 10.48550/arxiv.2511.09707 |
| Computation of a Consistent System Matrix for Cone-beam Computed Tomography | 2025 | 10.48550/arxiv.2511.12235 |
| Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives | 2025 | 10.48550/arxiv.2511.13134 |
| Measuring AI Progress in Drug Discovery: A Reproducible Leaderboard for the Tox21 Challenge | 2025 | 10.48550/arxiv.2511.14744 |
| Music Recommendation with Large Language Models: Challenges, Opportunities, and Evaluation | 2025 | 10.48550/arxiv.2511.16478 |
| Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables | 2025 | 10.48550/arxiv.2511.16637 |
| Learning Rate Scheduling with Matrix Factorization for Private Training | 2025 | 10.48550/arxiv.2511.17994 |
| Uncertainty Quantification for Regression using Proper Scoring Rules | 2025 | 10.48550/arxiv.2509.26610 |
| Learning Regularization Functionals for Inverse Problems: A Comparative Study | 2025 | 10.48550/arxiv.2510.01755 |
| Boomerang Distillation Enables Zero-Shot Model Size Interpolation | 2025 | 10.48550/arxiv.2510.05064 |
| GyroSwin: 5D Surrogates for Gyrokinetic Plasma Turbulence Simulations | 2025 | 10.48550/arxiv.2510.07314 |
| Linking Faces and Voices Across Languages: Insights from the FAME 2026 Challenge | 2025 | 10.48550/arxiv.2512.20376 |
| Towards Multi-Fidelity Scaling Laws of Neural Surrogates in CFD | 2025 | 10.48550/arxiv.2511.01830 |
| An Inertial Langevin Algorithm | 2025 | 10.48550/arxiv.2510.06723 |
| Back to Square Roots: An Optimal Bound on the Matrix Factorization Error for Multi-Epoch Differentially Private SGD | 2025 | 10.48550/arxiv.2505.12128 |
| Multiplicative Rewards in Markovian Models | 2025 | 10.48550/arxiv.2504.18277 |
| Expressive Description Logics with Rich Yet Affordable Numeric Constraints | 2025 | 10.24963/kr.2025/66 |
| Non-deterministic Action Reversibility: Complexity Results | 2025 | 10.24963/kr.2025/45 |
| FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding | 2025 | 10.24963/kr.2025/10 |
| OnSET: Ontology and Semantic Exploration Toolkit | 2025 | 10.48550/arxiv.2504.08373 |
| The Value Problem for Multiple-Environment MDPs with Parity Objective | 2025 | 10.48550/arxiv.2504.15960 |
| Quartet: Native FP4 Training Can Be Optimal for Large Language Models | 2025 | 10.48550/arxiv.2505.14669 |
| SIMSHIFT: A Benchmark for Adapting Neural Surrogates to Distribution Shifts | 2025 | 10.48550/arxiv.2506.12007 |
| f4ncgb: High Performance Gröbner Basis Computations in Free Algebras | 2025 | 10.48550/arxiv.2505.19304 |
| Fedivertex: a Graph Dataset based on Decentralized Social Networks for Trustworthy Machine Learning | 2025 | 10.48550/arxiv.2505.20882 |
| Navigating the Latent Space Dynamics of Neural Models | 2025 | 10.48550/arxiv.2505.22785 |
| A CASP-Based Solution for Traffic Signal OptimisationTheory and Practice of Logic Programming | 2025 | 10.1017/s1471068425100306 |
| Intelligent Assistants for the Semiconductor Failure Analysis with LLM-Based Planning Agents | 2025 | 10.31399/asm.cp.istfa2025p0041 |
| Graph Queries from Natural Language Using Constrained Language Models and Visual Editing | 2025 | 10.1109/ickg66886.2025.00030 |
| Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I) | 2025 | 10.48550/arxiv.2511.03545 |
| Knowledge Graph-Based Reasoning in Large Language Models; In: Handbook on Neurosymbolic AI and Knowledge Graphs | 2025 | 10.3233/faia250219 |
| 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 |
| Setting $\varepsilon$ is not the Issue in Differential Privacy | 2025 | 10.48550/arxiv.2511.06305 |
| Towards Improving Automated Testing with GraphWalker | 2025 | 10.1109/icstw64639.2025.1096… |
| ASP-Driven Emergency Planning for Norm Violations in Reinforcement LearningProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i14.33619 |
| The Complexity of Extending Fair Allocations of Indivisible GoodsProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i13.33502 |
| Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based SkolemizationProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33213 |
| Parameterized Complexity of Caching in NetworksProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33221 |
| Explanatory Interactive Machine Learning for Bias Mitigation in Visual Gender Classification | 2025 | 10.1109/cbmi66578.2025.11339… |
| Behavioral Time Scale Synaptic Plasticity (BTSP) endows Hyperdimensional Computing with brain-like information retrieval flexibility | 2025 | 10.21203/rs.3.rs-6742959/v1 |
| Neurons have an inherent capability to learn order relations: A theoretical foundation that explains numerous experimental data | 2025 | 10.1101/2025.03.17.642834 |
| Aggregated Dataset vs. Ensemble Learning for Spatial Transferability in Water Demand Forecasting | 2025 | 10.1109/ictai66417.2025.00170 |
| Single-Branch Network Architectures to Close the Modality Gap in Multimodal Recommendation | 2025 | 10.48550/arxiv.2509.18807 |
| Swarm Intelligence-Driven Dispatching Rules for Semiconductor Production | 2025 | 10.1007/978-3-032-04777-9_9 |
| SHACL Validation Under Graph Updates | 2025 | 10.1007/978-3-032-09527-5_8 |
| Risk-aware Markov Decision Processes Using Cumulative Prospect Theory | 2025 | 10.1109/lics65433.2025.00041 |
| Explaining Decisions in ML Models: a Parameterized Complexity Analysis | 2024 | 10.48550/arxiv.2407.15780 |
| Promoters of cooperation in evolutionary gamesProceedings of the National Academy of Sciences | 2025 | 10.1073/pnas.2524109122 |
| Combining Bayesian and Evidential Uncertainty Quantification for Improved Bioactivity ModelingJournal of Chemical Information and Modeling | 2025 | 10.1021/acs.jcim.5c01597 |
| 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 |
| $$\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 |
| 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 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 |
| 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 |
| 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 |
| 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 |
| Computing and Certifying Twin-Width Using LogicACM Transactions on Computational Logic | 2025 | 10.1145/3769869 |
| The impact of playlist characteristics on coherence in user-curated music playlistsEPJ Data Science | 2025 | 10.1140/epjds/s13688-025-005… |
| Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection | 2025 | 10.48550/arxiv.2508.14524 |
| Synthesizing Accurate and Realistic T1-weighted Contrast-Enhanced MR Images using Posterior-Mean Rectified Flow | 2025 | 10.48550/arxiv.2508.12640 |
| Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms | 2025 | 10.48550/arxiv.2508.16319 |
| Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | 2025 | 10.48550/arxiv.2507.17493 |
| City Sampling for Citizens' Assemblies | 2025 | 10.48550/arxiv.2509.07557 |
| Reciprocity and inequality in social dilemmas | 2025 | 10.15479/at-ista-19903 |
| 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 |
| Balancing Latin Rectangles with LLM-Generated Streamliners | 2025 | 10.4230/lipics.cp.2025.36 |
| Structural Parameterizations of Simultaneous Planarity | 2025 | 10.4230/lipics.isaac.2025.25 |
| QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms | 2025 | 10.4230/lipics.sat.2025.25 |
| A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots | 2025 | 10.4230/lipics.socg.2025.44 |
| Crossing and Independent Families Among Polygons | 2025 | 10.4230/lipics.wads.2025.11 |
| Combining Dynamic Slicing and Spectrum-Based Fault Localization - A First Experimental Evaluation | 2025 | 10.4230/oasics.dx.2025.3 |
| The Temporal Vadalog System (Short Paper) | 2025 | 10.4230/lipics.time.2025.15 |
| Advancing spatio-temporal processing through adaptation in spiking neural networks.Nature communications | 2025 | 10.1038/s41467-025-60878-z |
| 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 |
| 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 |
| Diverse Topology Optimization using Modulated Neural Fields | 2025 | 10.48550/arxiv.2502.13174 |
| ImageSet2Text: Describing Sets of Images through Text | 2025 | 10.48550/arxiv.2503.19361 |
| MIP against Agent: Malicious Image Patches Hijacking Multimodal OS Agents | 2025 | 10.48550/arxiv.2503.10809 |
| Model-Based Diagnosis-European Perspectives and ContributionsThe European Journal on Artificial Intelligence | 2025 | 10.1177/30504554251403464 |
| Semantic-Based Data Augmentation for Machine Learning Prediction EnhancementNeurosymbolic Artificial Intelligence | 2025 | 10.1177/29498732251340160 |
| Extracting Problem Structure with LLMs for Optimized SAT Local Search | 2025 | 10.48550/arxiv.2501.14630 |
| OnSET: Ontology and Semantic Exploration Toolkit | 2025 | 10.1145/3726302.3730148 |
| Improving Uncertainty Estimation through Semantically Diverse Language Generation | 2025 | 10.48550/arxiv.2406.04306 |
| Route Discovery in Private Payment Channel Networks | 2025 | 10.1007/978-3-031-82349-7_15 |
| Multiplicative Rewards in Markovian Models | 2025 | 10.1109/lics65433.2025.00044 |
| Episodic memories make goal directed action selection context-aware and explainable | 2025 | 10.1101/2025.10.25.684594 |
| Maintaining diversity in structured populationsPNAS Nexus | 2025 | 10.1093/pnasnexus/pgaf252 |
| A matheuristic for solving the single row facility layout problem | 2025 | 10.48550/arxiv.2506.09793 |
| The Third Pillar of Causal Analysis? A Measurement Perspective on Causal Representations | 2025 | 10.48550/arxiv.2505.17708 |
| Attention with Trained Embeddings Provably Selects Important Tokens | 2025 | 10.48550/arxiv.2505.17282 |
| Fine-tuning for Inference-efficient Calibrated Recommendations | 2025 | 10.1145/3705328.3759319 |
| Investigating Carbon Footprint of Recommender Systems Beyond Training Time | 2025 | 10.1145/3705328.3759324 |
| Neural Collapse Beyond the Unconstrained Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime | 2025 | 10.48550/arxiv.2501.19104 |
| Common Foundations for SHACL, ShEx, and PG-Schema | 2025 | 10.48550/arxiv.2502.01295 |
| Prediction-Powered Causal Inferences | 2025 | 10.48550/arxiv.2502.06343 |
| Continual Release Moment Estimation with Differential Privacy | 2025 | 10.48550/arxiv.2502.06597 |
| DEALing with Image Reconstruction: Deep Attentive Least Squares | 2025 | 10.48550/arxiv.2502.04079 |
| Fixed Point Certificates for Reachability and Expected Rewards in MDPs | 2025 | 10.48550/arxiv.2501.11467 |
| The Computational Complexity of Positive Non-Clashing Teaching in Graphs | 2025 | 10.48550/arxiv.2503.07665 |
| Epistemic Logic Programs: Non-Ground and Counting Complexity | 2025 | 10.48550/arxiv.2503.04731 |
| ASIDE: Architectural Separation of Instructions and Data in Language Models | 2025 | 10.48550/arxiv.2503.10566 |
| A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots | 2025 | 10.48550/arxiv.2502.21175 |
| Considering Time and Feature Entropy in Calibrated RecommendationsACM Transactions on Intelligent Systems and Technology | 2025 | 10.1145/3716858 |
| The Complexity of Extending Fair Allocations of Indivisible Goods | 2025 | 10.48550/arxiv.2503.01368 |
| Optimal Decision Tree Pruning Revisited: Algorithms and Complexity | 2025 | 10.48550/arxiv.2503.03576 |
| Symmetries of Dependency Quantified Boolean Formulas | 2025 | 10.48550/arxiv.2410.15848 |
| Technical and Regulatory Perspectives on Information Retrieval and Recommender Systems, Fairness, Transparency, and Privacy | 2025 | 10.1007/978-3-031-69978-8 |
| Value-Positivity for Matrix GamesMathematics of Operations Research | 2025 | 10.1287/moor.2022.0332 |
| Generating Streamlining Constraints with Large Language Models | 2025 | 10.48550/arxiv.2408.10268 |
| A simple model for Behavioral Time Scale Synaptic Plasticity (BTSP) provides content addressable memory with binary synapses and one-shot learningNature Communications | 2025 | 10.1038/s41467-024-55563-6 |
| Behavioral Time Scale Synaptic Plasticity (BTSP) endows binding of distributed representations with flexible retrieval options | 2025 | 10.1101/2025.05.15.654220 |
| Federated Learning with Unlabeled Clients: Personalization Can Happen in Low Dimensions | 2025 | 10.48550/arxiv.2505.15579 |
| Solution Counts of Some Prominent Quantified Boolean Formulas Families | 2025 | 10.1145/3672608.3707850 |
| FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas | 2025 | 10.1145/3672608.3707863 |
| Opportunities for Knowledge Graphs in the AI landscape - An application-centric perspectiveJournal of Web Semantics | 2025 | 10.1016/j.websem.2025.100867 |
| 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 |
| Better Rates for Private Linear Regression in the Proportional Regime via Aggressive Clipping | 2025 | 10.48550/arxiv.2505.16329 |
| Differentially Private Federated $k$-Means Clustering with Server-Side Data | 2025 | 10.48550/arxiv.2506.05408 |
| Rethinking Losses for Diffusion Bridge Samplers | 2025 | 10.48550/arxiv.2506.10982 |
| The Massive Problem of Remote Changes in Ontology Reuse | 2025 | 10.1145/3701716.3715478 |
| Logic Gate Neural Networks are Good for Verification | 2025 | 10.48550/arxiv.2505.19932 |
| Chameleon: A Multimodal Learning Framework Robust to Missing ModalitiesInternational Journal of Multimedia Information Retrieval | 2025 | 10.1007/s13735-025-00370-y |
| Why Context Matters: Exploring How Musical Context Impacts User Behavior, Mood, and Musical Preferences | 2025 | 10.1145/3699682.3728354 |
| A surprising link between cognitive maps, successor-relation based reinforcement learning, and BTSP | 2025 | 10.1101/2025.04.22.650046 |
| Common Foundations for SHACL, ShEx, and PG-Schema | 2025 | 10.1145/3696410.3714694 |
| Breaking Symmetries in Quantified Graph Search: A Comparative StudyProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33223 |
| Linear Equations with Min and Max Operators: Computational ComplexityProceedings of the AAAI Conference on Artificial Intelligence | 2025 | 10.1609/aaai.v39i11.33212 |
| ExIM: Exploring Intent of Music Listening for Retrieving User-generated Playlists | 2025 | 10.1145/3698204.3716470 |
| Hybrid Personalization Using Declarative and Procedural Memory Modules of the Cognitive Architecture ACT-R | 2025 | 10.48550/arxiv.2505.05083 |
| Qualitative Analysis of $?$-Regular Objectives on Robust MDPs | 2025 | 10.48550/arxiv.2505.04539 |
| Differentiable Fuzzy Neural Networks for Recommender Systems | 2025 | 10.48550/arxiv.2505.06000 |
| Value Iteration with Guessing for Markov Chains and Markov Decision Processes | 2025 | 10.1007/978-3-031-90653-4_11 |
| Refuting Equivalence in Probabilistic Programs with Conditioning | 2025 | 10.1007/978-3-031-90653-4_14 |
| MHNfs: Prompting In-Context Bioactivity Predictions for Low-Data Drug DiscoveryJournal of Chemical Information and Modeling | 2025 | 10.1021/acs.jcim.4c02373 |
| Familiarizing with Music: Discovery Patterns for Different Music Discovery Needs | 2025 | 10.48550/arxiv.2505.03568 |
| Differentiable Fuzzy Neural Networks for Recommender Systems | 2025 | 10.1145/3708319.3734174 |
| SHACL Validation under Graph Updates (Extended Paper) | 2025 | 10.48550/arxiv.2508.00137 |
| deon-B: A Language for Well-Founded Deontic Planning | 2025 | 10.1007/978-3-032-04587-4_12 |
| Encoding Action Reversibility In Planning Using Quantified ASP and Bule | 2025 | 10.1007/978-3-032-04587-4_20 |
| Einstein Fields: A Neural Perspective To Computational General Relativity | 2025 | 10.48550/arxiv.2507.11589 |
| A Scalable Hybrid Training Approach for Recurrent Spiking Neural Networks | 2025 | 10.48550/arxiv.2506.14464 |
| Face-voice Association in Multilingual Environments (FAME) 2026 Challenge Evaluation Plan | 2025 | 10.48550/arxiv.2508.04592 |
| Minimal Model Reasoning in Description Logics: Don't Try This at Home! | 2025 | 10.48550/arxiv.2508.05350 |
| Refinement-Based Enumeration of QBF Solutions | 2025 | 10.1007/978-3-032-04590-4_12 |
| Uncertainty Estimation for Learning-Based Classification of Corrupted ImagesSIAM Journal on Imaging Sciences | 2025 | 10.1137/25m1726546 |
| Hybrid AI for Human-Centric Personalization (HyPer) | 2025 | 10.1145/3708319.3727563 |
| Double Entendre: Robust Audio-Based AI-Generated Lyrics Detection via Multi-View Fusion | 2025 | 10.48550/arxiv.2506.15981 |
| StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners | 2025 | 10.1109/nse66660.2025.00010 |
| 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 |
| Hybrid Personalization Using Declarative and Procedural Memory Modules of the Cognitive Architecture ACT-R | 2025 | 10.1145/3708319.3734176 |
| When is liquid democracy possible? | 2025 | 10.1145/3732772.3733544 |
| Familiarizing with Music: Discovery Patterns for Different Music Discovery Needs | 2025 | 10.1145/3699682.3728333 |
| (Semantic) Feature Model Differences with (Q)SAT | 2025 | 10.1145/3732771.3742723 |
| Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes | 2025 | 10.48550/arxiv.2506.12254 |
| pLSTM: parallelizable Linear Source Transition Mark networks | 2025 | 10.48550/arxiv.2506.11997 |
| The core in Participatory Budgeting can be emptyEconomics Letters | 2025 | 10.1016/j.econlet.2025.112472 |
| Psychological Aspects in Retrieval and Recommendation | 2025 | 10.1145/3726302.3731691 |
| Why this and not that? A Logic-based Framework for Contrastive Explanations | 2025 | 10.48550/arxiv.2507.08454 |
| Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics | 2025 | 10.48550/arxiv.2507.01833 |
| On the Evaluation of Test Suites Generated by Large Language Models | 2025 | 10.1007/978-3-032-05188-2_16 |
| Calibrated Recommendations: Survey and Future Directions | 2025 | 10.48550/arxiv.2507.02643 |
| Knowledge graph validation by integrating LLMs and human-in-the-loopInformation Processing & Management | 2025 | 10.1016/j.ipm.2025.104145 |
| Partial Pre-Post Code Tree: A Memory-Efficient Tree Structure for Conjunctive Rule Mining | 2025 | 10.1145/3690624.3709303 |
| Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation | 2025 | 10.1007/978-981-95-2481-5_13 |
| The Temporal Vadalog System: Temporal Datalog-Based ReasoningTheory and Practice of Logic Programming | 2025 | 10.1017/s1471068425000018 |
| Space-Efficient Parameterized Algorithms on Graphs of Low ShrubdepthACM Transactions on Computation Theory | 2025 | 10.1145/3723880 |
| FlashRNN: I/O-Aware Optimization of Traditional RNNs on modern hardware | 2024 | 10.48550/arxiv.2412.07752 |
| Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms | 2024 | 10.48550/arxiv.2405.02486 |
| RePST: Language Model Empowered Spatio-Temporal Forecasting via Semantic-Oriented Reprogramming | 2024 | 10.24963/ijcai.2024/374 |
| Content-driven music recommendation: Evolution, state of the art, and challengesComputer Science Review | 2024 | 10.1016/j.cosrev.2024.100618 |
| Song lyrics have become simpler and more repetitive over the last five decadesScientific Reports | 2024 | 10.1038/s41598-024-55742-x |
| Linear Equations with Min and Max Operators: Computational Complexity | 2024 | 10.48550/arxiv.2412.12228 |
| 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 |
| Density amplifiers of cooperation for spatial gamesProceedings of the National Academy of Sciences | 2024 | 10.1073/pnas.2405605121 |
| Explaining Decisions in ML Models: A Parameterized Complexity Analysis | 2024 | 10.24963/kr.2024/53 |
| ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP | 2024 | 10.24963/kr.2024/24 |
| Scholarly Wikidata: Population and Exploration of Conference Data in Wikidata Using LLMs | 2024 | 10.1007/978-3-031-77792-9_15 |
| Introduction to the Special Issue on Trustworthy Recommender SystemsACM Transactions on Recommender Systems | 2024 | 10.1145/3702249 |
| Segment Any Text: A Universal Approach for Robust, Efficient and Adaptable Sentence Segmentation | 2024 | 10.18653/v1/2024.emnlp-main.… |
| Unlabeled Debiasing in Downstream Tasks via Class-wise Low Variance Regularization | 2024 | 10.18653/v1/2024.emnlp-main.… |
| A Synopsis of FAME 2024 Challenge: Associating Faces with Voices in Multilingual Environments | 2024 | 10.1145/3664647.3688978 |
| aspmc: New frontiers of algebraic answer set countingArtificial Intelligence | 2024 | 10.1016/j.artint.2024.104109 |
| Consistent Query Answering over SHACL Constraints | 2024 | 10.24963/kr.2024/1 |
| Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms | 2024 | 10.4230/lipics.fsttcs.2024.5 |
| Unlabeled Debiasing in Downstream Tasks via Class-wise Low Variance Regularization | 2024 | 10.48550/arxiv.2409.19541 |
| Segment Any Text: A Universal Approach for Robust, Efficient and Adaptable Sentence Segmentation | 2024 | 10.48550/arxiv.2406.16678 |
| Iguanodon: A Code-Breaking Game for Improving Visualization Construction LiteracyIEEE Transactions on Visualization and Computer Graphics | 2024 | 10.1109/tvcg.2024.3468948 |
| A Multimodal Single-Branch Embedding Network for Recommendation in Cold-Start and Missing Modality Scenarios | 2024 | 10.1145/3640457.3688138 |
| Oh, Behave! Country Representation Dynamics Created by Feedback Loops in Music Recommender Systems | 2024 | 10.1145/3640457.3688187 |
| Adaptive large-neighbourhood search for optimisation in answer-set programmingArtificial Intelligence | 2024 | 10.1016/j.artint.2024.104230 |
| Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets | 2024 | 10.48550/arxiv.2410.09428 |
| The Importance of Cognitive Biases in the Recommendation Ecosystem | 2024 | 10.48550/arxiv.2408.12492 |
| Witnesses for Answer Sets of Basic Logic Programs | 2025 | Link |
| On Temporal ASP with Eager Unfoldable Operators | 2025 | Link |
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 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 |
| Reciprocity and inequality in social dilemmas | 2025 | Link |
| Sociotropic Behavior in Voting | 2025 | Link |
| Robustness of Solutions in Game Theory Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games | 2025 | Link |
| Modeling and Managing Temporal Obligations in GUCON Using SPARQL-star and RDF-star | 2025 | Link |
| Qualitative Coding in the Age of AI: An Ontology-Driven Approach | 2025 | Link |
| #IJCAI2025 distinguished paper: Combining MORL with restraining bolts to learn normative behaviour | 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 |
| Reasoning With and About Normative Conflicts | 2025 | Link |
| Integrating Action Choices and Well-Founded Semantics for Deontic Planning | 2025 | Link |
| Handbook on Neurosymbolic AI and Knowledge Graphs | 2025 | — |
| From Experts to LLMs: Evaluating the Quality of Automatically Generated Ontologies | 2025 | Link |
| Energy-Aware Double-Flexible Job Shop Scheduling with Machine Modes and Setup Times: A Real-World Industrial Case Study using Constraint Programming | 2025 | Link |
| Avoiding Overrepresentation: Upper Quota Axioms for Committee Voting | 2025 | Link |
| The Joint Knowledge Graph Labs: Neuro-symbolic Reasoning in Action | 2025 | Link |
| Datalog-based Reasoning for Banking Supervision: is This All a Fantasy? | 2025 | Link |
| AgCyRAG: an Agentic Knowledge Graph based RAG Framework for Automated Security Analysis | 2025 | Link |
| Pattern-based AI Risk Assessment: A Taxonomy Expansion Use Case | 2025 | Link |
| T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints | 2025 | Link |
| Data-Driven Augmentation of Expert Causal Knowledge in Cyber-Physical Systems | 2025 | Link |
| An Ontology for the Common Data Format on Football Match Data | 2025 | Link |
| Expressive Description Logics with Rich Yet Affordable Numeric Constraints (Extended Abstract) | 2025 | Link |
| Monotone Near-Zero-Sum Games | 2025 | Link |
| MIP against Agent: Malicious Image Patches Hijacking Multimodal OS Agents | 2025 | Link |
| Setting is not the Issue in Differential Privacy | 2025 | Link |
| A Transparent and Adaptive AI Assistant for Teaching Knowledge Engineering | 2025 | Link |
| Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming | 2025 | Link |
| Smart Cubing for Graph Search: A Comparative Study | 2025 | Link |
| Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization | 2025 | Link |
| Training One-Dimensional Graph Neural Networks is NP-Hard | 2025 | Link |
| Improving Uncertainty Estimation through Semantically Diverse Language Generation | 2025 | Link |
| Refuting Equivalence in Probabilistic Programs with Conditioning | 2025 | Link |
| Combining MORL with Restraining Bolts to Learn Normative Behaviour | 2025 | Link |
| Hybrid AI for Human-Centric Personalization (HyPer) | 2025 | Link |
| 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 |
| Tackling Temporal Deontic Challenges with Equilibrium Logic | 2025 | Link |
| A Simple Integration of Epistemic Logic and Reinforcement Learning. | 2025 | Link |
| Adversarially Robust Spiking Neural Networks with Sparse Connectivity | 2025 | Link |
| Privacy-aware lifelong learning. | 2025 | Link |
| Effective Bayesian Causal Inference via Structural Marginalisation and Autoregressive Orders | 2025 | Link |
| FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas | 2025 | Link |
| Partial Pre-Post Code Tree: A Memory-Efficient Tree Structure for Conjunctive Rule Mining | 2025 | Link |
| ASP-QRAT: a Conditionally Optimal Dual Proof System for ASP | 2024 | Link |