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   

Event date (Event) 2020-06-02 ESWC'20

Abstract submission deadline (Abstract) 2020-06-04 DL'20

Paper submission deadline (Paper) 2020-06-11 DL'20

Abstract submission deadline (Abstract) 2020-06-12 NMR'20

Paper submission deadline (Paper) 2020-06-19 NMR'20

Event date (Event) 2020-06-29 IJCAR'20

Paper submission deadline (Paper) 2020-07-01 SAFA'20

Event date (Event) 2020-07-05 SAT'20

Event date (Event) 2020-07-11 IJCAI'20/PRICAI'20

Paper submission deadline (Paper) 2020-07-20 AS'20

Event date (Event) 2020-08-29 ECAI'20

Event date (Event) 2020-09-01 FATIL'20

Event date (Event) 2020-09-08 SAFA'20

Event date (Event) 2020-09-08 COMMA'20

Event date (Event) 2020-09-09 ILP'20

Event date (Event) 2020-09-12 DL'20

Event date (Event) 2020-09-12 KR'20

Event date (Event) 2020-09-12 NMR'20

Event date (Event) 2020-09-18 ICLP'20

Event date (Event) 2020-09-23 SUM'20

Event date (Event) 2020-10-12 AS'20

Event date (Event) 2020-11-02 ISWC'20

Event date (Event) 2021-02-02 AAAI'21