Members

Members and invited societies and interest groups include

Some Tags: Reasoning about Actions and Change, Fuzzy logic, testing, integration, Symbolic Computation, Knowledge Representation, Conference, automated deduction, satisfiability, Logic Programming