Nonmonotonic and Inductive Logic (NIL)

2. NIL 1991: Reinhardsbrunn Castle, Germany

1. NIL 1990: Karlsruhe, Germany

maintained by Schloss Dagstuhl LZI at University of Trier