Systematic Semantic Tableaux for PLTL.
Joxe GaintzarainMontserrat HermoPaqui LucioMarisa NavarroPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- modal logic
- semantic knowledge
- natural language
- semantic web
- linguistic analysis
- semantic network
- semantic annotation
- domain independent
- semantic information
- higher level
- semantic interpretation
- semantic search
- semantically rich
- semantic analysis
- learning algorithm
- semantic representation
- functional dependencies
- semantic web technologies
- low level features
- data sets
- domain specific
- high level
- web services
- e learning
- databases