no code implementations • 16 Jan 2014 • Ivan José Varzinczak
Second we give algorithms for syntactical action theory contraction and establish their correctness with respect to our semantics for those action theories that satisfy a principle of modularity investigated in previous work.