About  |  Newsletter  |  Contact


The aim of this website, the IFIP working group on Knowledge Representation and Reasoning (WG12.1), and the GI Special Interest Group Knowledge Representation and Reasoning is to provide a community for researchers in knowledge representation and reasoning. It nurtures both the theoretical and practical advancement of approaches to knowledge representation and reasoning and provides a general forum for the exchange of scientific results.

The scope of the groups' activities includes (but is not restricted to) the following:

  • Abductive and inductive reasoning
  • Non-monotonic reasoning
  • Reasoning under inconsistency and incompleteness
  • Reasoning about actions and change
  • Automated reasoning
  • Reasoning about knowledge and belief, epistemic and doxastic logics
  • Logic programming
  • Argumentation
  • Description logics
  • Uncertain reasoning, using e.g. probabilistic, possibilistic, fuzzy, or other representations of uncertainty
  • Belief change and merging
  • Implementations and applications of approaches to knowledge representation


Abstract submission deadline (Abstract) 2018-03-30 ISWC'18

Paper submission deadline (Paper) 2018-04-01 SUM'18

Paper submission deadline (Paper) 2018-04-06 ISWC'18

Paper submission deadline (Paper) 2018-04-20 COMMA'18

Paper submission deadline (Paper) 2018-05-07 KI'18

Abstract submission deadline (Abstract) 2018-05-13 KR'18

Event date (Event) 2018-05-14 FoIKS'18

Paper submission deadline (Paper) 2018-05-20 KR'18

Event date (Event) 2018-06-03 ESWC'18

Abstract submission deadline (Abstract) 2018-06-29 DL'18

Event date (Event) 2018-07-06 FLoC'18

Paper submission deadline (Paper) 2018-07-06 DL'18

Event date (Event) 2018-07-09 SAT'18

Event date (Event) 2018-07-10 AAMAS'18

Event date (Event) 2018-07-13 IJCAI/ECAI'18

Event date (Event) 2018-07-14 ICLP'18

Paper submission deadline (Paper) 2018-07-29 SAFA'18

Event date (Event) 2018-09-02 ILP'18

Event date (Event) 2018-09-11 SAFA'18

Event date (Event) 2018-09-12 COMMA'18

Event date (Event) 2018-09-17 GCAI'18

Event date (Event) 2018-09-24 KI'18

Event date (Event) 2018-10-03 SUM'18

Event date (Event) 2018-10-08 ISWC'18

Event date (Event) 2018-10-26 DL'18

Event date (Event) 2018-10-30 KR'18