Anything that relates to logic-based knowledge representation systems, knowledge base systems, systems for planning and action.
More information
More information
Sites 2
Wikipedia article.
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.
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.
Wikipedia article.
