TY  - BOOK
AU  - Wael Mohammad Hassan
AU  - Ford Waghrees Georgy , 
AU  - Nefertiti Megahed , 
AU  - Tarek Sayed Ahmed , 
TI  - Using mathematical logic in reasoning in multiagent systems / 
PY  - 2012///
CY  - Cairo : 
PB  - Wael Mohammad Hassan , 
KW  - Intelligent agents
KW  - Modal logic
KW  - Reasoning
N1  - Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics; Issued also as CD
N2  - 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
UR  - http://172.23.153.220/th.pdf
ER  -