Depth-Bounded Epistemic Planning
Fuente:
arXiv
Saved in:
| Main Authors: | Bolander, Thomas, Burigana, Alessandro, Montali, Marco |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Epistemic Planning Domain Definition Language: Official Guideline
by: Burigana, Alessandro, et al.
Published: (2026)
by: Burigana, Alessandro, et al.
Published: (2026)
Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)
by: Bolander, Thomas, et al.
Published: (2024)
Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026)
by: Gianola, Alessandro, et al.
Published: (2026)
A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
by: Belardinelli, Gaia, et al.
Published: (2025)
by: Belardinelli, Gaia, et al.
Published: (2025)
Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)
by: Gianola, Alessandro, et al.
Published: (2023)
T-ILR: a Neurosymbolic Integration for LTLf
by: Andreoni, Riccardo, et al.
Published: (2025)
by: Andreoni, Riccardo, et al.
Published: (2025)
Active Epistemic Control for Query-Efficient Verified Planning
by: Qu, Shuhui
Published: (2026)
by: Qu, Shuhui
Published: (2026)
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings
by: Karia, Rushang, et al.
Published: (2024)
by: Karia, Rushang, et al.
Published: (2024)
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)
Generating Counterfactual Explanations Under Temporal Constraints
by: Buliga, Andrei, et al.
Published: (2025)
by: Buliga, Andrei, et al.
Published: (2025)
Formal Foundations of Agentic Business Process Management
by: De Giacomo, Giuseppe, et al.
Published: (2026)
by: De Giacomo, Giuseppe, et al.
Published: (2026)
On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
by: Alman, Anti, et al.
Published: (2026)
by: Alman, Anti, et al.
Published: (2026)
Beyond Static Assumptions: the Predictive Justified Perspective Model for Epistemic Planning
by: Hu, Guang, et al.
Published: (2024)
by: Hu, Guang, et al.
Published: (2024)
Explore Before You Solve: The Speed--Depth Trade-off in Epistemic Agents for ARC-AGI-3
by: Han, Liew Keong
Published: (2026)
by: Han, Liew Keong
Published: (2026)
Belief Graphs with Reasoning Zones: Structure, Dynamics, and Epistemic Activation
by: Nikooroo, Saleh, et al.
Published: (2025)
by: Nikooroo, Saleh, et al.
Published: (2025)
Scaling Multi-Agent Epistemic Planning through GNN-Derived Heuristics
by: Briglia, Giovanni, et al.
Published: (2025)
by: Briglia, Giovanni, et al.
Published: (2025)
What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS
by: Hu, Guang, et al.
Published: (2019)
by: Hu, Guang, et al.
Published: (2019)
Credal Concept Bottleneck Models for Epistemic-Aleatoric Uncertainty Decomposition
by: Mukherjee, Tanmoy, et al.
Published: (2026)
by: Mukherjee, Tanmoy, et al.
Published: (2026)
Epistemic Injustice in Generative AI
by: Kay, Jackie, et al.
Published: (2024)
by: Kay, Jackie, et al.
Published: (2024)
Epistemic Reject Option Prediction
by: Franc, Vojtech, et al.
Published: (2025)
by: Franc, Vojtech, et al.
Published: (2025)
Abducing Compliance of Incomplete Event Logs
by: Chesani, Federico, et al.
Published: (2016)
by: Chesani, Federico, et al.
Published: (2016)
Model-Based Epistemic Variance of Values for Risk-Aware Policy Optimization
by: Luis, Carlos E., et al.
Published: (2023)
by: Luis, Carlos E., et al.
Published: (2023)
Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
by: Ringstrom, Thomas J., et al.
Published: (2020)
by: Ringstrom, Thomas J., et al.
Published: (2020)
Architecting Trust in Artificial Epistemic Agents
by: Marchal, Nahema, et al.
Published: (2026)
by: Marchal, Nahema, et al.
Published: (2026)
Epistemic Deference to AI
by: Lange, Benjamin
Published: (2025)
by: Lange, Benjamin
Published: (2025)
Causal EpiNets: Precision-corrected Bounds on Individual Treatment Effects using Epistemic Neural Networks
by: Patil, Gandharv, et al.
Published: (2026)
by: Patil, Gandharv, et al.
Published: (2026)
When Planning Fails Despite Correct Execution: On Epistemic Calibration for LLM-Based Multi-Agent Systems
by: Wang, Zehao, et al.
Published: (2026)
by: Wang, Zehao, et al.
Published: (2026)
Reward Bound for Behavioral Guarantee of Model-based Planning Agents
by: An, Zhiyu, et al.
Published: (2024)
by: An, Zhiyu, et al.
Published: (2024)
Controlled Query Evaluation through Epistemic Dependencies
by: Cima, Gianluca, et al.
Published: (2024)
by: Cima, Gianluca, et al.
Published: (2024)
Can Structured Data Reduce Epistemic Uncertainty?
by: S, Shriram M, et al.
Published: (2024)
by: S, Shriram M, et al.
Published: (2024)
Introduction to AI Planning
by: Aiello, Marco, et al.
Published: (2024)
by: Aiello, Marco, et al.
Published: (2024)
TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
by: Suprun, Yuliia, et al.
Published: (2026)
by: Suprun, Yuliia, et al.
Published: (2026)
Platform-Aware Mission Planning
by: Panjkovic, Stefan, et al.
Published: (2025)
by: Panjkovic, Stefan, et al.
Published: (2025)
Epistemic Logic Programs: a study of some properties
by: Costantini, Stefania, et al.
Published: (2023)
by: Costantini, Stefania, et al.
Published: (2023)
Invariant Transformation and Resampling based Epistemic-Uncertainty Reduction
by: Hu, Sha
Published: (2026)
by: Hu, Sha
Published: (2026)
Belief Filtering for Epistemic Control in Linguistic State Space
by: Dumbrava, Sebastian
Published: (2025)
by: Dumbrava, Sebastian
Published: (2025)
Belief Injection for Epistemic Control in Linguistic State Space
by: Dumbrava, Sebastian
Published: (2025)
by: Dumbrava, Sebastian
Published: (2025)
Path Planning based on 2D Object Bounding-box
by: Huang, Yanliang, et al.
Published: (2024)
by: Huang, Yanliang, et al.
Published: (2024)
Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)
by: Micheli, Andrea, et al.
Published: (2026)
Reflection-Bench: Evaluating Epistemic Agency in Large Language Models
by: Li, Lingyu, et al.
Published: (2024)
by: Li, Lingyu, et al.
Published: (2024)
Similar Items
-
The Epistemic Planning Domain Definition Language: Official Guideline
by: Burigana, Alessandro, et al.
Published: (2026) -
Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024) -
Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026) -
A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
by: Belardinelli, Gaia, et al.
Published: (2025) -
Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)