From

Institution

Field

Type

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

Reset

Papers matching “high-level reasoning” 17

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 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 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Christos Psarras

7

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

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

0

citations
A Logic of Only-Believing over Arbitrary Probability Distributions
2023 conference-paper Computer Science Logic, Reasoning, and Knowledge

Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

0

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
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
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
Transfer of Hierarchical Reinforcement Learning Structures for Robotic Manipulation Tasks
2020 conference-paper Computer Science Reinforcement Learning in Robotics

Christian Scheiderer, Malte Mosbach, Andrés Felipe Posada-Moreno, Tobias Meisen

7

citations
Toward Adaptive Human–Robot Collaboration for the Inclusion of People with Disabilities in Manual Labor Tasks
2023 Electronics article Computer Science Context-Aware Activity Recognition Systems 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 Advanced Control Systems Optimization Open access

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

8

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 Computer Science Multi-Agent Systems and Negotiation 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
What is the Best Way to Optimally Parameterize the MPC Cost Function for Vehicle Guidance?
2022 arXiv (Cornell University) preprint Engineering Advanced Control Systems Optimization Open access

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

0

citations

17 results