Login / Signup

Automatic Layout Based on Formal Semantics.

Thomas KampsKlaus Reichenberger
Published in: Advanced Visual Interfaces (1994)
Keyphrases
  • formal semantics
  • operational semantics
  • formal language
  • logical reasoning
  • er model
  • semi automatic
  • first order logic
  • logical language
  • theorem prover
  • speech acts
  • modelling language
  • database
  • owl dl ontology