Non-situation calculus and database systems

DOI10.1007/3-540-46564-2_11MaRDI QIDQ4504010zbMATH OpenFDO

Authors Pedro Matos, João Paulo Martins

Publication date 14 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46564-2_11

zbMATH Keywords

non-situation calculus

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 970717
• How to progress a database
• Specifying database transactions and active rules in the situation calculus
• A database-type approach for progressing action theories with bounded effects
• On specifying database updates

This page was built for publication: Non-situation calculus and database systems

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