PPSWR 2006: Budva, Montenegro

Invited Talk

Reasoning I

Applications

Querying

Reasoning II

Reasoning III