BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//chikkutakku.com//RDFCal 1.0//EN
X-WR-CALDESC:GoogleカレンダーやiCalendar形式情報を共有シェ
 アしましょう。近所のイベントから全国のイベントま
 で今日のイベント検索やスケジュールを決めるならち
 っくたっく
X-WR-CALNAME:ちっくたっく
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:School of IT seminar slot (compulsory if scheduled)
DTSTART;VALUE=DATE-TIME:20260305T110000Z
DTEND;VALUE=DATE-TIME:20260305T115000Z
UID:332428163175
DESCRIPTION:Where: CS2A\, Computer Science building\n\nSpeaker: Jonas Hald
 imann\n\nTitle:\n\nReasoning in Defeasible Description Logics with System 
 W and\nLexicographic Entailment\n\nAbstract:\n\nDescription logics (DLs) h
 ave many uses in AI and database\napplications but\, like other classical 
 logics\, they are unable to deal\nappropriately with defeasible informatio
 n. In their 2021 paper\, Britz\net al. developed a framework for defeasibl
 e DLs\, allowing for\nreasoning with a combination of defeasible inclusion
 s and classical\nALC inclusions. Their framework is a version of rational 
 closure\, a\nform of defeasible reasoning initially developed for a propos
 itional\nsetting\, that they adapted to the description logic case. In thi
 s\npaper we extend the approach by Britz et al. by adapting two\nadditiona
 l forms of reasoning to defeasible DLs: System W and\nlexicographic closur
 e. Both are established forms of entailment for\npropositional defeasible 
 reasoning and have been shown to satisfy a\nnumber of favourable propertie
 s. For each of these we present a\nmodel-based definition\, investigate th
 eir basic behaviour by\nestablishing the connection to the respective prop
 ositional versions\,\nand provide algorithms for computing them.\n\nBiogra
 phy:\n\nDr. Jonas Philipp Haldimann is a Junior Research Fellow at the\nUn
 iversity of Cape Town\, where his research focuses on artificial\nintellig
 ence with an emphasis on nonmonotonic reasoning (NMR) and\nknowledge repre
 sentation (KR). He earned his doctorate from the\nFernUniversität in Hage
 n (Germany) for his award-winning thesis\nregarding nonmonotonic reasoning
  with defeasible (propositional)\nrules. Besides his research\, Jonas is a
 n active member of the KR\nresearch community\, regularly serving as a pro
 gram committee member\nfor leading conferences and organizing the NMR onli
 ne seminar.\nRecently\, his work has expanded to include defeasible descri
 ption\nlogics\, which includes the work presented in this talk.
LOCATION:CS2A
END:VEVENT
END:VCALENDAR