GKR 2017 @ IJCAI

[+] | [-]

Monday, the 21st of August 2017

Session 1

8:30 - 08:45
8:45 - 10:00
Srdjan Vesic
Keynote: Argumentation theory and its application to reasoning under inconsistency. Link
10:00 - 10:30

Session 2

10:30 - 11:10
Simon Polovina.
From Enterprise Concepts to Formal Concepts. Link
11:10 - 11:50
Simon Andrews and Simon Polovina.
Validating directed graphs by applying Formal Concept Analysis to Conceptual Graphs. Link
11:50 - 12:30
Tanya Braun and Ralf Moeller.
Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm. Link
12:30 - 14:00

Session 3

14:00 - 14:40
Dave Braines, Anna Thomas, Lance Kaplan, Murat Sensoy, Magdalena Ivanoska, Alun Preece and Federico Cerutti.
Human-in-the-Loop Situational Understanding via Subjective Bayesian Networks. Link
14:40 - 15:20
Catherine Howard, Shaun Voigt, Philp Dean and Christopher Penny.
Representing and Reasoning about Logical Network Topologies. Link
15:20 - 16:00
Andrea Loreggia, Nicholas Mattei, Francesca Rossi and Kristen Brent Venable.
A Notion of Distance Between CP-nets. Link
16:00 - 16:30

Keynote Speaker

Srdjan Vesic is a CNRS scientific researcher at CRIL laboratory in Lens since 2013. From 2011 to 2013, he was a post-doctoral researcher at University of Luxembourg, where he held an ERCIM and an AFR fellowships, both co-funded by Marie-Curie Actions. Before that, he received his PhD from IRIT - University of Toulouse in 2011. His research interests include argumentation theory, reasoning under uncertainty and/or inconsistency and computational social choice. Srdjan has published more than thirty peer-reviewed papers. His publication record includes Journal of Artificial Intelligence Research, Social Choice and Welfare, International Journal of Approximate Reasoning, as well as conferences like IJCAI, AAAI, ECAI and KR. He has served on the program committee in several AI conferences (IJCAI, AAMAS, ECAI...). He is also a reviewer for Artificial Intelligence Journal, Journal of Artificial Intelligence Research and Artificial Intelligence Review.

Talk Title: Argumentation theory and its application to reasoning under inconsistency
Abstract: In the first part of my talk, I present the basis of argumentation theory. I start by showing examples of arguments and introducing a way to formally represent their interactions (attacks, supports). I survey different acceptability semantics used in argumentation and the principles they should satisfy. The second part of the talk is devoted to the application of argumentation for handling inconsistency in knowledge bases. In particular, I talk about recent approaches where arguments constructed from an inconsistent knowledge base are evaluated using graded argumentation semantics and this evaluation is used in order to rank the plausible conclusions. This allows to draw non-trivial conclusions from an inconsistent knowledge base.