[PlanetKR] NMR Online Seminar Reminder – Next Talk on Mar. 12 by Federica Di Stefano

Jonas Haldimann jonas at haldimann.de
Tue Mar 11 12:30:11 UTC 2025


Hi everyone,

this is a brief reminder of the next talk in the NMR Online Seminar on 
this Wednesday, 16:00 CET.

https://tuwien.zoom.us/j/62945138055?pwd=706TaUrRHGdxVFURNt3WCVb4n8MY9j.1
Meeting ID: 629 4513 8055
Password: CNq1VeSZ

Kind regards,
Jonas and Giovanni

On 05.03.25 14:30, Jonas Haldimann wrote:
>
>
>       NMR Online Seminar
>
>
> -- Summary: 
> ------------------------------------------------------------------
>
> What?    Next talk in the NMR online talk series by Federica Di Stefano
> When?    Wednesday, 12. March 2025, 16:00 CET (UCT+1)
> Where?   Online (Zoom), see details below
>
> https://nmrseminar.krportal.org/
> ------------------------------------------------------------------------------
>
> We are happy to announce that the next talk in the NMR online talk 
> series will be given by
> *Federica Di Stefano* (TU Wien, Austria)
>    on *Wednesday, 12. March 2025*, 16:00 CET:
>
> Circumscription et al., Minimal Model Reasoning in Description Logics
> /Abstract./ Adding non-monotonic capabilities to Description Logics 
> (DLs) has been one of the greatest dreams of the DL community. This is 
> testified by a thriving family of formalisms, among which we have 
> circumscribed DLs. One of the biggest challenges of introducing 
> non-monotonic features to DLs is the increase in computational 
> complexity and circumscription is no exception. Nevertheless, 
> circumscribed DLs remain a flexible and powerful framework that can be 
> used as a host language for other non-monotonic DLs, e.g., DLs with 
> defeasible inclusions or the more recent Equilibrium Description Logics.
>
> This talk aims to give an overview of the recent advancements in DLs 
> with circumscription and other related formalisms based on forms of 
> predicate minimization. In particular, we will see an alternative 
> approach to circumscription, namely pointwise circumscription, which 
> aims to mitigate the computational complexity of standard 
> circumscription.
>
> This talk will be given via Zoom:
> https://tuwien.zoom.us/j/62945138055?pwd=706TaUrRHGdxVFURNt3WCVb4n8MY9j.1
>    Meeting ID: 629 4513 8055
>    Password: CNq1VeSZ
>
> The plan of this series to have a talk roughly once per month. If you 
> are interested in learning the next speakers, please visit the website at
> https://nmrseminar.krportal.org/
>
> We are still looking for speakers for future talks. If there is 
> something you would like to present in this seminar series, please do 
> not hesitate to contact us.
>
> Kind regards,
> Jonas and Giovanni
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20250311/5f2b2096/attachment.htm>


More information about the PlanetKR mailing list