Login / Signup

Progression of Decomposed Local-Effect Action Theories.

Denis K. PonomaryovMikhail Soutchanski
Published in: ACM Trans. Comput. Log. (2017)
Keyphrases
  • action theories
  • situation calculus
  • initial state
  • reasoning about actions
  • software engineering
  • deterministic finite state automata
  • natural language
  • logic programming
  • minimal change
  • action descriptions