مرکز منطقه ای اطلاع رساني علوم و فناوري - Integrating Discrete and Continuous Change in a Logical Framework

Title of article :

Integrating Discrete and Continuous Change in a Logical Framework

Author/Authors :

Javier A. Pinto، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

temporal reasoning • situation calculus • natural actions • continuous change • frame and ramification problems

Journal title :

Computational Intelligence

Serial Year :

1999

Journal title :

Computational Intelligence

Record number :

311187

Link To Document :