1 Tableaux Systems Tutorial at 1st School on Universal Logic Montreux, 26-27 March 2005 Andreas Herzig IRIT-CNRS Toulouse Andreas.Herzig
Plan Recognition with Multi-Entity Bayesian Networks