KM

frame-based language with clear first-order logic semantics

Categories: