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
This email address is being protected from spambots. You need JavaScript enabled to view it., Cardiff University, UK
Secretary
This email address is being protected from spambots. You need JavaScript enabled to view it., University of Huddersfield, 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