Using Interval Temporal Logic and Inference Rules for the Automatic Generation of Multimedia Presentations.
Timothy K. ShihSteven K. C. LoSzu-Jan FuJulian B. ChangPublished in: ICMCS (1996)
Keyphrases
- inference rules
- temporal logic
- multimedia presentations
- modal logic
- model checking
- multimedia data
- multimedia databases
- multimedia
- satisfiability problem
- multimedia objects
- logical framework
- temporal aspects
- theorem prover
- first order logic
- epistemic logic
- linear temporal logic
- verification method
- situation calculus
- content based retrieval
- belief revision
- search space
- np complete
- relational databases
- databases
- similarity search
- orders of magnitude