John Ioki Lindqvist Affiliation E-mail john.lindqvist@uib.no Visitor address Fosswinckels gate 65007 Bergen Postal address P.O. Box 7802 NO-5020 Bergen Norway John Ioki Lindqvist Affiliation Research groups Research group for logics and AI
