Action Theories over Generalized Databases with Equality Constraints

DOI10.1007/978-3-319-11558-0_33zbMath1432.68450OpenAlexW211230487MaRDI QIDQ2938514

Stavros Vassos, Fabio Patrizi

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)

Related Items (2)

Progression of Decomposed Local-Effect Action Theories ⋮ First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounded situation calculus action theories
• How to progress a database. III
• How to progress a database

This page was built for publication: Action Theories over Generalized Databases with Equality Constraints