IFIP TC12 - Artificial Intelligence

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...