KRportal
About  |  KR virtual lunch  |  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   

Abstract submission deadline (Abstract) 2021-05-01 ECSQARU'21

Abstract submission deadline (Abstract) 2021-05-03 ICLP'21

Event date (Event) 2021-05-03 AAMAS'21

Paper submission deadline (Paper) 2021-05-05 ECSQARU'21

Abstract submission deadline (Abstract) 2021-05-10 KI'21

Paper submission deadline (Paper) 2021-05-10 ICLP'21

Event date (Event) 2021-05-16 FLAIRS'21

Event date (Event) 2021-05-17 JELIA'21

Paper submission deadline (Paper) 2021-05-17 KI'21

Event date (Event) 2021-06-06 ESWC'21

Abstract submission deadline (Abstract) 2021-06-16 DL'21

Paper submission deadline (Paper) 2021-06-23 DL'21

Abstract submission deadline (Abstract) 2021-06-25 NMR'21

Paper submission deadline (Paper) 2021-06-30 NMR'21

Event date (Event) 2021-07-01 CADE'21

Event date (Event) 2021-07-05 SAT'21

Event date (Event) 2021-08-21 IJCAI'21

Event date (Event) 2021-09-01 ILP'20/21

Event date (Event) 2021-09-19 DL'21

Event date (Event) 2021-09-20 ICLP'21

Event date (Event) 2021-09-21 ECSQARU'21

Event date (Event) 2021-09-27 KI'21

Event date (Event) 2021-10-24 ISWC'21

Event date (Event) 2021-11-05 KR'21

Event date (Event) 2021-11-06 NMR'21

Paper submission deadline (Paper) 2021-11-15 ICAART'22

Event date (Event) 2022-02-03 ICAART'22