Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- semantic web
- logic programming
- classical logic
- logical representation
- semantic information
- decision procedures
- semantic relationships
- predicate logic
- semantic representation
- semantic knowledge
- multi valued
- database
- semantic analysis
- semantic network
- semantic annotation
- high level
- context dependent
- semantic similarity
- semantically meaningful
- low level features
- computational properties
- conditional logic
- low level
- identity management
- proof procedure
- image retrieval