Aims and scopesThe working group, founded in 1993, promotes research on knowledge
representation formalisms, on automated reasoning techniques, and on
frameworks and methodologies for the development of knowledge-based
Topics of interestThey include, among the others, knowledge modeling, reasoning
techniques in case of complete, incomplete, and uncertain knowledge,
developed systems, knowledge representation in Software engineering,
planning, robotics, intelligent agents, semantic Web.