From

Institution

Field

Type

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

Reset

Papers matching “high-level reasoning” 25

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations
The Carologistics RoboCup Logistics Team 2020
2020 RWTH Publications (RWTH Aachen) report Computer Science Robotic Path Planning Algorithms Open access

Till Hofmann, Sebastian Eltester, Tarik Viehmann, Nicolas Limpert, Victor Mataré, Alexander Ferrein, +1 more

0

citations
Automatic Generation of Efficient Linear Algebra Programs
2020 Platform for Advanced Scientific Computing Conference (PASC) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Christos Psarras

7

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Semantic Enrichment of CAD-Based Industrial Environments via Scene Graphs for Simulation and Reasoning
2026 RWTH Publications (RWTH Aachen) conference-paper Engineering Simulation and Modeling Applications Open access

Nathan Pascal Walus, Ranulfo BEZERRA, Shotaro Kojima, Tsige Tadesse Alemayoh, Satoshı Tadokoro, Kazunori Ohno

0

citations
Innovation in Cardiothoracic Surgery: From Incremental Progress to Transformative Change
2026 European Journal of Cardio-Thoracic Surgery editorial Medicine Cardiac and Coronary Surgery Techniques Open access

Friedhelm Beyersdorf, Patrick O. Myers, Mario F.L. Gaudino, Mark Hazekamp

1

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

1

citations
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

0

citations
Generative News Recommendation
2024 ACM Web Conference (WWW) conference-paper Computer Science Recommender Systems and Techniques Open access

Shen Gao, Jiabao Fang, Quan Tu, Zhitao Yao, Zhumin Chen, Pengjie Ren, +1 more

26

citations
Generative News Recommendation
2024 arXiv (Cornell University) preprint Computer Science Recommender Systems and Techniques Open access

Shen Gao, Jiabao Fang, Quan Tu, Zhitao Yao, Zhumin Chen, Pengjie Ren, +1 more

0

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Johannes C. Lehmann, Joost-Pieter Katoen

0

citations
Cascaded Feature-Mask Fusion for Foreground Segmentation
2022 IEEE Open Journal of Intelligent Transportation Systems article Computer Science Video Surveillance and Tracking Methods Open access

Chuanyun Xu, Huan Liu, Tenghui Li, Yang Zhang, Li Tian, Gang Li

7

citations
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann, Vaishak Belle

0

citations
Cecily Rose, Review of Fulvia Staiano. Transnational Organized Crime: Challenging International Law Principles on State Jurisdiction
2023 European Journal of International Law article Social Sciences International Law and Human Rights Open access

Cecily Rose

0

citations
The use of foundational ontologies in biomedical research
2023 Journal of Biomedical Semantics article Biochemistry, Genetics and Molecular Biology Biomedical Text Mining and Ontologies Open access

César H. Bernabé, Núria Queralt-Rosiñach, Vítor E. Silva Souza, Luiz Olavo Bonino da Silva Santos, Barend Mons, Annika Jacobsen, +1 more

24

citations
The use of Foundational Ontologies in Bioinformatics
2022 Research Square preprint Biochemistry, Genetics and Molecular Biology Biomedical Text Mining and Ontologies Open access

César H. Bernabé, Núria Queralt-Rosiñach, Vítor E. Silva Souza, Luiz Olavo Bonino da Silva Santos, Barend Mons, Annika Jacobsen, +1 more

1

citations
Septum resection versus expectant management in women with a septate uterus: an international multicentre open-label randomized controlled trial
2021 Human Reproduction article Medicine Gynecological conditions and treatments Open access

J F W Rikken, Claudia R. Kowalik, M.H. Emanuel, Marlies Y. Bongers, Taeke Spinder, Frank Willem Jansen, +9 more

158

citations
Toward Adaptive Human–Robot Collaboration for the Inclusion of People with Disabilities in Manual Labor Tasks
2023 Electronics article Engineering Robot Manipulation and Learning Open access

Nils Mandischer, Marius Gürtler, Carlo Weidemann, Elodie Hüsing, Stefan-Octavian Bezrucav, Daniel Gossen, +3 more

23

citations
What Is the Best Way to Optimally Parameterize the MPC Cost Function for Vehicle Guidance?
2023 Mathematics article Engineering Vehicle Dynamics and Control Systems Open access

Robert Ritschel, Felix Krabbes, Rick Voßwinkel, Hendrik Richter

8

citations
What is the Best Way to Optimally Parameterize the MPC Cost Function for Vehicle Guidance?
2022 arXiv (Cornell University) preprint Engineering Vehicle Dynamics and Control Systems Open access

Robert Ritschel, Felix Krabbes, Rick Voßwinkel, Hendrik Richter

0

citations
Agentic AI in the next frontier of model-based software engineering: the arrival of AI-hyper-agile software engineering methods?
2026 Software & Systems Modeling article Engineering Systems Engineering Methodologies and Applications Open access

M. Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

0

citations
PMAx: An Agentic Framework for AI-Driven Process Mining
2026 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Anton Antonov, Humam Kourani, Alessandro Berti, Gyunam Park, Wil M. P. van der Aalst

0

citations
PMAx: An Agentic Framework for AI-Driven Process Mining
2026 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Humam Kourani, Alessandro Berti, Gyunam Park, Wil M. P. van der Aalst

0

citations

25 results