WG 12.1 - Knowledge Representation and Reasoning
- Details
- Category: Knowledge Representation and Reasoning
- Published: 15 July 2013
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
| Pietro Baroni | Universià degli Studi di Brescia | Italy | 09.09.15 |
| Christoph Beierle | FernUniversität in Hagen | Germany | 30.09.15 |
| Salem Benferhat | Université d'Artois | France | 10.09.15 |
| Stefano Bistarelli | University of Perugia | Italy | 10.09.15 |
| Elizabeth Black | King's College London | UK | 10.09.15 |
| Richard Booth | Cardiff University | UK | 09.09.15 |
| Federico Cerutti | Cardiff University | UK | 09.09.15 |
| Claudia D'Amato | Università degli Studi di Bari | Italy | 14.09.15 |
| James Delgrande | Simon Fraser University | Canada | 02.10.15 |
| Sylvie Doutre | University of Toulouse 1 | France | 16.09.15 |
| Stefan Ellmauthaler | TU Dresden | Germany | 11.09.15 |
| Sarah A. Gaggl | University of Dresden | Germany | 09.09.15 |
| Massimiliano Giacomin | Università degli Studi di Brescia | Italy | 12.09.15 |
| Thomas Gordon | Fraunhofer FOKUS Berlin | Germany | 09.09.15 |
| Davide Grossi | University of Liverpool | UK | 09.09.15 |
| Andreas Herzig | Université Paul Sabatier | France | 10.09.15 |
| Anthony Hunter | University College London | UK | 09.09.15 |
| Souhila Kaci | University of Montpellier 2 | France | 10.09.15 |
| Gabriele Kern-Isberner | TU Dortmund | Germany | 11.09.15 |
| Patrick Krümpelmann | TU Dortmund | Germany | 14.09.15 |
| Mario Lezoche | Universite de Lorraine | France | 29.06.20 |
| Beishui Liao | Zhejiang University | China | 09.09.15 |
| Thomas Linsbichler | TU Vienna | Austria | 11.09.15 |
| Sheila McIlraith | University of Toronto | Canada | 01.10.15 |
| Thomas Meyer | University of Cape Town | South Africa | 09.09.15 |
| Sanjay Modgil | King's College London | UK | 09.09.15 |
| Nir Oren | University of Aberdeen | UK | 10.09.15 |
| Sylwia Polberg | University College London | UK | 18.09.15 |
| Nico Potyka | FernUniversität in Hagen | Germany | 10.09.15 |
| Henry Prakken | Utrecht University | The Netherlands | 16.09.15 |
| Chris Reed | University of Dundee | UK | 09.09.15 |
| Odinaldo Rodrigues | King's College London | UK | 22.09.15 |
| Guillermo R. Simari | Universidad Nacional del Sur | Argentina | 09.09.15 |
| Gerardo I. Simari | Universidad Nacional del Sur | Argentina | 10.09.15 |
| Andrea Tettamanzi | University Nice Sophia Antipolis | France | 09.09.15 |
| Matthias Thimm | Universität Koblenz-Landau | Germany | 28.10.13 |
| Mauro Vallati | University of Huddersfield | UK | 09.09.15 |
| Bas van Gijzel | University of Nottingham | UK | 13.10.15 |
| Marc van Zee | University of Luxembourg | Luxembourg | 09.09.15 |
| Srdjan Vesic | CRIL Lens | France | 09.09.15 |
| Serena Villata | Signaux et Systèmes de Sophia-Antipolis | France | 12.10.15 |
| Stefan Woltran | TU Vienna | Austria | 10.09.15 |
