Knowledge Representation and
Automated Reasoning Lab

logo_ai&is logo_cairne

List of Recent Publications