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/2007/newsitem/1623/14-
 16-May-2007-Correspondence-and-Equivalence-for-Non
 monotonic-Theories-CENT2007-Tempe-AZ-USA
DTSTAMP:20061126T000000
SUMMARY:Correspondence and Equivalence for Nonmono
 tonic Theories  (CENT2007), Tempe AZ, USA
DTSTART;VALUE=DATE:20070514
DTEND;VALUE=DATE:20070516
LOCATION:Tempe AZ, USA
DESCRIPTION:The systematic study of intertheory re
 lations such as strong and uniform equivalence has
  recently become an active sub-area of research in
  the field of LPNMR. Various kinds of corresponden
 ce relations that may hold between logic programs 
 or between nonmonotonic theories have been analyse
 d and shown to be of practical relevance for theor
 y or program transformation, optimisation and modu
 larity. Several systems for verifying such relatio
 ns have been implemented. Different types of knowl
 edge representation and reasoning tasks have begun
  to be explored in this context, such as abductive
  and inductive reasoning, causal reasoning, prefer
 ence-based reasoning or reasoning about updates.  
  In the field of KRR more generally one notes an i
 ncreased interest in inter-theory relations that a
 re relevant for ontologies, eg to describe modular
  ontologies or equivalences between ontologies or 
 their parts. It may therefore be of interest to co
 mbine work in this area with work on equivalences 
 between nonmonotonic rules. We are also interested
  in new results on equivalences between different 
 ontology languages proposed for the Semantic Web, 
 particularly in combinations with (nonmonotonic) r
 ules. Frameworks for study might therefore include
  e.g. DL-programs or hybrid knowledge bases that p
 rovide combinations of a classical or description 
 logic KB with logic programming rules.   For more 
 information, see http://www.kr.tuwien.ac.at/cent20
 07/   The Programme Committee cordially invites al
 l researchers to submit their papers for presentat
 ion. Submission deadline is February 23, 2007.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The s
 ystematic study of intertheory relations such as s
 trong and uniform\n        equivalence has recentl
 y become an active sub-area of research in the\n  
       field of LPNMR. Various kinds of corresponde
 nce relations that may hold\n        between logic
  programs or between nonmonotonic theories have be
 en analysed\n        and shown to be of practical 
 relevance for theory or program\n        transform
 ation, optimisation and modularity. Several system
 s for verifying\n        such relations have been 
 implemented. Different types of knowledge\n       
  representation and reasoning tasks have begun to 
 be explored in this\n        context, such as abdu
 ctive and inductive reasoning, causal reasoning,\n
         preference-based reasoning or reasoning ab
 out updates.\n      </p>\n      <p>In the field of
  KRR more generally one notes an increased interes
 t in\n        inter-theory relations that are rele
 vant for ontologies, eg to describe\n        modul
 ar ontologies or equivalences between ontologies o
 r their parts. It\n        may therefore be of int
 erest to combine work in this area with work on\n 
        equivalences between nonmonotonic rules. We
  are also interested in new\n        results on eq
 uivalences between different ontology languages pr
 oposed for\n        the Semantic Web, particularly
  in combinations with (nonmonotonic) rules.\n     
    Frameworks for study might therefore include e.
 g. DL-programs or hybrid\n        knowledge bases 
 that provide combinations of a classical or descri
 ption\n        logic KB with logic programming rul
 es.\n      </p>\n    \n      \n      <p>For more i
 nformation, see\n        <a target="_blank" href="
 http://www.kr.tuwien.ac.at/cent2007/">http://www.k
 r.tuwien.ac.at/cent2007/</a>\n      </p>\n    </di
 v><div>\n      <p>\n        The Programme Committe
 e cordially invites all researchers\n        to su
 bmit their\n        papers for presentation.\n    
     Submission deadline is February 23, 2007.\n   
    </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1623/14-
 16-May-2007-Correspondence-and-Equivalence-for-Non
 monotonic-Theories-CENT2007-Tempe-AZ-USA
END:VEVENT
END:VCALENDAR