From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “symbolic reasoning” 31

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

OntoURL: A benchmark for evaluating large language models on symbolic ontological understanding, reasoning and learning
2026 Journal of Web Semantics article Computer Science Semantic Web and Ontologies Open access

Xiao Zhang, Huiyuan Lai, Qianru Meng, Johan Bos

12

citations
Simulated Reasoning is Reasoning
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Hendrik Kempt, Alon Lavie

1

citations
AI Reasoning
2025 Underline Science Inc. other Computer Science Logic, Reasoning, and Knowledge Open access

Subbarao Kambhampati B

0

citations
Bayesian Inference by Symbolic Model Checking
2020 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

10

citations
Open CPS: A Symbolic Model
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Farhad Arbab, Carolyn Talcott

0

citations
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Moein E. Samadi, Andreas Schuppert

0

citations
State Design Matters: How Representations Shape Dynamic Reasoning in Large Language Models
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Annie Wong, Aske Plaat, Thomas Bäck, Bas van Stein, Anna V. Kononova

1

citations
EvoMO-SR: Multiobjective LLM-based Evolution of Symbolic Expressions with substructure guidance
2026 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Cristina Rossetti, Anna V. Kononova, Thomas Bäck, Fei Liu, Niki van Stein

0

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Large physics models: towards a collaborative approach with large language models and foundation models
2025 The European Physical Journal C article Computer Science Artificial Intelligence Applications Open access

Kristian González Barman, S. Caron, Emily Sullivan, Henk W. de Regt, Roberto Ruiz de Austri, Mieke Boon, +16 more

42

citations
Large Physics Models: Towards a collaborative approach with Large Language Models and Foundation Models
2025 Archive ouverte UNIGE (University of Geneva) article Computer Science Artificial Intelligence Applications Open access

Kristian González Barman, S. Caron, Emily Sullivan, Henk W. de Regt, Roberto Ruiz de Austri, Mieke Boon, +15 more

1

citations
LLM-guided semantic vtrees for SDD compilation: code and data
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Logic, Reasoning, and Knowledge Open access

Alexis de Colnet, Stefan Szeider

0

citations
LLM-guided semantic vtrees for SDD compilation: code and data
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Logic, Reasoning, and Knowledge Open access

Alexis de Colnet, Stefan Szeider

0

citations
Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

8

citations
Probabilistic Multi-agent Only-Believing
2024 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge

Qihui Feng, Gerhard Lakemeyer

0

citations
Learning General Policies from Examples
2025 Principles of Knowledge Representation and Reasoning conference-paper Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Héctor Geffner

0

citations
The need for ethical guidelines in mathematical research in the time of generative AI
2025 AI and Ethics article Computer Science Ethics and Social Impacts of AI Open access

Markus Pantsar

5

citations
Multi-modal multi-objective model-based genetic programming to find multiple diverse high-quality models
2022 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

E. M. C. Sijben, Tanja Alderliesten, Peter A. N. Bosman

12

citations
Multi-modal multi-objective model-based genetic programming to find multiple diverse high-quality models
2022 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

E. M. C. Sijben, Tanja Alderliesten, Peter A. N. Bosman

0

citations
Foundations for Entailment Checking in Quantitative Separation Logic
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

4

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

1

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations