مرکز منطقه ای اطلاع رساني علوم و فناوري - A multi-agent framework for distributed theorem proving

Title of article :

A multi-agent framework for distributed theorem proving

Author/Authors :

Chih-Hung Wu، نويسنده ,

Issue Information :

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

Pages :

From page :

554

To page :

565

Keywords :

Intelligent agents , KQML , Theorem proving , multi-agent system , First-order logic , The hyper-linking strategy

Journal title :

Expert Systems with Applications

Serial Year :

2005

Journal title :

Expert Systems with Applications

Record number :

198295

Link To Document :