BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2015/newsitem/6179/23-
 February---12-June-2015-M-Sc-distance-learning-cou
 rse-on-Modal-Logics-and-Description-Logics-Manches
 ter-U-K-
DTSTAMP:20150118T000000
SUMMARY:M.Sc. distance learning course on "Modal L
 ogics and Description  Logics", Manchester, U.K.
DTSTART;VALUE=DATE:20150223
DTEND;VALUE=DATE:20150612
LOCATION:Manchester, U.K.
DESCRIPTION:For many applications, specific domain
  knowledge is required. Instead of coding such kno
 wledge into a specific system in a way that it can
  never be changed (hidden in the overall implement
 ation), different logic-based formalisms for repre
 senting different kinds of knowledge have been dev
 eloped in the last 50 years. In this module, we di
 scuss some of these approaches, namely modal logic
 s and description logics.    Description logics ar
 e mainly designed to represent and reason about th
 e terminology of an application domain and form th
 e logical underpinning of the Semantic Web ontolog
 y language OWL. Modal logics can be used to repres
 ent and reason about the behaviour of systems, for
  example agent based systems. For both logics, aut
 omated reasoning tools have been developed to answ
 er queries about the knowledge representation expl
 icitly. This module provides an introduction to va
 rious modal and description logics, how to formali
 se knowledge and questions about this knowledge in
  these logics, different approaches to automated r
 easoning for these logics, and the relationship be
 tween these logics and first-order logic.    The m
 odule is entirely web-based, so a reliable interne
 t connection is essential. Required Time per Week:
  8-10 hours. A detailed module outline, learning o
 utcomes, assessment information is available from 
 the module website at http://www.cs.manchester.ac.
 uk/study/professional-development/study-options/. 
 Registration deadline: 20 February 2015.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 For many applications, specific domain knowledge i
 s required.\n        Instead of coding such knowle
 dge into a specific system in a\n        way that 
 it can never be changed (hidden in the overall\n  
       implementation), different logic-based forma
 lisms for\n        representing different kinds of
  knowledge have been developed\n        in the las
 t 50 years. In this module, we discuss some of the
 se\n        approaches, namely modal logics and de
 scription logics.\n      </p>\n      <p>\n        
 Description logics are mainly designed to represen
 t and reason\n        about the terminology of an 
 application domain and form the\n        logical u
 nderpinning of the Semantic Web ontology language\
 n        OWL.  Modal logics can be used to represe
 nt and reason about\n        the behaviour of syst
 ems, for example agent based systems. For\n       
  both logics, automated reasoning tools have been 
 developed to\n        answer queries about the kno
 wledge representation\n        explicitly. This mo
 dule provides an introduction to various\n        
 modal and description logics, how to formalise kno
 wledge and\n        questions about this knowledge
  in these logics, different\n        approaches to
  automated reasoning for these logics, and the\n  
       relationship between these logics and first-
 order logic.\n      </p>\n    \n      <p>\n       
  The module is entirely web-based, so a reliable i
 nternet\n        connection is essential.  Require
 d Time per Week: 8-10 hours.\n        A detailed m
 odule outline, learning outcomes, assessment\n    
     information is available from the module websi
 te at\n        <a target="_blank" href="http://www
 .cs.manchester.ac.uk/study/professional-developmen
 t/study-options/distance-learning/atcs/course-modu
 les/comp71130/">http://www.cs.manchester.ac.uk/stu
 dy/professional-development/study-options/</a>.\n 
        Registration deadline: 20 February 2015.\n 
      </p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/6179/23-
 February---12-June-2015-M-Sc-distance-learning-cou
 rse-on-Modal-Logics-and-Description-Logics-Manches
 ter-U-K-
END:VEVENT
END:VCALENDAR