Login / Signup

Semantics of templates in a compositional framework for building logics.

Ingmar DassevilleMatthias van der HallenGerda JanssensMarc Denecker
Published in: Theory Pract. Log. Program. (2015)
Keyphrases
  • conceptual framework
  • main contribution
  • information systems
  • conceptual model
  • logical framework
  • multi agent systems
  • probabilistic model
  • higher order logic