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

zbMATH Open1341.68220MaRDI QIDQ5740458FDOQ5740458

Authors: Stavros Vassos, Sebastian Sardiña 

Publication date: 26 July 2016

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

zbMATH Keywords

incomplete informationsituation calculusaction theoriessafe-range queries

Mathematics Subject Classification ID

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

Cited In (7)

• Progression and verification of situation calculus agents with bounded beliefs
• How to progress a database. III
• How to progress a database
• Title not available (Why is that?)
• Progression of decomposed local-effect action theories
• On first-order definability and computability of progression for local-effect actions and beyond
• 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)