مرکز منطقه ای اطلاع رساني علوم و فناوري - Toward a Model Theory of Actions: How Agents do it in Branching Time

Title of article :

Toward a Model Theory of Actions: How Agents do it in Branching Time

Author/Authors :

Munindar P. Singh، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2007

Pages :

From page :

287

To page :

317

Keywords :

actions • time • formal models • branching-time temporal logics

Journal title :

Computational Intelligence

Serial Year :

2007

Journal title :

Computational Intelligence

Record number :

311195

Link To Document :