"Efficient Reasoning About Action and Change in the Presence of Incomplete ..."

Phan Huy Tu (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics