Abstract Semantics for K Module Composition.
Codruta GîrleaGrigore RosuPublished in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
- formal semantics
- logic programming
- propositional dynamic logic
- operational semantics
- genetic algorithm
- music composition
- intended meaning
- argumentation semantics
- semantic information
- high level
- conceptual model
- default reasoning
- integrity constraints
- active rules
- information systems
- artificial intelligence
- database