1 expert in "universal logic for knowledge representation" found: