Open AccessExplicit Representations of Persistency for Propositional Action Theories
Author(s) -
Sergej Scheck,
Alexandre Niveau,
Bruno Zanuttini
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - succinctness , propositional variable , propositional calculus , propositional formula , well formed formula , representation (politics) , computer science , autoepistemic logic , preorder , intermediate logic , mathematics , theoretical computer science , discrete mathematics , description logic , multimodal logic , politics , political science , law