2 papers
cs.AI2026
Logical Regression for Planning with Axioms
Connor Little, Christian Muise
In automated planning, logical regression is an operation that returns the most general condition necessary for an action to achieve a particular formula. It has many applications,…
cs.GT2026
Domain Design for the Cops and Robbers Problem
Connor Little, Meagan Mann, Erin Meger +1
Cops and Robbers is a well-studied problem in graph theory. The setting consists of a robber and one or more cops placed on an undirected graph. Taking turns moving throughout the…