Action theories over generalized databases with equality constraints

DOI10.1007/978-3-319-11558-0_33MaRDI QIDQ2938514zbMATH OpenOpenAlexFDO

Authors Fabio Patrizi, Stavros Vassos

Publication date 14 January 2015

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11558-0_33

Mathematics Subject Classification ID

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

Recommendations

• A database-type approach for progressing action theories with bounded effects
• Bounded situation calculus action theories
• How to progress a database. III
• How to progress a database
• Finitely representable databases

Cites work

• A mathematical introduction to logic.
• Bounded situation calculus action theories
• How to progress a database
• How to progress a database. III
• scientific article; zbMATH DE number 1059247 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• On the expressiveness of Levesque's normal form

Cited in

(5)

• How to progress a database
• First-order -calculus over generic transition systems and applications to the situation calculus
• Equality of agent expressions is preserved under an extension of the universe of actions
• Progression of decomposed local-effect action theories
• A database-type approach for progressing action theories with bounded effects

This page was built for publication: Action theories over generalized databases with equality constraints

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