
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