Workshop on Comparing Description and Frame Logics.

Dieter Fensel Marie-Christine Rousset Stefan Decker

Published in: Data Knowl. Eng. (1998)

Keyphrases

expressive power
modal logic
high level
video frames
inference rules
coordinate frame
panel discussion
propositional calculus