Department of Computer, Control and Management Engineering

We devise a succinct knowledge representation framework based on a nondeterministic variant of a well-known Artificial Intelligence formalism, called PDDL, for representing dynamic domains in Planning. We represent the environment and the agents' (high-level) behavior as distinct PDDL action...