How to progress a database. III

DOI10.1016/J.ARTINT.2012.10.005zbMath1270.68291OpenAlexW2045716498WikidataQ57549509 ScholiaQ57549509MaRDI QIDQ360114

Hector J. Levesque, Stavros Vassos

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

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

Related Items (3)

Progression and verification of situation calculus agents with bounded beliefs ⋮ Action Theories over Generalized Databases with Equality Constraints ⋮ Belief revision and projection in the epistemic situation calculus

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