Research map / Multi-agent systems and games / Human-AI and goal-conditioned
Extended Goal Recognition Design with First-Order Computation Tree Logic
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Add cached reuse of FO-CTL subsentence evaluations (ablation) | EGRD search · LOGISTICS | execution time: 6.43 -> 0.90 sec.; 86.0% | Helped |
| Add cached reuse of FO-CTL subsentence evaluations (ablation) | EGRD search · DEPOTS | execution time: 5.87 -> 0.90 sec.; 84.5% | Helped |
| Add cached reuse of FO-CTL subsentence evaluations (ablation) | EGRD search · GRID | execution time: 1.55 -> 0.53 sec.; 65.8% | Helped |
| Add cached reuse of FO-CTL subsentence evaluations (ablation) | EGRD search · BLOCK-WORLD | execution time: 2.94 -> 0.68 sec.; 76.9% | Helped |
| Increase the number of recognized goals | EGRD search · LOGISTICS | execution time: 1.67 -> 7.85 -> 10.86 -> 14.99 | Hurt |
| Increase the number of recognized goals | EGRD search · DEPOTS | execution time: 0.54 -> 2.08 -> 2.41 -> 3.02 | Hurt |
| Increase the number of recognized goals | EGRD search · GRID | execution time: 0.44 -> 4.96 -> 53.55 -> 102.83 | Hurt |
| Increase the number of recognized goals | EGRD search · BLOCK-WORLD | execution time: 0.79 -> 4.43 -> 9.63 -> 17.54 | Hurt |
Closest papers by meaning
- Goal Recognition Design with Non-Observable Actions (AAAI 2016 · similarity 0.88)
- Block-Level Goal Recognition Design (AAAI 2024 · similarity 0.88)
- Stochastic Goal Recognition Design Problems with Suboptimal Agents (AAAI 2022 · similarity 0.86)
- An LP-Based Approach for Goal Recognition as Planning (AAAI 2021 · similarity 0.85)
- GOALNET: Interleaving Neural Goal Predicate Inference with Classical Planning for Generalization in Robot Instruction Following (AAAI 2024 · similarity 0.82)
- GoalLadder: Incremental Goal Discovery with Vision-Language Models (NeurIPS 2025 · similarity 0.81)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.