My Account
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.
More information
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.
Last update:
January 2, 2007 at 17:54:51 UTC
Science
Shopping
Society
Sports
All Languages