BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260612T211914Z
DTSTART;TZID=Australia/Melbourne:20181130T060000
DTEND;TZID=Australia/Melbourne:20181130T080000
SUMMARY:Forgetting What Agents Know: Removing (Positive) Information in Epistemic Logic
UID:20260613T223137Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Timo Eckhardt (Melbourne) will present "Forgetting What Agents Know: Removing (Positive) Information in Epistemic Logic"\, at 11 on 30 November in Old Quad G10.</p>\n<p>Abstract: In the standard Kripke model representation of epistemic logic it is not possible to model loss of information for agents of the systems. Once something is known it cannot be unlearned. In "Forgetting complex propositions" by Fernandez-Duque et al.\, a method was introduced that allows us to model forgetting of propositional formulas in a single agent system. The goal of this talk is to show a generalisation of this approach to a) multiple agents and b) positive knowledge formulas\, i.e. formulas that do not include negated knowledge statements\, i.e. statements that an agent does not know something.</p>\n&nbsp\;
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR