A database-type approach for progressing action theories with bounded effects

MaRDI QIDQ5740458zbMATH OpenFDO

Authors Stavros Vassos, Sebastian Sardiña

Publication date 26 July 2016

zbMATH Keywords

incomplete informationsituation calculusaction theoriessafe-range queries

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• Action theories over generalized databases with equality constraints
• Bounded situation calculus action theories
• How to progress a database
• On first-order definability and computability of progression for local-effect actions and beyond
• How to progress a database. III

Cited in

(7)

• How to progress a database. III
• On first-order definability and computability of progression for local-effect actions and beyond
• Progression and verification of situation calculus agents with bounded beliefs
• Progression of decomposed local-effect action theories
• scientific article; zbMATH DE number 1507285 (Why is no real title available?)
• How to progress a database
• Action theories over generalized databases with equality constraints

This page was built for publication: A database-type approach for progressing action theories with bounded effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740458)