IFIP TC12 - Artificial Intelligence

WG 12.1 - Knowledge Representation and Reasoning

The working group 12.1 maintains the webpage KRportal which is a community platform for research on knowledge representation and reasoning.

Officers

Chair

This email address is being protected from spambots. You need JavaScript enabled to view it., University of Brescia, Italy

Vice-Chair

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