![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Keywords: استدلال مبتنی بر مدل; Agent-based Ambient Intelligence applications; Model-based reasoning; Default logic; Simulation; Formal analysis