Soundness conditions for big-step semantics.
Francesco DagninoViviana BonoElena ZuccaMariangiola Dezani-CiancagliniPublished in: CoRR (2020)
Keyphrases
- formal semantics
- sufficient conditions
- post processing
- logic programming
- database
- environmental conditions
- argumentation semantics
- preprocessing
- big data
- semantic representation
- semantic information
- model theoretic
- transformation rules
- operational semantics
- multiscale
- artificial intelligence
- machine learning
- databases