About  |  Newsletter  |  Contact


The aim of this website and the working group on Knowledge Representation and Reasoning (WG12.1) 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 working group's 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


Event date (Event) 2017-07-03 LPNMR'17

Event date (Event) 2017-07-10 ECSQARU'17

Event date (Event) 2017-08-06 CADE'17

Event date (Event) 2017-08-19 IJCAI'17

Event date (Event) 2017-08-28 ICLP'17

Event date (Event) 2017-08-28 SAT'17

Event date (Event) 2017-09-04 ILP'17

Event date (Event) 2017-10-04 SUM'17

Event date (Event) 2017-10-19 GCAI'17

Event date (Event) 2017-10-21 ISWC'17

Event date (Event) 2018-02-04 AAAI'18

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

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