BEGIN:VCALENDAR
VERSION:2.0
PRODID:-// - ECPv6.15.15//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://isdm.umontpellier.fr
X-WR-CALDESC:Évènements pour 
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250324T100000
DTEND;TZID=Europe/Paris:20250324T100000
DTSTAMP:20260502T231757
CREATED:20250603T090101Z
LAST-MODIFIED:20250603T090101Z
UID:7052-1742810400-1742810400@isdm.umontpellier.fr
SUMMARY:Datalog Fact Explanation Using Group-SAT Solver
DESCRIPTION:Salle des conseils P Raynaud\, au 2ème étage\, du bâtiment 11 dit le château\, 2 Place Pierre Viala Campus La Gaillarde\nSEmantic web SeminAr MontpEllier\nPierre BISQUERT (INRAE IATE) \nOne of the major benefits of symbolic AI is explainability. When new knowledge is obtained via a reasoning process\, it is possible to determine precisely the elements of the knowledge base that yield this knowledge. Typically\, one would use a SAT solver to compute the explanations. However\, SAT-solving is computationally expensive\, and as the knowledge base grows\, the time required increases exponentially. \n            En savoir plus
URL:https://isdm.umontpellier.fr/event/datalog-fact-explanation-using-group-sat-solver/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR