Interaction Laws Verification Using Knowledge-based Reasoning Gustavo Carvalho, Anarosa Brandão, Rodrigo Paes & Carlos Lucena By Regiane Lima Overview We have applied…