From

Institution

Field

Type

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

Reset

Papers matching “first-order methods” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Review, Evaluation and Application of Condensing Algorithms for Model Predictive Control based on a First-Order Method
2023 European Control Conference (ECC) conference-paper Engineering Advanced Control Systems Optimization

Lukas Schmitt, Niklas Nickig, Matthias Bähr, Sönke Gößling, Dirk Abel

1

citations
Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
2025 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Qihui Feng, Hannah M. Wilk, Shakil M. Khan, Gerhard Lakemeyer

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Root Cause Analysis Using Rule Mining on Object-Centric Event Logs
2025 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Benedikt Knopp, Mahsa Pourbafrani, Wil M. P. van der Aalst

3

citations
Elimination Techniques for Algorithmic Differentiation Revisited
2023 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Numerical Methods and Algorithms

Uwe Naumann, Erik Schneidereit, Simon Märtens, Markus Towara

0

citations
Satisficing and Optimal Generalised Planning via Goal Regression
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science AI-based Problem Solving and Planning Open access

Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith

0

citations
Center-Outward q-Dominance: A Sample-Computable Proxy for Strong Stochastic Dominance in Stochastic Multi-Objective Optimisation
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Robin van der Laag, Hao Wang, Thomas Bäck, Yingjie Fan

0

citations

7 results