Members

Members and invited societies and interest groups include

Some Tags: modeling, Description Logics, Conference, AI, Reasoning about Actions and Change, Knowledge Representation, integration, satisfiability, verification, philosophy of science