This group’s website is at: http://www.cis.hut.fi/research/compcogsys/ifip-wg12.1/
Officers
Chair
Dr. Timo Honkela, Helsinki University of Technology, email: This email address is being protected from spambots. You need JavaScript enabled to view it.
Vice-Chair
TBA
Secretary
TBA
Aim
To study and develop theory and techniques for knowledge representation and reasoning.
Scope
The scope of the Working Group’s activities includes (but is not restricted to) the following:
- Abductive Reasoning
- Inductive Reasoning
- Non-monotonic Reasoning
- Reasoning about Actions and Change
- Spatial Reasoning
- Temporal Reasoning
- Automated Reasoning
- Computational Logic
- Logic Programming
- Situation Calculus
- Production Systems
- Semantic Networks
- Frames
- Object-orientated Representation
- Bayesian Networks