Software
EpistemicSpecificationInferenceEngine:ESmodels
±UserGuide:(ComeSoon).
7Download
ZhizhengZhang(张志政)
AssociateProfessorofComputerScience
SoutheastUniversity
Email:seu_zzz@seu.edu.cn
Address:SchoolofComputerScienceandEngineering
SoutheastUnversity
No.2,SoutheastStreet
Nanjing,211189
…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………
AreasofInterest
KnowledgeRepresentation,LogicProgramming,KnowledgeEngineering,PureandAppliedLogic
…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………
Research
Iaminterestedindevelopingcomputer-interpretablelanguagesthatarecapableofbothrepresentingandlearningcommonsenseknowledge,andsoftwareforsimulatingintelligentbehaviorandsupportingdecisionmakinginrealworld.
…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………
Teaching
ArtificialIntelligence(Fall)
±Syllabus:(ComeSoon).
&Textbook:ArtificialIntelligence:AModernApproachbyStuartRussell,PeterNorvig,3rdedition
Compiler:PrincipleandPractice(Fall)
±Syllabus.
&Textbook:Compilers:Principles,Techniques,andToolsbyAlfredV.Ahoetal,2ndedition
&Slides
DiscreteMathematics(Spring)
±Syllabus:(ComeSoon).
&Textbook:DiscreteMathematicsandItsApplicationsbyK.Rosen,7thedition
&EducationalLogicSoftware
…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………
Software
EpistemicSpecificationInferenceEngine:ESmodels
±UserGuide
7Download
…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………
Publication
3(Comesoon)
…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………
InterestingLinks
FAssociationofSymbolLogic
FInstituteforLogic,LanguageandComputation
FChineseAssociationofLogic
FStanfordEncyclopediaofPhilosophy
FPhilosophyinHarvard,Oxford,UCB,Stanford,Peking
FLogicinUCB,CMU,WISC
