Members

Members and invited societies and interest groups include

Some Tags: Management, agent systems, Multi-Agent Systems, logic in computer science, verification, formal methods, Knowledge Representation, Description Logics, philosophy of science, applications