×

Notice

This is a closed group. You will have to be a member of this group to view the group's content.
WG 12.1 - Knowledge Representation and Reasoning

WG 12.1 - Knowledge Representation and Reasoning

 
  • 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