KRportal
About  |  Newsletter  |  Contact

About

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

Upcoming   

Paper submission deadline (Paper) 2022-07-08 SAFA'22

Paper submission deadline (Paper) 2022-07-17 FCR'22

Event date (Event) 2022-07-23 IJCAI'22

Event date (Event) 2022-07-31 KR'22

Event date (Event) 2022-07-31 XLoKR'22

Event date (Event) 2022-07-31 ICLP'22

Event date (Event) 2022-08-02 SAT'22

Event date (Event) 2022-08-07 DL'22

Event date (Event) 2022-08-07 IJCAR'22

Event date (Event) 2022-08-07 NMR'22

Abstract submission deadline (Abstract) 2022-08-08 AAAI'23

Event date (Event) 2022-08-15 FMKD

Paper submission deadline (Paper) 2022-08-15 AAAI'23

Event date (Event) 2022-09-05 LPNMR'22

Event date (Event) 2022-09-12 SAFA'22

Event date (Event) 2022-09-14 COMMA'22

Event date (Event) 2022-09-19 KI'22

Event date (Event) 2022-09-20 FCR'22

Event date (Event) 2022-09-28 ILP'22

Event date (Event) 2022-10-12 FATIL'22

Event date (Event) 2022-10-17 SUM'22

Event date (Event) 2022-10-23 ISWC'22

Event date (Event) 2023-02-07 AAAI'23