State Defaults and Ramifications in the Unifying Action Calculus.

Ringo Baumann Gerhard Brewka Hannes Strass Michael Thielscher Vadim Zaslawski

Published in: KR (2010)

Keyphrases

transition systems
database
data sets
default reasoning
state transitions
formal language
partial observations