Frames in Formal Semantics.

Published in: IceTAL (2010)

Keyphrases

formal semantics
formal language
video frames
logical language
er model
operational semantics
logical reasoning
modeling language
speech acts
ontology languages
database
artificial intelligence
first order logic
databases
expert systems
theorem prover