Keyphrases
- formal semantics
- semantic information
- automatic extraction
- artificial intelligence
- multi agent
- information extraction
- logic programming
- transformation rules
- iterative procedure
- conceptual model
- update semantics
- logical language
- proof theory
- semantic representation
- conceptual graphs
- neural network
- programming language
- high level
- genetic algorithm