[PlanetKR] NMR Online Seminar -- Next Talk by Federica Di Stefano on Mar. 12: "Circumscription et al., Minimal Model Reasoning in Description Logics"

[Jonas Haldimann]

      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. January 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/20250305/40ede188/attachment.htm>