Using mathematical logic in reasoning in multiagent systems / Wael Mohammad Hassan ; Supervised Ford Waghrees Georgy , Tarek Sayed Ahmed , Nefertiti Megahed

By:

Wael Mohammad Hassan

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cairo : Wael Mohammad Hassan , 2012Description: 104P. ; 25cmOther title:

إستخدام المنطق الرياضى فى آليات الإستنتاج فى الأنظمة متعددة الوكلاء البرمجيين [Added title page title]

Subject(s):

Online resources:

Click here to access online

Available additional physical forms:

Issued also as CD

Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics Summary: 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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Copy number	Status	Barcode
Thesis	قاعة الرسائل الجامعية - الدور الاول	المكتبة المركزبة الجديدة - جامعة القاهرة	Cai01.12.17.M.Sc.2012.Wa.U (Browse shelf(Opens below))		Not for loan	01010110058344000
CD - Rom	مخـــزن الرســائل الجـــامعية - البدروم	المكتبة المركزبة الجديدة - جامعة القاهرة	Cai01.12.17.M.Sc.2012.Wa.U (Browse shelf(Opens below))	58344.CD	Not for loan	01020110058344000

Browsing المكتبة المركزبة الجديدة - جامعة القاهرة shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	Cai01.12.17.M.Sc.2012.Ta.P Pseudo - spectral solution for fractional order differential equations /	Cai01.12.17.M.Sc.2012.Wa.E Electroweak baryogenesis in B - L extension of the standard model /	Cai01.12.17.M.Sc.2012.Wa.E Electroweak baryogenesis in B - L extension of the standard model /	Cai01.12.17.M.Sc.2012.Wa.U Using mathematical logic in reasoning in multiagent systems /	Cai01.12.17.M.Sc.2012.Wa.U Using mathematical logic in reasoning in multiagent systems /	Cai01.12.17.M.Sc.2013.Eb.O On the geometry of finslerized parallelizable manifolds /	Cai01.12.17.M.Sc.2013.Eb.O On the geometry of finslerized parallelizable manifolds /	Next

Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics

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

Issued also as CD

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer