Proceedings in artificial intelligence: PAI (Infix, 1994)