Gregor Behnke
Albert-Ludwigs-Universität Freiburg
H-index: 21
Europe-Germany
Top articles of Gregor Behnke
The 2023 International Planning Competition
2024/4/5
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report
arXiv preprint arXiv:2403.17826
2024/3/26
Gregor Behnke
H-Index: 16
Symbolic Reasoning Methods for AI Planning
Proceedings of the AAAI Conference on Artificial Intelligence
2024/3/24
Gregor Behnke
H-Index: 16
Learning Planning Domains from Non-Redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis
2024
Gregor Behnke
H-Index: 16
On total-order HTN plan verification with method preconditions–an extension of the CYK parsing algorithm
Proceedings of the AAAI Conference on Artificial Intelligence
2023/6/26
Gregor Behnke
H-Index: 16
Pascal Bercher
H-Index: 19
On the Semantic Difference of Judicial and Standard Language
2023/6/19
Gregor Behnke
H-Index: 16
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
The International FLAIRS Conference Proceedings
2023/5/8
Pascal Bercher
H-Index: 19
Gregor Behnke
H-Index: 16
On the Impact of Grounding on HTN Plan Verification via Parsing.
2023
Pascal Bercher
H-Index: 19
Gregor Behnke
H-Index: 16
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning
2023/10
Gregor Behnke
H-Index: 16
Pascal Bercher
H-Index: 19
On partial satisfaction planning with total-order HTNs
Proceedings of the International Conference on Automated Planning and Scheduling
2023/7/1
Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems
33rd PuK Workshop “Planen, Scheduling und Konfigurieren, Entwerfen”, PuK
2022/9/19
Gregor Behnke
H-Index: 16
Pascal Bercher
H-Index: 19
Making translations to classical planning competitive with other HTN planners
Proceedings of the AAAI Conference on Artificial Intelligence
2022/6/28
Encoding lifted classical planning in propositional logic
Proceedings of the International Conference on Automated Planning and Scheduling
2022/6/13
Daniel Höller
H-Index: 16
Gregor Behnke
H-Index: 16
Compiling HTN plan verification problems into HTN planning problems
Proceedings of the International Conference on Automated Planning and Scheduling
2022/6/13
On heuristics for parsing-based verification of hierarchical plans with a goal task
The International FLAIRS Conference Proceedings
2022/5/4
Pascal Bercher
H-Index: 19
Gregor Behnke
H-Index: 16
Quantifizierung fachsprachlich bedingter Bedeutungsunterschiede in Gerichtsentscheidungen
Zeitschrift für Digitalisierung und Recht (ZfDR)
2022
Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving
HPlan 2022
2022
Gregor Behnke
H-Index: 16
Pascal Bercher
H-Index: 19
On the verification of totally-ordered HTN plans
2021/11/1
Gregor Behnke
H-Index: 16
Pascal Bercher
H-Index: 19
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement—Bringing a Planning-Based Interactive DIY Assistant to Life
KI-Künstliche Intelligenz
2021/11
The PANDA framework for hierarchical planning
KI-Künstliche Intelligenz
2021/11