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/2021/newsitem/12860/4-
 --5-November-2021-2nd-Workshop-on-Explainable-Logi
 c-Based-Knowledge-Representation-XLoKR-2021-Hanoi-
 Vietnam-Virtually-
DTSTAMP:20211101T032306
SUMMARY:2nd Workshop on Explainable Logic-Based Kn
 owledge Representation (XLoKR 2021) , Hanoi, Vietn
 am (Virtually)
DTSTART;VALUE=DATE:20211104
DTEND;VALUE=DATE:20211105
LOCATION:Hanoi, Vietnam (Virtually)
DESCRIPTION:The problem of explaining why a conseq
 uence does or does not follow from a given set of 
 axioms has been considered for full first-order th
 eorem proving since at least 40 years, but there u
 sually with mathematicians as users in mind. In kn
 owledge representation and reasoning, efforts in t
 his direction are more recent, and were usually re
 stricted to sub-areas of KR such as AI planning an
 d description logics. The purpose of this workshop
  is to bring together researchers from different s
 ub-areas of KR and automated deduction that are wo
 rking on explainability in their respective fields
 , with the goal of exchanging experiences and appr
 oaches.  Sheila McIlraith and Joe Halpern will del
 iver the keynotes. The workshop will be co-located
  with KR 2021.  Researchers interested in particip
 ating in the workshop should submit extended abstr
 acts of 2-5 pages on topics related to explanation
  in logic-based KR. The papers should be formatted
  in Springer LNCS Style and must be submitted via 
 EasyChair.  The workshop will have informal procee
 dings, and thus, in addition to new work, also pap
 ers covering results that have recently been publi
 shed or will be published at other venues are welc
 ome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The probl
 em of explaining why a consequence does or does no
 t follow from a given set of axioms has been consi
 dered for full first-order theorem proving since a
 t least 40 years, but there usually with mathemati
 cians as users in mind. In knowledge representatio
 n and reasoning, efforts in this direction are mor
 e recent, and were usually restricted to sub-areas
  of KR such as AI planning and description logics.
  The purpose of this workshop is to bring together
  researchers from different sub-areas of KR and au
 tomated deduction that are working on explainabili
 ty in their respective fields, with the goal of ex
 changing experiences and approaches.</p>\n\n  <p>S
 heila McIlraith and Joe Halpern will deliver the k
 eynotes. The workshop will be co-located with <a h
 ref="https://kr2021.kbsg.rwth-aachen.de/" target="
 _blank">KR 2021.</a></p>\n</div><div>\n  <p>Resear
 chers interested in participating in the workshop 
 should submit extended abstracts of 2-5 pages on t
 opics related to explanation in logic-based KR. Th
 e papers should be formatted in Springer LNCS Styl
 e and must be submitted via EasyChair.</p>\n\n  <p
 >The workshop will have informal proceedings, and 
 thus, in addition to new work, also papers coverin
 g results that have recently been published or wil
 l be published at other venues are welcome.</p>\n<
 /div>
URL:https://xlokr21.ai.vub.ac.be/
END:VEVENT
END:VCALENDAR