Loading...
Science, engineering, and mathematics — biology, chemistry, physics, astronomy, earth sciences, social sciences, and technology research. A curated gateway to academic and professional scientific resources.
57129 resources
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.