| 000 | 01696cam a2200349 a 4500 | ||
|---|---|---|---|
| 003 | EG-GiCUC | ||
| 005 | 20250223030659.0 | ||
| 008 | 120930s2012 ua f m 000 0 eng d | ||
| 040 |
_aEG-GiCUC _beng _cEG-GiCUC |
||
| 041 | 0 | _aeng | |
| 049 | _aDeposite | ||
| 097 | _aM.Sc | ||
| 099 | _aCai01.12.17.M.Sc.2012.Wa.U | ||
| 100 | 0 | _aWael Mohammad Hassan | |
| 245 | 1 | 0 |
_aUsing mathematical logic in reasoning in multiagent systems / _cWael Mohammad Hassan ; Supervised Ford Waghrees Georgy , Tarek Sayed Ahmed , Nefertiti Megahed |
| 246 | 1 | 5 | _aإستخدام المنطق الرياضى فى آليات الإستنتاج فى الأنظمة متعددة الوكلاء البرمجيين |
| 260 |
_aCairo : _bWael Mohammad Hassan , _c2012 |
||
| 300 |
_a104P. ; _c25cm |
||
| 502 | _aThesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics | ||
| 520 | _aThe field of intelligent agents is concerned with specifying how the different sides of the process of creating computer software is to be modified to provide us with software that can work in an indepentend and efficient manner . This thesis is concerned with reasoning , how we use mathematical logic , modal and temporal logic specially , to make the agent correctly represent and understand the world | ||
| 530 | _aIssued also as CD | ||
| 653 | 4 | _aIntelligent agents | |
| 653 | 4 | _aModal logic | |
| 653 | 4 | _aReasoning | |
| 700 | 0 |
_aFord Waghrees Georgy , _eSupervisor |
|
| 700 | 0 |
_aNefertiti Megahed , _eSupervisor |
|
| 700 | 0 |
_aTarek Sayed Ahmed , _eSupervisor |
|
| 856 | _uhttp://172.23.153.220/th.pdf | ||
| 905 |
_aFatma _eCataloger |
||
| 905 |
_aNazla _eRevisor |
||
| 942 |
_2ddc _cTH |
||
| 999 |
_c39694 _d39694 |
||