%0 Conference Paper %1 patrizi2014action %A Patrizi, Fabio %A Vassos, Stavros %D 2014 %K Genaralized-Databases Progression Projection Situation-Calculus optique-project %T Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) %X In this work we study action theories of the situation calculus such that the initial KB is a generalized database with equality constraints (GFDBs). We show that GFDBs characterize the class of definitional KBs and that they are closed under progression. We also show that, under conditions, generalized projection queries can be decided based on an induced transition system and evaluation of local conditions over states.

@inproceedings{patrizi2014action, abstract = {In this work we study action theories of the situation calculus such that the initial KB is a generalized database with equality constraints (GFDBs). We show that GFDBs characterize the class of definitional KBs and that they are closed under progression. We also show that, under conditions, generalized projection queries can be decided based on an induced transition system and evaluation of local conditions over states.}, added-at = {2014-10-15T16:08:03.000+0200}, audience = {academic}, author = {Patrizi, Fabio and Vassos, Stavros}, biburl = {https://www.bibsonomy.org/bibtex/2cecf9298a5865bc5e9740d2c51386322/savo.fabio}, interhash = {2141427e764ad9cb91c7334fb3460a15}, intrahash = {cecf9298a5865bc5e9740d2c51386322}, keywords = {Genaralized-Databases Progression Projection Situation-Calculus optique-project}, openaccess = {Yes}, partneroptique = {UNIROMA1}, timestamp = {2016-12-01T18:58:45.000+0100}, title = {Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)}, wpoptique = {WP4}, year = 2014, yearoptique = {Y2} }