The working group 12.1 maintains the webpage KRportal which is a community platform for research on knowledge representation and reasoning.
Officers
Chair
Matthias Thimm, University of Koblenz-Landau, Germany
Vice-Chair
Federico Cerutti, Cardiff University, UK
Secretary
Sylwia Polberg, University College London, UK
Aim
The aim of this working group 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.
Scope
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
Members