E-STRIPS: Existential Quantification in Planning and Constraint Satisfaction

TitleE-STRIPS: Existential Quantification in Planning and Constraint Satisfaction
Publication TypeConference Paper
Year of Publication2016
AuthorsFrancès, G, Geffner, H
Conference NameProc. 25th Int. Joint Conf. on Artificial Intelligence