- 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