How to progress a database. III

DOI10.1016/J.ARTINT.2012.10.005MaRDI QIDQ360114zbMATH OpenOpenAlexWikidataFDO

Authors Stavros Vassos, Hector J. Levesque

Publication date 26 August 2013

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0004370212001270

Mathematics Subject Classification ID

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

Recommendations

• On first-order definability and computability of progression for local-effect actions and beyond
• How to progress a database
• A Semantical Account of Progression in the Presence of Defaults
• A database-type approach for progressing action theories with bounded effects
• Model-theoretical foundation of action and progression

Cited in

(6)

• On first-order definability and computability of progression for local-effect actions and beyond
• Progression and verification of situation calculus agents with bounded beliefs
• Belief revision and projection in the epistemic situation calculus
• How to progress a database
• A database-type approach for progressing action theories with bounded effects
• Action theories over generalized databases with equality constraints

This page was built for publication: How to progress a database. III

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