works on
abductive reasoning 1description logic 1dynamic knowledge graphs 1open-world reasoning 1temporal planning 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.AI2026

PIE-APT: A Unified Framework for Temporal Planning and Contradiction Hunting via Incremental Direct-Derivation Abduction

Amir Hossein Sharafi, Alireza Shahbazi

The paper presents PIE-APT, a unified framework that combines incremental direct-derivation abduction (PIE-Abducer) with abductive temporal planning (PIE-APT) to reason and plan ov…