Haodi Zhang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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