Explicit and Controllable Assignment Semantics.
Dimitri RacordonDidier BuchsPublished in: CoRR (2019)
Keyphrases
- formal semantics
- logic programming
- conceptual graphs
- semantic information
- real world
- semantic relationships
- situation calculus
- model theoretic
- nonmonotonic logics
- transformation rules
- logical framework
- specification language
- conceptual model
- description logics
- case study
- knowledge base
- social networks
- machine learning