×

Notice

This is a private group. You will have to be a member of this group to view the group's content.

cover photo

WG 12.1 - Knowledge Representation and Reasoning

Join Group
WG 12.1 - Knowledge Representation and Reasoning

Category
TC12
Created
Wednesday, 30 April 2014
Group Admin
Webmaster, Matthias Thimm
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
Category
TC12
Created
Wednesday, 30 April 2014
Group Admin
Webmaster, Matthias Thimm