An Executable Semantics for a Multimedia Authoring Language.
Joel André Ferreira dos SantosChristiano BragaDébora C. Muchaluat-SaadePublished in: SBMF (2013)
Keyphrases
- multimedia
- logical language
- specification language
- process algebra
- logic programming language
- model theoretic
- intended meaning
- operational semantics
- highly expressive
- formal specification
- programming language
- attribute grammars
- denotational semantics
- formal language
- definition language
- logic programming
- formal semantics
- e learning
- action language
- deductive databases
- conceptual model
- disjunctive logic programming
- concurrent systems
- dynamic logic
- digital libraries
- description logics
- authoring tool
- formal languages
- modal operators
- semantic information
- multimedia data
- language learning
- multimedia content
- conceptual graphs
- xml processing
- semantically equivalent
- fixed point semantics
- closed world
- uml class diagrams
- proof theory
- speech acts
- control flow
- multimedia databases
- conditional logic
- default reasoning
- learning objects
- relational databases
- metadata