JELIA '2000 7th European Workshop on Logic in AI