From

Institution

Field

Type

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

Reset

Papers matching “high-level reasoning” 15

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
A Logic of Only-Believing over Arbitrary Probability Distributions
2023 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge

Qihui Feng, 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
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
Transfer of Hierarchical Reinforcement Learning Structures for Robotic Manipulation Tasks
2020 International Conference on Computational Science and Computational Intelligence (CSCI) conference-paper Computer Science Reinforcement Learning in Robotics

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

7

citations

15 results