3. RR 2009: Chantilly, VA, USA

Invited Papers and Tutorial

Proof/Deduction Procedures

Scalability

Uncertainty

Knowledge Amalgamation and Querying

Rules for Decision Support and Production Systems

maintained by Schloss Dagstuhl LZI at University of Trier