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