Baumann, Ringo, University of Leipzig, Germany
-
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning - Reasoning about Action and Action Programs
State Defaults and Ramifications in the Unifying Action Calculus
Abstract PDF