Login / Signup

Semantics Formalisation - From Event-B Contexts to Theories.

Thai Son HoangLaurent VoisinKarla Vanessa Morris WrightColin F. SnookMichael J. Butler
Published in: ABZ (2024)
Keyphrases
  • formal semantics
  • event detection
  • temporal relations
  • formal analysis
  • logic programming
  • event recognition
  • semantic information
  • news stories
  • event driven
  • general theory
  • defeasible logic
  • argumentation semantics