书目

The Description Logic Handbook:Theory, Implementation and Applications

内容简介

Inspiteofallthathasbeenwritteninthepastdecadesaboutthefirsthalf-centuryoftheRoyalSociety'sexistence,noonehassofarexaminedjustwhattookplaceattheSociety'sweeklymeetingsnorhowfartheyfulfilledtheexpressedaimofpromoting'experimentallearning'.StudentsoftheearlyRoyalSocietyhaveoftentakenitsaimtohavebeenfullyexpressedinthewritingsofsuchFellowsasBoyle,HookeandNewton,awarethatHookeespeciallyperformedverymanyexperimentsatthemeetingsbetween1662and1703,whileheandotherswroteaboutthenecessityofdoingso.ThisstudyattemptstoanalysethecontentofthemeetingsindetailinordertodiscoverhowfarandinwhatmannertheaimsoftheSocietywerefulfilledintheseventeenthandearlyeighteenthcenturies.ThisbookforthefirsttimeexploresthepracticesoftheSociety'sFellows,andshowshowthesealteredbetween1660and1727.

作者简介

FranzBaaderisaProfessorintheInstituteofTheoreticalComputerScienceatTUDresden.DiegoCalvaneseisAssociateProfessorintheFacultyofComputerScienceattheFreeUniversityofBozen-Bolzano,Italy.DeborahL.McGuinnessisTetherlessWorldSeniorConstellationProfessorintheDepartmentofComputerScienceattheRensselaerPolytechnicInstitute(RPI),NewYork.DanieleNardiisProfessorofArtificialIntelligenceintheDepartmentofInformaticsatUniversit...degliStudidiRoma'LaSapienza',Italy.PeterF.Patel-SchneiderisamemberoftechnicalstaffintheComputingandSoftwarePrinciplesResearchDepartmentoftheEnablingComputingTechnologiesDomainatBellLabsinMurrayHill,NJ,USA.

—  END  —