Using mathematical logic in reasoning in multiagent systems / (Record no. 39694)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01696cam a2200349 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223030659.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 120930s2012 ua f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.12.17.M.Sc.2012.Wa.U |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Wael Mohammad Hassan |
| 245 10 - TITLE STATEMENT | |
| Title | Using mathematical logic in reasoning in multiagent systems / |
| Statement of responsibility, etc. | Wael Mohammad Hassan ; Supervised Ford Waghrees Georgy , Tarek Sayed Ahmed , Nefertiti Megahed |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | إستخدام المنطق الرياضى فى آليات الإستنتاج فى الأنظمة متعددة الوكلاء البرمجيين |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Wael Mohammad Hassan , |
| Date of publication, distribution, etc. | 2012 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 104P. ; |
| Dimensions | 25cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The 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 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Intelligent agents |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Modal logic |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Reasoning |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ford Waghrees Georgy , |
| Relator term | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nefertiti Megahed , |
| Relator term | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tarek Sayed Ahmed , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Fatma |
| Reviser | Cataloger |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.12.17.M.Sc.2012.Wa.U | 01010110058344000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.12.17.M.Sc.2012.Wa.U | 01020110058344000 | 22.09.2023 | CD - Rom | 58344.CD |