Action Theories over Generalized Databases with Equality Constraints (Extended Abstract).

Fabio Patrizi, Stavros Vassos

Browse the full KR paper archive.