WG 12.1 - Knowledge Representation and Reasoning
Join Group
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