From

Institution

Field

Type

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

Reset

Papers matching “symbolic reasoning” 55

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
The relation between graphing formulas by hand and students’ symbol sense
2020 Educational Studies in Mathematics article Social Sciences Mathematics Education and Teaching Techniques Open access

Peter Kop, Fred J. J. M. Janssen, Paul H. M. Drijvers, Jan H. VAN DRIEL

16

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
Honing Tools of the Mind: A Dynamic Framework for the Study of Symbolic Behavior in Early Human Evolution
2024 preprint Social Sciences Pleistocene-Era Hominins and Archaeology Open access

Kristian Tylén, Shumon T. Hussain, Elizabeth C. Velliky, Roberto Martínez González, Larissa Mendoza Straffon

5

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
Who’s Here and Who’s Coming: Rethinking Symbolic Representation in Public Sector Recruitment
2025 Review of Public Personnel Administration article Social Sciences Gender Diversity and Inequality Open access

Martin Sievert, Claudio Buongiorno Sottoriva, Petra van den Bekerom

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
The Hambach Forest in the German Debate on Climate Protection: Is There a Symbolic Value beyond the Environmental Value?
2022 IntechOpen eBooks book-chapter Economics, Econometrics and Finance Economic and Environmental Valuation Open access

Meike Henseleit, Sandra Venghaus, Wilhelm Kuckshinrichs

0

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
Karlo Basta. 2021. The Symbolic State. Minority Recognition, Majority Backlash, and Secession in Multinational Countries.
2023 Zeitschrift für Vergleichende Politikwissenschaft article Social Sciences Political Systems and Governance Open access

Jared Sonnicksen

0

citations
A Grid Cell-Inspired Structured Vector Algebra for Cognitive Maps
2025 Neuro Inspired Computational Elements Conference (NICE) conference-paper Neuroscience Memory and Neural Mechanisms Open access

Sven Krausse, Emre Neftci, Friedrich T. Sommer, Alpha Renner

1

citations
The Demands of Simple and Complex Arithmetic Word Problems on Language and Cognitive Resources
2021 Frontiers in Psychology article Mathematics Cognitive and developmental aspects of mathematical skills Open access

Marian Hickendorff

17

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