Exploiting a Relational DBMS for Reasoning about Actions

Abstract

It is known that Reiter’s situation calculus basic action theories are tightly related to relational databases, when complete information on the initial situation is available. In particular the information on the initial situation can be seen as a relational database and action, as specified by the preconditions and successor state axioms can be seen as… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics