Home > Science > Math > Logic and Foundations > Knowledge Representation and Planning
Anything that relates to logic-based knowledge representation systems, knowledge base systems, systems for planning and action.
http://en.wikipedia.org/wiki/Knowledge_representation
Wikipedia article.
http://www.cs.utexas.edu/users/vl/tag/
TAG is group of researchers interested in the study of formal and automated reasoning about the effects of actions using action languages, logic programming under the answer set semantics, and related ideas.
Home > Science > Math > Logic and Foundations > Knowledge Representation and Planning
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us