Speaking about Transitive Frames in Propositional Languages.
Yasuhito SuzukiFrank WolterMichael ZakharyaschevPublished in: J. Log. Lang. Inf. (1998)
Keyphrases
- expressive power
- first order logic
- language independent
- transitive closure
- propositional logic
- video frames
- frame rate
- propositional variables
- cross lingual
- probabilistic logic
- multi lingual
- databases
- language identification
- multi valued
- text summarization
- multi frame
- default logic
- moving objects
- target language
- statistical relational learning
- logical theories