Login / Signup

Towards a formal semantics for a structurally dynamic noncausal modelling language.

John CapperHenrik Nilsson
Published in: TLDI (2012)
Keyphrases
  • formal semantics
  • modelling language
  • first order logic
  • modeling language
  • logical language
  • databases
  • information systems
  • learning scenarios
  • learning design
  • theorem prover
  • owl dl ontology