"Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws ..."

a service of  Schloss Dagstuhl - Leibniz Center for Informatics