Skip to content

A Composable Language for Action Models.

Tim French, James Hales, Edwin Tay

VenueBAiML
Year2014
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.