Keyphrases
- intended meaning
- logic programming
- semantically equivalent
- machine learning
- formal semantics
- control flow
- declarative semantics
- semantic information
- database
- semantics of logic programs
- program execution
- programming language constructs
- stable model semantics
- transformation rules
- operational semantics
- active rules
- semantic representation
- static analysis
- default reasoning