Date(s) - 16/05/2019
9:30 am - 4:30 pm
University of Aberdeen
SICSA DVF Dr Madalina Croitoru, University of Montpellier, France will be presenting a postgraduate workshop on Reasoning with Inconsistent Knowledge Bases: Argumentation and Defeasible Reasoning at the University of Aberdeen.
Abstract: In this all-day workshop we will focus on the problem of knowledge representation and reasoning in presence of conflicting information. We will place ourselves in the setting of logic based knowledge base expressed using existential rules. The source of inconsistency in such knowledge bases could either come from the factual level or the ontological level. In the first case we will investigate the link between repair techniques and argumentation techniques. We will highlight computational and expressivity difficulties and introduce our DAGGER tool that allows for such reasonings. In the second case we will investigate defeasible reasoning and study statement graphs, a graph based knowledge representation formalism that captures different defeasible reasoning flavors (ambiguity blocking, propagating, team defeat etc.) and the DAMN! tool that implements them.
Dr Criotoru’s Short Bio: Madalina Croitoru was born in Iasi, Romania in 1980. In 1998 she graduated from Iasi National Highschool and started at the Faculty of Computer Science, Al. I. Cuza University, Iasi (FII) from where she graduated in June 2002 with a thesis on Lineage in Data Warehousing. In October 2002 she started a part time PhD with the Department of Computing Science, University of Aberdeen while also working as a part time Teaching Assistant. Her research looked at improving Conceptual Graph applicability in Artificial Intelligence.
After graduation she started working as a Research Fellow for the Department of Electronics and Computer Science, University of Southampton involved, part time, in two projects: HealthAgents and Open Knowledge. From September 2008 she started work at University Montpellier II as an Associate Professor. In 2014 she passed her habilitation to direct research (HDR), on Reasoning About Knowledge as Graphs. She is currently a member of the INRIA research team GraphIK at LIRMM, she authored more than 100 publications in highly selective venues and participated in more than 10 EU and French-funded research projects.
Dr Criotoru is being hosted by Dr Nir Oren