Skip to content
Sagan

Paper

On the Size Complexity and Decidability of First-Order Progression

Unreadunread

AI summary

arXiv:2605. 12691v1 Announce Type: new Abstract: Progression, the task of updating a knowledge base to reflect action effects, generally requires second-order logic.