Learn More
We consider a simple language for writing causal action theories, and postulate several properties for the state transition models of these theories. We then consider some possible embeddings of these causal action theories in some other action formalisms , and their implementations in logic programs with answer set semantics. In particular, we propose to(More)
  • 1